No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11830-11830 | 子類 VitalOrgan and Organ |
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 11266-11266 | 子類 腎 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 11416-11416 | 子類 肝 and VitalOrgan |
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 |