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