No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 21-21 |
Every bone is initially part of a primate |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14631-14631 |
Ape is a subclass of primate |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14639-14639 |
Hominid is a subclass of primate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30471-30471 |
Lemur is a subclass of primate |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14635-14635 |
Monkey is a subclass of primate |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 998-998 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1203-1203 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 675-675 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 206-206 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 209-209 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2359-2359 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 627-627 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 243-243 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 696-696 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 210-210 |
|