No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12046-12046 | Body orifice is a subclass of hole |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12076-12076 | Mouth is a subclass of body orifice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12077-12077 | Anus is a subclass of body orifice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12078-12078 | Vagina is a subclass of body orifice |