| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2345-2345 | Transitive relation is disjoint from intransitive relation |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1848-1850 | Transitive relation is disjoint from intransitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2347-2349 | Transitive relation is disjoint from intransitive relation |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 469-471 | Transitive relation is disjoint from intransitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2344-2344 | 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 16521-16521 | ancestor is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25811-25811 | ancestor organization is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8211-8211 | before is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16676-16676 | brother is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7430-7430 | conjugate is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13287-13287 | connected is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16051-16051 | covers is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4224-4224 | crosses is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 421-421 | dependent geopolitical area is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14473-14473 | developmental form is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8418-8418 | during is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8481-8481 | earlier is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8151-8151 | finishes is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5728-5728 | flows is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14196-14196 | geographic subregion is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14241-14241 | geopolitical subdivision is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1854-1854 | greater than is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9832-9832 | interior part is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7834-7834 | larger is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1842-1842 | less than is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4090-4090 | located is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4923-4923 | multiplicative factor is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4320-4320 | precondition is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 935-935 | proper part is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16685-16685 | 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 2351-2358 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3728-3733 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3665-3670 |
|
|
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