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 15479-15482
(subclass GovernmentOrganization Organization) Merge.kif 15478-15478 subclass GovernmentOrganization and Organization

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 15473-15473 disjoint ParamilitaryOrganization and GovernmentOrganization
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 14264-14264 disjoint PrivateSchool and GovernmentOrganization
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4758-4758 instance DepartmentOfHomelandSecurity and GovernmentOrganization
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3085-3085 instance FederalAviationAdministration and GovernmentOrganization
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4728-4728 instance USCustomsAndBorderProtection and GovernmentOrganization
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 25123-25123 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 8070-8070 subclass CoastGuard and GovernmentOrganization
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4627-4627 subclass DiplomaticOrganization and GovernmentOrganization
(subclass Government GovernmentOrganization) Merge.kif 15497-15497 subclass Government and GovernmentOrganization
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1461-1461 subclass GovernmentCabinet and GovernmentOrganization
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 15467-15467 subclass MilitaryOrganization and GovernmentOrganization
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 15514-15514 subclass PoliceOrganization and GovernmentOrganization
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8214-8214 subclass PublicLibrary and GovernmentOrganization
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 14260-14260 subclass PublicSchool and GovernmentOrganization
(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 15484-15489 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 15491-15495

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 16672-16676
(=>
    (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 15491-15495
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))		 Mid-level-ontology.kif 18679-18685
(=>
    (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 14120-14125


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