No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30542-30542 |
The expected value of crocodile is 2000.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30532-30540 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30548-30548 |
Crocodile inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30546-30546 |
Crocodile inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30549-30549 |
Crocodile inhabits australia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30545-30545 |
Crocodile inhabits europe |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30547-30547 |
Crocodile inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30550-30550 |
Crocodile inhabits south america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30543-30543 |
Crocodile the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30544-30544 |
Crocodile is a subclass of reptile |