No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30542-30542 |
Crocodile 的預期 value 是 測量 2000.0 and 磅質量 |
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 非洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30546-30546 |
Crocodile inhabits 亞洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30549-30549 |
Crocodile inhabits 澳大利亞 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30545-30545 |
Crocodile inhabits 歐洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30547-30547 |
Crocodile inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30550-30550 |
Crocodile inhabits 南美洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30543-30543 |
屬性 Crocodile and LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30544-30544 |
子類 Crocodile and Reptile |