| appearance as argument number 1 |
|
| (subAttribute FurnitureAndHomeFurnishingsStores FurnitureIndustry) | Economy.kif 1874-1874 | Furniture and home furnishings stores is a subattribute of furniture industry |
| (instance FurnitureAndHomeFurnishingsStores IndustryAttribute) | naics.kif 7116-7116 | Furniture and home furnishings stores is an instance of industry attribute |
| (documentation FurnitureAndHomeFurnishingsStores EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Furniture and Home Furnishings Stores.") | naics.kif 7118-7120 | Furniture and home furnishings stores is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG FurnitureAndHomeFurnishingsStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Furniture) (patient ?EV ?THING)))))) |
naics.kif 7122-7134 | If X is an instance of organization and furniture and home furnishings stores is an attribute of X, then there exist Y, Z such that Z is a member of X, Y is an agent of Z, there exists W such that Y is an instance of selling, W is an instance of furniture, and W is a patient of Y |
|
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