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 16750-16753
(subclass GovernmentOrganization Organization) Merge.kif 16749-16749

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16744-16744
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 16690-16690
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4791-4791
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3159-3159
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4761-4761
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 26969-26969
(instance USFoodAndDrugAdministration GovernmentOrganization) VirusProteinAndCellPart.kif 1280-1280
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4773-4773
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4776-4776
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4818-4818
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4813-4813
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4783-4783
(range CabinetFn GovernmentOrganization) Government.kif 1492-1492
(range JudiciaryFn GovernmentOrganization) Government.kif 2103-2103
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 8369-8369
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4660-4660
(subclass Government GovernmentOrganization) Merge.kif 16774-16774
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1471-1471
(subclass HealthDepartment GovernmentOrganization) Medicine.kif 3116-3116
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16738-16738
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16791-16791
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8516-8516
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 16686-16686
(termFormat ChineseLanguage GovernmentOrganization "政府组织") domainEnglishFormat.kif 26310-26310
(termFormat ChineseTraditionalLanguage GovernmentOrganization "政府組織") domainEnglishFormat.kif 26309-26309

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 2335-2341
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2049-2054
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1894-1899
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16768-16772
(=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 16755-16760

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


(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1259-1263
(=>
    (and
        (instance ?GOV Government)
        (subOrganization ?ORG ?GOV))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16762-16766
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))
Mid-level-ontology.kif 18971-18975
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2049-2054
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1894-1899
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2076-2080
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 1981-1985
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16768-16772
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 21025-21031
(=>
    (instance ?GROUP PoliticalPressureGroup)
    (exists (?REQ ?ORG)
        (and
            (instance ?REQ Requesting)
            (agent ?REQ ?GROUP)
            (instance ?ORG GovernmentOrganization)
            (patient ?REQ ?ORG))))
Government.kif 2317-2324
(=>
    (instance ?L License)
    (exists (?ORG)
        (and
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))
Mid-level-ontology.kif 16557-16562


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