No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11829-11829 | VitalOrgan e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11185-11185 | Lung e' uma sub-classe de VitalOrgan |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11265-11265 | Kidney e' uma sub-classe de VitalOrgan |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11334-11334 | Heart e' uma sub-classe de VitalOrgan |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11415-11415 | Liver e' uma sub-classe de VitalOrgan |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11845-11845 | Brain e' uma sub-classe de VitalOrgan |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 266-266 | Gills e' uma sub-classe de VitalOrgan |