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

Formal Language: 



KB Term:  Term intersection
English Word: 

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