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 15386-15389
(subclass GovernmentOrganization Organization) Merge.kif 15385-15385 subclass GovernmentOrganization and Organization

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 15380-15380 disjoint ParamilitaryOrganization and GovernmentOrganization
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 14263-14263 disjoint PrivateSchool and GovernmentOrganization
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4758-4758 instance DepartmentOfHomelandSecurity and GovernmentOrganization
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3076-3076 instance FederalAviationAdministration and GovernmentOrganization
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4728-4728 instance USCustomsAndBorderProtection and GovernmentOrganization
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 25111-25111 instance USFEMA and GovernmentOrganization
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4740-4740 instance UnitedStatesDepartmentOfAgriculture and GovernmentOrganization
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4743-4743 instance UnitedStatesDepartmentOfDefense and GovernmentOrganization
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4785-4785 instance UnitedStatesDepartmentOfInterior and GovernmentOrganization
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4780-4780 instance UnitedStatesDepartmentOfState and GovernmentOrganization
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4750-4750 instance UnitedStatesPostalService and GovernmentOrganization
(range CabinetFn GovernmentOrganization) Government.kif 1482-1482 range CabinetFn and GovernmentOrganization
(range JudiciaryFn GovernmentOrganization) Government.kif 2093-2093 range JudiciaryFn and GovernmentOrganization
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 8069-8069 subclass CoastGuard and GovernmentOrganization
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4627-4627 subclass DiplomaticOrganization and GovernmentOrganization
(subclass Government GovernmentOrganization) Merge.kif 15404-15404 subclass Government and GovernmentOrganization
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1461-1461 subclass GovernmentCabinet and GovernmentOrganization
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 15374-15374 subclass MilitaryOrganization and GovernmentOrganization
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 15421-15421 subclass PoliceOrganization and GovernmentOrganization
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8213-8213 subclass PublicLibrary and GovernmentOrganization
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 14259-14259 subclass PublicSchool and GovernmentOrganization
(termFormat ChineseLanguage GovernmentOrganization "政府组织") domainEnglishFormat.kif 26239-26239 termFormat ChineseLanguage, GovernmentOrganization and "政府组织"
(termFormat ChineseTraditionalLanguage GovernmentOrganization "政府組織") domainEnglishFormat.kif 26238-26238 termFormat ChineseTraditionalLanguage, GovernmentOrganization and "政府組織"
(termFormat EnglishLanguage GovernmentOrganization "government organization") domainEnglishFormat.kif 26237-26237 termFormat EnglishLanguage, GovernmentOrganization and "government organization"

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


(<=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 15391-15396 instance Organization and GovernmentOrganization Organization instance Organization and Government subOrganization Organization and Organization
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))
Government.kif 108-115 instance Organization and GovernmentOrganization instance Organization and Government Organization instance Organization and Government subOrganization Organization and Organization
(=>
    (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 15398-15402

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 16671-16675
(=>
    (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 15398-15402
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 18678-18684
(=>
    (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 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