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。") chinese_format.kif 3735-3737
(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 16529-16532
(subclass GovernmentOrganization Organization) Merge.kif 16528-16528

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16523-16523
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 16506-16506
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4827-4827
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3107-3107
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4797-4797
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 26830-26830
(instance USFoodAndDrugAdministration GovernmentOrganization) VirusProteinAndCellPart.kif 794-794
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4809-4809
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4812-4812
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4854-4854
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4849-4849
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4819-4819
(range CabinetFn GovernmentOrganization) Government.kif 1528-1528
(range JudiciaryFn GovernmentOrganization) Government.kif 2139-2139
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 8302-8302
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4696-4696
(subclass Government GovernmentOrganization) Merge.kif 16553-16553
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1507-1507
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16517-16517
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16570-16570
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8449-8449
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 16502-16502
(termFormat ChineseLanguage GovernmentOrganization "政府组织") domainEnglishFormat.kif 26296-26296
(termFormat ChineseTraditionalLanguage GovernmentOrganization "政府組織") domainEnglishFormat.kif 26295-26295
(termFormat EnglishLanguage GovernmentOrganization "government organization") domainEnglishFormat.kif 26294-26294

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (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 2371-2377
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2085-2090
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1930-1935
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16547-16551
(=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 16534-16539

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


(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1295-1299
(=>
    (and
        (instance ?GOV Government)
        (subOrganization ?ORG ?GOV))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16541-16545
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))
Mid-level-ontology.kif 18726-18730
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2085-2090
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1930-1935
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2112-2116
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2017-2021
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16547-16551
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 20780-20786
(=>
    (instance ?GROUP PoliticalPressureGroup)
    (exists (?REQ ?ORG)
        (and
            (instance ?REQ Requesting)
            (agent ?REQ ?GROUP)
            (instance ?ORG GovernmentOrganization)
            (patient ?REQ ?ORG))))
Government.kif 2353-2360
(=>
    (instance ?L License)
    (exists (?ORG)
        (and
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))
Mid-level-ontology.kif 16373-16378


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