No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20301-20301 |
Bear 的预期 value 是 500.0 磅质量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20304-20304 |
Bear inhabits 亚洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20303-20303 |
Bear inhabits 欧洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20302-20302 |
Bear inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20305-20305 |
Bear inhabits 南美洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20292-20292 |
Bear 是 食肉动物 的 subclass |