appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3399-3399 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14523-14523 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14522-14522 | Vertebrate is a subclass of animal |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14469-14469 | Animal is exhaustively partitioned into vertebrate and invertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14568-14568 | Cold blooded vertebrate is a subclass of vertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14573-14573 | Warm blooded vertebrate is a subclass of vertebrate |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 976-976 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1159-1159 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 653-653 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 184-184 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 187-187 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2337-2337 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 605-605 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 221-221 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 674-674 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 188-188 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10943-10949 | A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11486-11496 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11498-11507 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11654-11659 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11449-11454 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15216-15221 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12893-12898 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12554-12559 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10973-10979 |
|