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	The number 1 argument of organization product type is an instance of organization
(domainSubclass organizationProductType 2 Object)	Economy.kif 1621-1621	The number 2 argument of organization product type is a subclass of object
(instance organizationProductType BinaryPredicate)	Economy.kif 1619-1619	organization product type is an instance of binary predicate

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

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	If a kind of object is an industry product type of an industry attribute and the industry attribute is an instance of industry attribute and an organization is an instance of organization and the industry attribute is an attribute of the organization, then a kind of object is an organization product type of the organization
(=> (and (organizationProductType ?BUSINESS ?TYPE) (subclass ?TYPE ?GENUS)) (organizationProductType ?BUSINESS ?GENUS))	Economy.kif 1627-1631	If a kind of object is an organization product type of an organization and a kind of object is a subclass of another kind of object, then another kind of object is an organization product type of the organization