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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ServiceOrganization

Sigma KEE - ServiceOrganization
ServiceOrganization(service organization)service

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


(documentation ServiceOrganization EnglishLanguage "An Organization that performs a public service and is regulated by the Government.") Mid-level-ontology.kif 8058-8059
(subclass ServiceOrganization Organization) Mid-level-ontology.kif 8057-8057 Service organization is a subclass of organization

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


(termFormat ChineseLanguage ServiceOrganization "服务组织") domainEnglishFormat.kif 52240-52240
(termFormat ChineseTraditionalLanguage ServiceOrganization "服務組織") domainEnglishFormat.kif 52239-52239
(termFormat EnglishLanguage ServiceOrganization "service organization") domainEnglishFormat.kif 52238-52238

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


(=>
    (instance ?ORG ServiceOrganization)
    (exists (?PROC ?GOV)
        (and
            (instance ?PROC RegulatoryProcess)
            (patient ?PROC ?ORG)
            (agent ?PROC ?GOV)
            (instance ?GOV Government))))
Mid-level-ontology.kif 8061-8068

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


(=>
    (instance ?W Welfare)
    (exists (?O)
        (and
            (instance ?O ServiceOrganization)
            (agent ?W ?O))))
Mid-level-ontology.kif 6910-6915


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