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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PoliceOrganization
PoliceOrganization

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


(documentation PoliceOrganization ChineseLanguage "这是任何一个 Government 国内执法的 GovernmentOrganization。") chinese_format.kif 3742-3743
(documentation PoliceOrganization EnglishLanguage "Any GovernmentOrganization that is charged with domestic enforcement of the laws of the Government.") Merge.kif 16896-16897
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16895-16895 PoliceOrganization est une sous-classe de GovernmentOrganization

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


(instance USCustomsAndBorderProtection PoliceOrganization) Government.kif 4768-4768 USCustomsAndBorderProtection est une instance de PoliceOrganization
(termFormat ChineseLanguage PoliceOrganization "警察组织") domainEnglishFormat.kif 46424-46424 USCustomsAndBorderProtection est une instance de PoliceOrganization
(termFormat ChineseTraditionalLanguage PoliceOrganization "警察組織") domainEnglishFormat.kif 46423-46423 USCustomsAndBorderProtection est une instance de PoliceOrganization
(termFormat EnglishLanguage PoliceOrganization "police organization") domainEnglishFormat.kif 46422-46422 USCustomsAndBorderProtection est une instance de PoliceOrganization

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


(=>
    (and
        (instance ?L LawEnforcement)
        (agent ?L ?P))
    (or
        (instance ?P PoliceOrganization)
        (exists (?O)
            (and
                (instance ?O PoliceOrganization)
                (member ?P ?O)))))
Mid-level-ontology.kif 15280-15289


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