No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2112-2112 | Excreting e' uma sub-classe de Processo Organico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2113-2113 | Excreting e' uma sub-classe de Remover |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2129-2129 | Urination e' uma sub-classe de Excreting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2141-2141 | Defecation e' uma sub-classe de Excreting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12252-12252 | Perspiring e' uma sub-classe de Excreting |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1123-1123 | Crying e' uma sub-classe de Excreting |