Crocodile
|
|
appearance as argument number 1 |
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 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30551-30551 |