No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20272-20272 |
Alligator 的预期 value 是 790.0 磅质量 |
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 是 爬虫类 的 subclass |