TreeView Knowledge Base Browser - GeneralMerchandiseStores

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

GeneralMerchandiseStores

Sigma KEE - GeneralMerchandiseStores

GeneralMerchandiseStores(general merchandise stores)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7698-7700
No TPTP formula. May not be expressible in strict first order.	naics.kif 7696-7696	General merchandise stores is an instance of industry attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7718-7718	Department stores is a subattribute of general merchandise stores
No TPTP formula. May not be expressible in strict first order.	naics.kif 7724-7724	Other general merchandise stores is a subattribute of general merchandise stores
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25722-25722
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25721-25721
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25720-25720

antecedent

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

naics.kif 7702-7716

If a collection is an instance of organization and general merchandise stores 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 and another entity such that the agent is an instance of selling and the other entity is an instance of human and the entity is an instance of object and the agent ends up at the other entity and the entity 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