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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - organizationServiceType
organizationServiceType

appearance as argument number 1
-------------------------


(documentation organizationServiceType EnglishLanguage "(organizationServiceType ?BUSINESS ?TYPE) means that the Organization ?BUSINESS provides services of the kind ?TYPE.") Economy.kif 1667-1669
(domain organizationServiceType 1 Organization) Economy.kif 1664-1664 The number 1 argument of organization service type is an instance of organization
(domainSubclass organizationServiceType 2 IntentionalProcess) Economy.kif 1665-1665 The number 2 argument of organization service type is a subclass of intentional process
(instance organizationServiceType BinaryPredicate) Economy.kif 1663-1663 organization service type is an instance of binary predicate

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


(format ChineseLanguage organizationServiceType "%2 %n 是 %1 的 organization 服务类别类") domainEnglishFormat.kif 1867-1867
(format ChineseTraditionalLanguage organizationServiceType "%2 %n 是 %1 的 organization 服務類別類") domainEnglishFormat.kif 1866-1866
(format EnglishLanguage organizationServiceType "%2 is %n an organization service type of %1") domainEnglishFormat.kif 1865-1865
(termFormat ChineseLanguage organizationServiceType "组织服务类型") domainEnglishFormat.kif 42481-42481 "组织服务类型" is the printable form of organization service type in ChineseLanguage
(termFormat ChineseTraditionalLanguage organizationServiceType "組織服務類型") domainEnglishFormat.kif 42480-42480 "組織服務類型" is the printable form of organization service type in ChineseTraditionalLanguage
(termFormat EnglishLanguage organizationServiceType "organization service type") domainEnglishFormat.kif 42479-42479 "organization service type" is the printable form of organization service type in english language

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


(=>
    (and
        (organizationServiceType ?BUSINESS ?TYPE)
        (subclass ?TYPE ?GENUS))
    (organizationServiceType ?BUSINESS ?GENUS))
Economy.kif 1671-1675

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


(=>
    (and
        (industryServiceType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationServiceType ?BUSINESS ?TYPE))
Economy.kif 1677-1683
(=>
    (and
        (organizationServiceType ?BUSINESS ?TYPE)
        (subclass ?TYPE ?GENUS))
    (organizationServiceType ?BUSINESS ?GENUS))
Economy.kif 1671-1675


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners