Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - organizationProductType
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 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 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners