TreeView Knowledge Base Browser - FurnitureAndRelatedProductManufacturing

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

FurnitureAndRelatedProductManufacturing

Sigma KEE - FurnitureAndRelatedProductManufacturing

FurnitureAndRelatedProductManufacturing(furniture and related product manufacturing)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 5990-5992
No TPTP formula. May not be expressible in strict first order.	naics.kif 5988-5988	Furniture and related product manufacturing is an instance of industry attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1752-1752	Furniture and related product manufacturing is a subattribute of furniture industry

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 6141-6141	Miscellaneous manufacturing is disjoint from furniture and related product manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1755-1755	Furniture manufacturing is a subattribute of furniture and related product manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 6012-6012	Household and institutional furniture and kitchen cabinet manufacturing is a subattribute of furniture and related product manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 6078-6078	Office furniture including fixtures manufacturing is a subattribute of furniture and related product manufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 6115-6115	Other furniture related product manufacturing is a subattribute of furniture and related product manufacturing
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25268-25268
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25267-25267
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25266-25266

antecedent

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

naics.kif 5994-6010

If a collection is an instance of organization and furniture and related product manufacturing 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 entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of furniture and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2

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