TreeView Knowledge Base Browser - organizationProductType

appearance as argument number 1

(instance organizationProductType BinaryPredicate)	Economy.kif 1739-1739	organization product type is an instance of binary predicate
(domain organizationProductType 1 Organization)	Economy.kif 1740-1740	The number 1 argument of organization product type is an instance of organization
(domainSubclass organizationProductType 2 Object)	Economy.kif 1741-1741	The number 2 argument of organization product type is a subclass of object
(documentation organizationProductType EnglishLanguage "(organizationProductType ?BUSINESS ?TYPE) means that the Organization ?BUSINESS produces products of the kind ?TYPE.")	Economy.kif 1743-1745	The number 2 argument of organization product type is a subclass of object

appearance as argument number 2

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

antecedent

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

If X is an organization product type of Y and X is a subclass of Z, then Z is an organization product type of Y

consequent

(=> (and (organizationProductType ?BUSINESS ?TYPE) (subclass ?TYPE ?GENUS)) (organizationProductType ?BUSINESS ?GENUS))	Economy.kif 1747-1751	If X is an organization product type of Y and X is a subclass of Z, then Z is an organization product type of Y
(=> (and (industryProductType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationProductType ?BUSINESS ?TYPE))	Economy.kif 1753-1759	If X is an industry product type of Y, Y is an instance of industry attribute, Z is an instance of organization, and Y is an attribute of Z, then X is an organization product type of Z