TransitiveRelation(transitive relation) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7771-7771 | smaller is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8034-8034 | starts is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14350-14350 | stored is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21340-21340 | sub field is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5897-5897 | sub graph is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4655-4655 | sub plan is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4634-4634 | sub proposition is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 727-727 | successor attribute closure is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9012-9012 | successor class is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9652-9652 | superficial part is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15704-15704 | version is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2392-2392 | Equivalence relation is a subclass of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2365-2365 | Partial ordering relation is a subclass of transitive relation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 899-899 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1005-1005 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 575-575 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 105-105 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 108-108 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2260-2260 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 527-527 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 142-142 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 596-596 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 109-109 |