Utilities - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Utilities

Utilities(utilities)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 925-927
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 817-817
No TPTP formula. May not be expressible in strict first order.	naics.kif 923-923	Utilities is an instance of industry attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 980-980	Electric power generation transmission and distribution is a subattribute of utilities
No TPTP formula. May not be expressible in strict first order.	naics.kif 1042-1042	Natural gas distribution is a subattribute of utilities
No TPTP formula. May not be expressible in strict first order.	naics.kif 1048-1048	Water sewage and other systems is a subattribute of utilities
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61105-61105	Water sewage and other systems is a subattribute of utilities
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61104-61104	Water sewage and other systems is a subattribute of utilities
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61103-61103	Water sewage and other systems is a subattribute of utilities

antecedent

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 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

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