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 Le nombre 1 argument de organizationProductType est une instance de organisation
(domainSubclass organizationProductType 2 Object) Economy.kif 1621-1621 Le nombre 2 argument de organizationProductType est une sous-classe de objet
(instance organizationProductType BinaryPredicate) Economy.kif 1619-1619 organizationProductType est une instance de pr�dicat binaire

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