No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20293-20293 |
Alligator is a subclass of reptile |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30568-30568 |
Crocodile is a subclass of reptile |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12589-12589 |
Snake is a subclass of reptile |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4923-4923 |
Turtle is a subclass of reptile |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1003-1003 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1218-1218 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 680-680 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 211-211 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 214-214 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2364-2364 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 632-632 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 248-248 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 701-701 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 215-215 |
|