| TransitiveRelation(transitive relation) | | transitive_relation, 传递关系, 推移関係 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2201-2201 | 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 2203-2205 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2200-2200 | 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 15024-15024 | ancestor is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21833-21833 | ancestor organization is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7507-7507 | before is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15176-15176 | brother is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6179-6179 | conjugate is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27824-27824 | covers is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3893-3893 | crosses is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 446-446 | dependent geopolitical area is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13134-13134 | developmental form is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7633-7633 | during is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7678-7678 | earlier is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7485-7485 | finishes is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5103-5103 | flows is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12871-12871 | geographic subregion is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12916-12916 | geopolitical subdivision is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1718-1718 | greater than is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8952-8952 | interior part is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7192-7192 | larger is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1706-1706 | less than is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3765-3765 | located is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4531-4531 | multiplicative factor is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3962-3962 | precondition is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 888-888 | proper part is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15185-15185 | sister is an instance of transitive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7214-7214 | smaller 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 2207-2214 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3427-3432 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3370-3375 |
|
|
|
|