No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4481-4492 | |
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 11187-11187 | 子類 肺 and 動物解剖結構 |