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 1627-1629
(domain organizationProductType 1 Organization) Economy.kif 1624-1624
(domainSubclass organizationProductType 2 Object) Economy.kif 1625-1625
(instance organizationProductType BinaryPredicate) Economy.kif 1623-1623

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

antecedent
-------------------------


(=>
    (and
        (organizationProductType ?BUSINESS ?TYPE)
        (subclass ?TYPE ?GENUS))
    (organizationProductType ?BUSINESS ?GENUS))
Economy.kif 1631-1635

consequent
-------------------------


(=>
    (and
        (industryProductType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationProductType ?BUSINESS ?TYPE))
Economy.kif 1637-1643
(=>
    (and
        (organizationProductType ?BUSINESS ?TYPE)
        (subclass ?TYPE ?GENUS))
    (organizationProductType ?BUSINESS ?GENUS))
Economy.kif 1631-1635


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