ili:i109418
http:| rdf: | type | |
| skos: | definition | (logic and mathematics) a relation between three elements such that if it holds between the first and second and it also holds between the second and third it must necessarily hold between the first and third |
Cross-lingual relations
| ∴dns: | linked concept | en: transitivity |
Other
| Source | http: |
∴ fully or partially logically inferred