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

Formal Language: 

KB Term:  Term intersection
English Word: 


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


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


    (instance ?W Welfare)
    (exists (?O)
            (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