|
|
   Sewage
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Sewage EnglishLanguage "The byproduct of Animal digestion. Sewage is a waste product that is removed from the body of an animal by a normally functioning BiologicalProcess. Sewage consists largely of substances which the animal cannot digest, or may be harmful, so the breakdown of the biological waste removal process can be evidence or cause of a DiseaseOrSyndrome.") | Mid-level-ontology.kif 2148-2153 | |
| (roomTempState Sewage Liquid) | Mid-level-ontology.kif 31681-31681 | |
| (subclass Sewage Mixture) | Mid-level-ontology.kif 2146-2146 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sewage "污水") | domainEnglishFormat.kif 52361-52361 | |
| (termFormat ChineseTraditionalLanguage Sewage "污水") | domainEnglishFormat.kif 52360-52360 | |
| (termFormat EnglishLanguage Sewage "sewage") | domainEnglishFormat.kif 52359-52359 |
| consequent |
|
|
| (=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (agent ?P ?ANI) (objectTransferred ?P ?W)))) |
Mid-level-ontology.kif 2155-2168 | |
| (=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 954-977 | |
| (=> (and (instance ?T Transportation) (patient ?T ?S) (instrument ?T ?SS) (instance ?SS SewageSystem)) (instance ?S Sewage)) |
Transportation.kif 789-795 |
|
|
|