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 14501-14501 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14500-14500 | Vertebrate is a subclass of animal |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14447-14447 | Animal is exhaustively partitioned into vertebrate and invertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14546-14546 | Cold blooded vertebrate is a subclass of vertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14551-14551 | 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 10944-10950 | 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 11487-11497 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11499-11508 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11655-11660 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11450-11455 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15194-15199 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12894-12899 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12555-12560 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10974-10980 |
|