|
|
   Industry
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Industry EnglishLanguage "The class of Collections of Corporations which are in the same line of business.") | Mid-level-ontology.kif 14983-14984 | |
| (externalImage Industry "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Gdp-and-labour-force-by-sector.png") | pictureList.kif 6628-6628 | |
| (subclass Industry Collection) | Mid-level-ontology.kif 14982-14982 | 行业 是 群体 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Industry "行业") | domainEnglishFormat.kif 29905-29905 | |
| (termFormat ChineseTraditionalLanguage Industry "行業") | domainEnglishFormat.kif 29904-29904 | |
| (termFormat EnglishLanguage Industry "industry") | domainEnglishFormat.kif 29903-29903 |
| antecedent |
|
|
| (=> (instance ?INDUSTRY Industry) (exists (?MEMB1 ?MEMB2 ?CLASS) (and (member ?MEMB1 ?INDUSTRY) (member ?MEMB2 ?INDUSTRY) (subclass ?CLASS Corporation) (immediateInstance ?MEMB1 ?CLASS) (immediateInstance ?MEMB2 ?CLASS)))) |
Mid-level-ontology.kif 14988-14996 |
| consequent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG PaperManufacturing)) (exists (?MEM ?EV ?THING) (and (instance ?MEM Industry) (member ?MEM ?ORG) (instance ?EV Manufacture) (agent ?EV ?MEM) (patient ?EV ?THING) (material Paper ?THING)))) |
naics.kif 2717-2728 | |
| (=> (instance ?ORG UnionOrganization) (exists (?COLL ?MEMBER) (=> (member ?MEMBER ?ORG) (or (and (instance ?COLL Corporation) (employs ?COLL ?MEMBER)) (exists (?CORP) (and (instance ?COLL Industry) (member ?CORP ?COLL) (employs ?CORP ?MEMBER))))))) |
Mid-level-ontology.kif 8516-8529 |
|
|
|
