Excreting(excreting) | egest, eliminate, empty, evacuate, excrete, pass, void |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2114-2115 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2112-2112 | Excreting is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2113-2113 | Excreting is a subclass of removing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1123-1123 | Crying is a subclass of excreting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2141-2141 | Defecation is a subclass of excreting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12253-12253 | Sweating is a subclass of excreting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2129-2129 | Urination is a subclass of excreting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2116-2116 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2118-2127 |
|