Industry - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Industry

Industry(industry)

industrial, industry, sunrise_industry

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15011-15012
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6628-6628
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15010-15010	Industry is a subclass of collection

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29899-29899
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29898-29898
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29897-29897

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 15016-15024

If a collection is an instance of industry,
then there exist a physical, another physical and a class such that the physical is a member of the collection and the other physical is a member of the collection and the class is a subclass of corporation and the physical is an immediate instance of the class and the other physical is an immediate instance of the class

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 2717-2728	If a collection is an instance of organization and paper manufacturing is an attribute of the collection, then there exist an agent, a process and a corpuscular object such that the agent is an instance of industry and the agent is a member of the collection and the process is an instance of manufacture and the agent is an agent of the process and the corpuscular object is a patient of the process and the corpuscular object is made of paper
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8544-8557	If a collection is an instance of union organization, then there exist an agent and a cognitive agent such that if the cognitive agent is a member of the collection, then the agent is an instance of corporation and the agent employs the cognitive agent or there exists another agent such that the agent is an instance of industry and the other agent is a member of the agent and the other agent employs the cognitive agent

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