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

Formal Language: 



KB Term:  Term intersection
English Word: 

  organizationServiceType

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 1663-1665
(domain organizationServiceType 1 Organization) Economy.kif 1660-1660 organizationServiceType の数値 1 引数は 組織instance では %n
(domainSubclass organizationServiceType 2 IntentionalProcess) Economy.kif 1661-1661 organizationServiceType の数値 2 引数は 意図的なプロセスsubclass では %n
(instance organizationServiceType BinaryPredicate) Economy.kif 1659-1659 organizationServiceType2進述語instance では %n

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 42570-42570
(termFormat ChineseTraditionalLanguage organizationServiceType "組織服務類型") domainEnglishFormat.kif 42569-42569
(termFormat EnglishLanguage organizationServiceType "organization service type") domainEnglishFormat.kif 42568-42568

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


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

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


(=>
    (and
        (industryServiceType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationServiceType ?BUSINESS ?TYPE))
Economy.kif 1673-1679
(=>
    (and
        (organizationServiceType ?BUSINESS ?TYPE)
        (subclass ?TYPE ?GENUS))
    (organizationServiceType ?BUSINESS ?GENUS))
Economy.kif 1667-1671


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 3.0 is open source software produced by Articulate Software and its partners