organizationProductType |
appearance as argument number 1 |
(documentation organizationProductType EnglishLanguage "(organizationProductType ?BUSINESS ?TYPE) means that the Organization ?BUSINESS produces products of the kind ?TYPE.") | Economy.kif 1623-1625 | |
(domain organizationProductType 1 Organization) | Economy.kif 1620-1620 | 组织产品类型 的 1 数量 是 机构 的 instance |
(domainSubclass organizationProductType 2 Object) | Economy.kif 1621-1621 | 组织产品类型 的 2 数量 是 客体 的 subclass |
(instance organizationProductType BinaryPredicate) | Economy.kif 1619-1619 | 组织产品类型 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage organizationProductType "%2 %n 是 %1 的 organization 产品类别") | domainEnglishFormat.kif 1863-1863 | |
(format ChineseTraditionalLanguage organizationProductType "%2 %n 是 %1 的 organization 產品類別") | domainEnglishFormat.kif 1862-1862 | |
(format EnglishLanguage organizationProductType "%2 is %n an organization product type of %1") | domainEnglishFormat.kif 1861-1861 | |
(termFormat ChineseLanguage organizationProductType "组织产品类型") | domainEnglishFormat.kif 42564-42564 | |
(termFormat ChineseTraditionalLanguage organizationProductType "組織產品類型") | domainEnglishFormat.kif 42563-42563 | |
(termFormat EnglishLanguage organizationProductType "organization product type") | domainEnglishFormat.kif 42562-42562 |
antecedent |
(=> (and (organizationProductType ?BUSINESS ?TYPE) (subclass ?TYPE ?GENUS)) (organizationProductType ?BUSINESS ?GENUS)) |
Economy.kif 1627-1631 |
|
consequent |
(=> (and (industryProductType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationProductType ?BUSINESS ?TYPE)) |
Economy.kif 1633-1639 | |
(=> (and (organizationProductType ?BUSINESS ?TYPE) (subclass ?TYPE ?GENUS)) (organizationProductType ?BUSINESS ?GENUS)) |
Economy.kif 1627-1631 |
|