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 16854-16857
(subclass GovernmentOrganization Organization) Merge.kif 16853-16853 GovernmentOrganization est une sous-classe de organisation

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16848-16848 ParamilitaryOrganization est disjoint de GovernmentOrganization
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 18050-18050 PrivateSchool est disjoint de GovernmentOrganization
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4788-4788 DepartmentOfHomelandSecurity est une instance de GovernmentOrganization
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 4013-4013 FederalAviationAdministration est une instance de GovernmentOrganization
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4758-4758 USCustomsAndBorderProtection est une instance de GovernmentOrganization
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 28835-28835 USFEMA est une instance de GovernmentOrganization
(instance USFoodAndDrugAdministration GovernmentOrganization) VirusProteinAndCellPart.kif 1287-1287 USFoodAndDrugAdministration est une instance de GovernmentOrganization
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4770-4770 UnitedStatesDepartmentOfAgriculture est une instance de GovernmentOrganization
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4773-4773 UnitedStatesDepartmentOfDefense est une instance de GovernmentOrganization
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4815-4815 UnitedStatesDepartmentOfInterior est une instance de GovernmentOrganization
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4810-4810 UnitedStatesDepartmentOfState est une instance de GovernmentOrganization
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4780-4780 UnitedStatesPostalService est une instance de GovernmentOrganization
(range CabinetFn GovernmentOrganization) Government.kif 1490-1490 Le domaine de CabinetFn est une instance de GovernmentOrganization
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 9548-9548 CoastGuard est une sous-classe de GovernmentOrganization
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4657-4657 DiplomaticOrganization est une sous-classe de GovernmentOrganization
(subclass Government GovernmentOrganization) Merge.kif 16878-16878 Gouvernement est une sous-classe de GovernmentOrganization
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1469-1469 GovernmentCabinet est une sous-classe de GovernmentOrganization
(subclass HealthDepartment GovernmentOrganization) Medicine.kif 3117-3117 HealthDepartment est une sous-classe de GovernmentOrganization
(subclass JudicialOrganization GovernmentOrganization) Merge.kif 16899-16899 JudicialOrganization est une sous-classe de GovernmentOrganization
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16842-16842 MilitaryOrganization est une sous-classe de GovernmentOrganization
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16895-16895 PoliceOrganization est une sous-classe de GovernmentOrganization
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 9695-9695 PublicLibrary est une sous-classe de GovernmentOrganization
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 18046-18046 PublicSchool est une sous-classe de GovernmentOrganization
(termFormat ChineseLanguage GovernmentOrganization "政府组织") domainEnglishFormat.kif 26321-26321 PublicSchool est une sous-classe de GovernmentOrganization
(termFormat ChineseTraditionalLanguage GovernmentOrganization "政府組織") domainEnglishFormat.kif 26320-26320 PublicSchool est une sous-classe de GovernmentOrganization

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 Organisation est une instance de GovernmentOrganization organisation est une instance de gouvernement organisation organisation est une instance de gouvernement organisation est une partie de l'organization organisation
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (organizationalObjective ?GROUP ?AIM)
        (instance ?ORG GovernmentOrganization)
        (organizationalObjective ?ORG ?AIM))
    (inScopeOfInterest ?GROUP ?ORG))
Government.kif 2332-2338
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2047-2052
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1892-1897
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16872-16876
(=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 16859-16864

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


(=>
    (and
        (attribute ?X BlueforceControlled)
        (instance ?X Object))
    (exists (?A)
        (and
            (instance ?A GovernmentOrganization)
            (possesses ?A ?X)
            (or
                (subOrganization ?A
                    (GovernmentFn UnitedStates))
                (allied ?A
                    (GovernmentFn UnitedStates))))))
MilitaryProcesses.kif 2808-2820
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1257-1261
(=>
    (and
        (instance ?GOV Government)
        (subOrganization ?ORG ?GOV))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16866-16870
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))
Mid-level-ontology.kif 20515-20519
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2047-2052
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1892-1897
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2074-2078
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 1979-1983
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16872-16876
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 22615-22621
(=>
    (instance ?GROUP PoliticalPressureGroup)
    (exists (?REQ ?ORG)
        (and
            (instance ?REQ Requesting)
            (agent ?REQ ?GROUP)
            (instance ?ORG GovernmentOrganization)
            (patient ?REQ ?ORG))))
Government.kif 2314-2321
(=>
    (instance ?L License)
    (exists (?ORG)
        (and
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))
Mid-level-ontology.kif 17917-17922


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