| 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 16402-16403 | |
| (externalImage Industry "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Gdp_and_labour_force_by_sector.png") | pictureList.kif 6627-6627 | |
| (subclass Industry Collection) | Mid-level-ontology.kif 16401-16401 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Industry "行业") | domainEnglishFormat.kif 29927-29927 | |
| (termFormat ChineseTraditionalLanguage Industry "行業") | domainEnglishFormat.kif 29926-29926 | |
| (termFormat EnglishLanguage Industry "industry") | domainEnglishFormat.kif 29925-29925 |
| 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 16407-16415 |
| 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 9768-9781 |
|
|
|