|
|
   Excreting
|
|
|
| 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 and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2113-2113 | 子類 Excreting and Removing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1123-1123 | 子類 Crying and Excreting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2141-2141 | 子類 Defecation and Excreting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12253-12253 | 子類 Perspiring and Excreting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2129-2129 | 子類 Urination and 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 |
|
|
|