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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ServiceOrganization

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 8450-8451
(subclass ServiceOrganization Organization) Mid-level-ontology.kif 8449-8449

appearance as argument number 2

(termFormat ChineseLanguage ServiceOrganization "服务组织") domainEnglishFormat.kif 52257-52257
(termFormat ChineseTraditionalLanguage ServiceOrganization "服務組織") domainEnglishFormat.kif 52256-52256
(termFormat EnglishLanguage ServiceOrganization "service organization") domainEnglishFormat.kif 52255-52255


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


    (instance ?W Welfare)
    (exists (?O)
            (instance ?O ServiceOrganization)
            (agent ?W ?O))))
Mid-level-ontology.kif 7245-7250

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