| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2280-2280 | Transitive relation is disjoint from intransitive relation |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1848-1850 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2282-2284 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2279-2279 | Transitive relation is a subclass of binary relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16077-16077 | ancestor is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23604-23604 | ancestor organization is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8008-8008 | before is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16232-16232 | brother is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6166-6166 | conjugate is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11441-11441 | a %1 is connected to a &%TransitiveRelation$transitive relation"" is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29154-29154 | covers is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4115-4115 | crosses is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 457-457 | dependent geopolitical area is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14059-14059 | developmental form is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8213-8213 | during is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8276-8276 | earlier is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7976-7976 | finishes is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5323-5323 | flows is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13796-13796 | geographic subregion is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13841-13841 | geopolitical subdivision is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1790-1790 | greater than is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9602-9602 | interior part is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7659-7659 | larger is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1778-1778 | less than is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3987-3987 | located is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4805-4805 | multiplicative factor is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4208-4208 | precondition is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 908-908 | proper part is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16241-16241 | sister is an instance of transitive relation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2286-2293 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3647-3652 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3584-3589 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners