TreeView Knowledge Base Browser - Sewage

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2118-2123
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2116-2116	Sewage is a subclass of mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52342-52342
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52341-52341
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52340-52340

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2125-2138	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
No TPTP formula. May not be expressible in strict first order.	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 combustion 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
No TPTP formula. May not be expressible in strict first order.	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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