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 15038-15039 | |
(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 15037-15037 | Industry は コレクション の subclass では %n |
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 15043-15051 |
consequent |