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

Formal Language: 



KB Term:  Term intersection
English Word: 

  organizationProductType

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 The number 1 argument of organization product type is an instance of organization
(domainSubclass organizationProductType 2 Object) Economy.kif 1625-1625 The number 2 argument of organization product type is a subclass of object
(instance organizationProductType BinaryPredicate) Economy.kif 1623-1623 organization product type is an instance of binary predicate

appearance as argument number 2
-------------------------


(format EnglishLanguage organizationProductType "%2 is %n an organization product type of %1") domainEnglishFormat.kif 474-474
(termFormat EnglishLanguage organizationProductType "organization product type") domainEnglishFormat.kif 7512-7512 "organization product type" is the printable form of organization product type in english language

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners