| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20272-20272 |
Alligator 的預期 value 是 測量 790.0 and 磅質量 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20266-20270 |
|
| 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 20273-20273 |
Alligator inhabits 美國 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20265-20265 |
子類 Alligator and Reptile |
