Sewage - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Sewage

Sewage(sewage)

sewage, sewerage

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 2618-2623
(roomTempState Sewage Liquid)	Mid-level-ontology.kif 33594-33594	room temperature state sewage and liquid
(subclass Sewage Mixture)	Mid-level-ontology.kif 2616-2616	Sewage is a subclass of mixture

appearance as argument number 2

(termFormat ChineseLanguage Sewage "污水")	domainEnglishFormat.kif 52363-52363
(termFormat ChineseTraditionalLanguage Sewage "污水")	domainEnglishFormat.kif 52362-52362
(termFormat EnglishLanguage Sewage "sewage")	domainEnglishFormat.kif 52361-52361

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 2625-2638	If an agent is an instance of animal and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the agent, then there exist a transfer and an object such that the transfer is an instance of biological process and the transfer is an instance of removing and the transfer originates at the agent and the object is an instance of sewage and the agent is an agent of the transfer and the object transferred in the transfer is the object
(=> (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	If a collection is an instance of organization and utilities is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an object, the process2 and the agent2 such that the agent is an instance of removing or the object is an instance of sewage and the object is a patient of the agent and the object is an instance of electron or the object is an instance of water or the object is an instance of pure substance and the object is capable of doing burning as a patient and the process2 is a member of the collection and the agent2 is an instance of financial transaction and the process2 is an agent of the agent2 and the object is a patient of the agent2
(=> (and (instance ?T Transportation) (patient ?T ?S) (instrument ?T ?SS) (instance ?SS SewageSystem)) (instance ?S Sewage))	Transportation.kif 789-795	If a process is an instance of transportation and an entity is a patient of the process and the entityS is an instrument for the process and the entityS is an instance of sewage system, then the entity is an instance of sewage

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners