organizationProductType - Sigma Knowledge base Browser

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
(domainSubclass organizationProductType 2 Object)	Economy.kif 1621-1621
(instance organizationProductType BinaryPredicate)	Economy.kif 1619-1619

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 42576-42576
(termFormat ChineseTraditionalLanguage organizationProductType "組織產品類型")	domainEnglishFormat.kif 42575-42575
(termFormat EnglishLanguage organizationProductType "organization product type")	domainEnglishFormat.kif 42574-42574

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