| appearance as argument number 1 |
|
| (documentation TextileProductMills EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Textile Product Mills.") | naics.kif 2081-2083 | |
| (instance TextileProductMills IndustryAttribute) | naics.kif 2079-2079 | 例 紡織產品廠 and 行業屬性 |
| (subAttribute TextileProductMills TextileIndustry) | Economy.kif 1885-1885 | 子屬性 紡織產品廠 and 紡織工業 |
| appearance as argument number 2 |
|
|
| (subAttribute OtherTextileProductMills TextileProductMills) | naics.kif 2135-2135 | 子屬性 其他紡織產品廠 and 紡織產品廠 |
| (subAttribute TextileFurnishingsMills TextileProductMills) | naics.kif 2103-2103 | 子屬性 紡織品家具廠 and 紡織產品廠 |
| (termFormat ChineseLanguage TextileProductMills "纺织产品厂") | domainEnglishFormat.kif 57758-57758 | |
| (termFormat ChineseTraditionalLanguage TextileProductMills "紡織產品廠") | domainEnglishFormat.kif 57757-57757 | |
| (termFormat EnglishLanguage TextileProductMills "textile product mills") | domainEnglishFormat.kif 57756-57756 |
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG TextileProductMills)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Fabric) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 2085-2101 |
|
|
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