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 15506-15509
(subclass GovernmentOrganization Organization) Merge.kif 15505-15505

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 15500-15500
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 14289-14289
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4758-4758
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3085-3085
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4728-4728
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 25148-25148
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4740-4740
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4743-4743
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4785-4785
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4780-4780
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4750-4750
(range CabinetFn GovernmentOrganization) Government.kif 1482-1482
(range JudiciaryFn GovernmentOrganization) Government.kif 2093-2093
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 8049-8049
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4627-4627
(subclass Government GovernmentOrganization) Merge.kif 15524-15524
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1461-1461
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 15494-15494
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 15541-15541
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8193-8193
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 14285-14285
(termFormat ChineseLanguage GovernmentOrganization "政府组织") domainEnglishFormat.kif 26233-26233
(termFormat ChineseTraditionalLanguage GovernmentOrganization "政府組織") domainEnglishFormat.kif 26232-26232
(termFormat EnglishLanguage GovernmentOrganization "government organization") domainEnglishFormat.kif 26231-26231

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


(<=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 15511-15516
(<=>
    (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 2312-2318
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2039-2044
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1884-1889
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 15518-15522

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


(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1249-1253
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))
Mid-level-ontology.kif 16697-16701
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2039-2044
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1884-1889
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2066-2070
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 1971-1975
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 15518-15522
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 18704-18710
(=>
    (instance ?GROUP PoliticalPressureGroup)
    (exists (?REQ ?ORG)
        (and
            (instance ?REQ Requesting)
            (agent ?REQ ?GROUP)
            (instance ?ORG GovernmentOrganization)
            (patient ?REQ ?ORG))))
Government.kif 2294-2301
(=>
    (instance ?L License)
    (exists (?ORG)
        (and
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))
Mid-level-ontology.kif 14145-14150


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