No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12078-12078 |
Anus e' uma sub-classe de BodyOrifice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12077-12077 |
Mouth e' uma sub-classe de BodyOrifice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12079-12079 |
Vagina e' uma sub-classe de BodyOrifice |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64551-64551 |
|