TreeView Knowledge Base Browser - BuildingMaterialAndGardenEquipmentAndSuppliesDealers

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

BuildingMaterialAndGardenEquipmentAndSuppliesDealers

Sigma KEE - BuildingMaterialAndGardenEquipmentAndSuppliesDealers

BuildingMaterialAndGardenEquipmentAndSuppliesDealers(building material and garden equipment and supplies dealers)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7237-7240
No TPTP formula. May not be expressible in strict first order.	naics.kif 7235-7235	Building material and garden equipment and supplies dealers is an instance of industry attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7260-7260	Building material and supplies dealers is a subattribute of building material and garden equipment and supplies dealers
No TPTP formula. May not be expressible in strict first order.	naics.kif 7293-7293	Lawn and garden equipment and supplies stores is a subattribute of building material and garden equipment and supplies dealers
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12263-12263
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12262-12262
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12261-12261

antecedent

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

naics.kif 7242-7257

If a collection is an instance of organization and building material and garden equipment and supplies dealers 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 exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing constructing as a resource or the object is capable of doing agriculture as a resource and the object is a patient of the agent

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