| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20273-20273 |
Alligator 的預期 value 是 測量 790.0 and 磅質量 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20267-20271 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20275-20275 |
Alligator inhabits 中國 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20274-20274 |
Alligator inhabits 美國 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20266-20266 |
子類 Alligator and Reptile |
Alligator