No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2062-2062 | 子類 Excrement and BodySubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2076-2076 | 子類 Feces and Excrement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2094-2094 | 子類 Urine and Excrement |
![]() |