| appearance as argument number 1 |
|
| (documentation GeneralMerchandiseStores EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves General Merchandise Stores.") | naics.kif 7698-7700 | |
| (instance GeneralMerchandiseStores IndustryAttribute) | naics.kif 7696-7696 |
| appearance as argument number 2 |
|
|
| (subAttribute DepartmentStores GeneralMerchandiseStores) | naics.kif 7718-7718 | |
| (subAttribute OtherGeneralMerchandiseStores GeneralMerchandiseStores) | naics.kif 7724-7724 | |
| (termFormat ChineseLanguage GeneralMerchandiseStores "百货商店") | domainEnglishFormat.kif 25751-25751 | |
| (termFormat ChineseTraditionalLanguage GeneralMerchandiseStores "百貨商店") | domainEnglishFormat.kif 25750-25750 | |
| (termFormat EnglishLanguage GeneralMerchandiseStores "general merchandise stores") | domainEnglishFormat.kif 25749-25749 |
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG GeneralMerchandiseStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?P) (and (instance ?EV Selling) (instance ?P Human) (instance ?THING Object) (destination ?EV ?P) (patient ?EV ?THING)))))) |
naics.kif 7702-7716 |
|
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