No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11846-11846 |
脑 是 VitalOrgan 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 266-266 |
Gills 是 VitalOrgan 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11335-11335 |
心 是 VitalOrgan 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11266-11266 |
肾 是 VitalOrgan 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11416-11416 |
肝 是 VitalOrgan 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11186-11186 |
肺 是 VitalOrgan 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11835-11835 |
|