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 1748-1750
(domain organizationProductType 1 Organization)	Economy.kif 1745-1745	The number 1 argument of organization product type is an instance of organization
(domainSubclass organizationProductType 2 Object)	Economy.kif 1746-1746	The number 2 argument of organization product type is a subclass of object
(instance organizationProductType BinaryPredicate)	Economy.kif 1744-1744	organization product type is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage organizationProductType "%2 %n 是 %1 的 organization 产品类别")	domainEnglishFormat.kif 1867-1867
(format ChineseTraditionalLanguage organizationProductType "%2 %n 是 %1 的 organization 產品類別")	domainEnglishFormat.kif 1866-1866
(format EnglishLanguage organizationProductType "%2 is %n an organization product type of %1")	domainEnglishFormat.kif 1865-1865
(termFormat ChineseLanguage organizationProductType "组织产品类型")	domainEnglishFormat.kif 42595-42595
(termFormat ChineseTraditionalLanguage organizationProductType "組織產品類型")	domainEnglishFormat.kif 42594-42594
(termFormat EnglishLanguage organizationProductType "organization product type")	domainEnglishFormat.kif 42593-42593

antecedent

(=>
    (and
        (organizationProductType ?BUSINESS ?TYPE)
        (subclass ?TYPE ?GENUS))
    (organizationProductType ?BUSINESS ?GENUS))

Economy.kif 1752-1756

consequent

(=> (and (industryProductType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationProductType ?BUSINESS ?TYPE))	Economy.kif 1758-1764	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 1752-1756	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