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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GovernmentOrganization

Sigma KEE - GovernmentOrganization
GovernmentOrganization

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


(documentation GovernmentOrganization ChineseLanguage "GovernmentOrganization 是官方 Organization 的类别, 它和 GeopoliticalArea 的政府在某程度上有关联。它可以是一个政府的 subOrganization。") Merge.kif 16950-16952
(documentation GovernmentOrganization EnglishLanguage "GovernmentOrganization is the class of official Organizations that are concerned with the government of a GeopoliticalArea at some level. They may be a subOrganization of a government.") Merge.kif 16946-16949
(subclass GovernmentOrganization Organization) Merge.kif 16945-16945

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16938-16938
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 14263-14263
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4763-4763
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3051-3051
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4733-4733
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 25110-25110
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4745-4745
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4748-4748
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4790-4790
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4785-4785
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4755-4755
(range CabinetFn GovernmentOrganization) Government.kif 1488-1488
(range JudiciaryFn GovernmentOrganization) Government.kif 2099-2099
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 8068-8068
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4632-4632
(subclass Government GovernmentOrganization) Merge.kif 16967-16967
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1467-1467
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16930-16930
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16988-16988
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8211-8211
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 14259-14259
(termFormat EnglishLanguage GovernmentOrganization "government organization") domainEnglishFormat.kif 4806-4806

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


(<=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 16954-16959
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))
Government.kif 108-115
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (organizationalObjective ?GROUP ?AIM)
        (instance ?ORG GovernmentOrganization)
        (organizationalObjective ?ORG ?AIM))
    (inScopeOfInterest ?GROUP ?ORG))
Government.kif 2318-2324
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2045-2050
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1890-1895
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16961-16965

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


(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1255-1259
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))
Mid-level-ontology.kif 16583-16587
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2045-2050
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1890-1895
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2072-2076
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 1977-1981
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16961-16965
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 18677-18683
(=>
    (instance ?GROUP PoliticalPressureGroup)
    (exists (?REQ ?ORG)
        (and
            (instance ?REQ Requesting)
            (agent ?REQ ?GROUP)
            (instance ?ORG GovernmentOrganization)
            (patient ?REQ ?ORG))))
Government.kif 2300-2307
(=>
    (instance ?L License)
    (exists (?ORG)
        (and
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))
Mid-level-ontology.kif 14119-14124


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners