SportingGoodsHobbyBookAndMusicStores - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SportingGoodsHobbyBookAndMusicStores

SportingGoodsHobbyBookAndMusicStores(sporting goods hobby book and music stores)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7596-7598
No TPTP formula. May not be expressible in strict first order.	naics.kif 7594-7594	Sporting goods hobby book and music 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 7653-7653	Book periodical and music stores is a subattribute of sporting goods hobby book and music stores
No TPTP formula. May not be expressible in strict first order.	naics.kif 7620-7620	Sporting goods hobby and musical instrument stores is a subattribute of sporting goods hobby book and music stores
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54720-54720
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54719-54719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54718-54718

antecedent

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

naics.kif 7600-7618

If a collection is an instance of organization and sporting goods hobby book and music 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 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 sport as a instrument or the object is capable of doing making music as a instrument or the object is an instance of book or the object is an instance of music recording or the object is an instance of music text and the object is a patient of the 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