| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2334-2334 | 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 2336-2338 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 469-471 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2333-2333 | 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 16368-16368 | ancestor is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24164-24164 | ancestor organization is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8120-8120 | before is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16523-16523 | brother is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6492-6492 | conjugate is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11955-11955 | connected is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29730-29730 | covers is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4199-4199 | 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 14342-14342 | developmental form is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8327-8327 | during is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8390-8390 | earlier is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8088-8088 | finishes is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5425-5425 | flows is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14065-14065 | geographic subregion is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14110-14110 | geopolitical subdivision is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1844-1844 | greater than is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9716-9716 | interior part is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7771-7771 | larger is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1832-1832 | less than is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4071-4071 | located is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4895-4895 | multiplicative factor is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4292-4292 | precondition is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 927-927 | proper part is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16532-16532 | 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 2340-2347 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3713-3718 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3650-3655 |
|
|
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