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 16397-16400
(subclass GovernmentOrganization Organization) Merge.kif 16396-16396

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16391-16391
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 16083-16083
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4807-4807
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3114-3114
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4777-4777
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 26284-26284
(instance USFoodAndDrugAdministration GovernmentOrganization) VirusProteinAndCellPart.kif 788-788
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4789-4789
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4792-4792
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4834-4834
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4829-4829
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4799-4799
(range CabinetFn GovernmentOrganization) Government.kif 1513-1513
(range JudiciaryFn GovernmentOrganization) Government.kif 2124-2124
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 7945-7945
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4676-4676
(subclass Government GovernmentOrganization) Merge.kif 16421-16421
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1492-1492
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16385-16385
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16438-16438
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8092-8092
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 16079-16079
(termFormat ChineseLanguage GovernmentOrganization "政府组织") domainEnglishFormat.kif 26301-26301
(termFormat ChineseTraditionalLanguage GovernmentOrganization "政府組織") domainEnglishFormat.kif 26300-26300
(termFormat EnglishLanguage GovernmentOrganization "government organization") domainEnglishFormat.kif 26299-26299

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 2356-2362
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2070-2075
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1915-1920
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16415-16419
(=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 16402-16407

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


(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1280-1284
(=>
    (and
        (instance ?GOV Government)
        (subOrganization ?ORG ?GOV))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16409-16413
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))
Mid-level-ontology.kif 18295-18299
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2070-2075
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1915-1920
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2097-2101
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2002-2006
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16415-16419
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 20315-20321
(=>
    (instance ?GROUP PoliticalPressureGroup)
    (exists (?REQ ?ORG)
        (and
            (instance ?REQ Requesting)
            (agent ?REQ ?GROUP)
            (instance ?ORG GovernmentOrganization)
            (patient ?REQ ?ORG))))
Government.kif 2338-2345
(=>
    (instance ?L License)
    (exists (?ORG)
        (and
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))
Mid-level-ontology.kif 15950-15955


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