No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11846-11846 |
子類 腦 and VitalOrgan |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 266-266 |
子類 Gills and VitalOrgan |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11335-11335 |
子類 心 and VitalOrgan |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11266-11266 |
子類 腎 and VitalOrgan |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11416-11416 |
子類 肝 and VitalOrgan |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11186-11186 |
子類 肺 and VitalOrgan |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11835-11835 |
|