| 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 15010-15011 | |
| (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 15009-15009 | 子類 行業 and Collection |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Industry "行业") | domainEnglishFormat.kif 29899-29899 | |
| (termFormat ChineseTraditionalLanguage Industry "行業") | domainEnglishFormat.kif 29898-29898 | |
| (termFormat EnglishLanguage Industry "industry") | domainEnglishFormat.kif 29897-29897 |
| 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 15015-15023 |
| 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 8543-8556 |
|
|
|