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。") 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 16839-16842
(subclass GovernmentOrganization Organization) Merge.kif 16838-16838

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16833-16833
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 18070-18070
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4788-4788
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 4011-4011
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4758-4758
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 28594-28594
(instance USFoodAndDrugAdministration GovernmentOrganization) VirusProteinAndCellPart.kif 1287-1287
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4770-4770
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4773-4773
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4815-4815
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4810-4810
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4780-4780
(range CabinetFn GovernmentOrganization) Government.kif 1490-1490
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 9566-9566
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4657-4657
(subclass Government GovernmentOrganization) Merge.kif 16863-16863
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1469-1469
(subclass HealthDepartment GovernmentOrganization) Medicine.kif 3117-3117
(subclass JudicialOrganization GovernmentOrganization) Merge.kif 16884-16884
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16827-16827
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16880-16880
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 9713-9713
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 18066-18066
(termFormat ChineseLanguage GovernmentOrganization "政府组织") domainEnglishFormat.kif 26338-26338
(termFormat ChineseTraditionalLanguage GovernmentOrganization "政府組織") domainEnglishFormat.kif 26337-26337

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 2332-2338
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Government.kif 2047-2052
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Government.kif 1892-1897
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 16857-16861
(=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))		 Merge.kif 16844-16849

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


(=>
    (and
        (attribute ?X BlueforceControlled)
        (instance ?X Object))
    (exists (?A)
        (and
            (instance ?A GovernmentOrganization)
            (possesses ?A ?X)
            (or
                (subOrganization ?A
                    (GovernmentFn UnitedStates))
                (allied ?A
                    (GovernmentFn UnitedStates))))))		 MilitaryProcesses.kif 2808-2820
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))		 Government.kif 1257-1261
(=>
    (and
        (instance ?GOV Government)
        (subOrganization ?ORG ?GOV))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 16851-16855
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))		 Mid-level-ontology.kif 20532-20536
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Government.kif 2047-2052
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Government.kif 1892-1897
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))		 Government.kif 2074-2078
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))		 Government.kif 1979-1983
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 16857-16861
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))		 Mid-level-ontology.kif 22632-22638
(=>
    (instance ?GROUP PoliticalPressureGroup)
    (exists (?REQ ?ORG)
        (and
            (instance ?REQ Requesting)
            (agent ?REQ ?GROUP)
            (instance ?ORG GovernmentOrganization)
            (patient ?REQ ?ORG))))		 Government.kif 2314-2321
(=>
    (instance ?L License)
    (exists (?ORG)
        (and
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))		 Mid-level-ontology.kif 17937-17942


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