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 |
|