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 16679-16682
(subclass GovernmentOrganization Organization) Merge.kif 16678-16678 GovernmentOrganization は 組織 の subclass では %n

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16673-16673 ParamilitaryOrganization と GovernmentOrganization は disjoint では %n
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 16663-16663 PrivateSchool と GovernmentOrganization は disjoint では %n
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4827-4827 DepartmentOfHomelandSecurity は GovernmentOrganization の instance では %n
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3107-3107 FederalAviationAdministration は GovernmentOrganization の instance では %n
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4797-4797 USCustomsAndBorderProtection は GovernmentOrganization の instance では %n
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 26936-26936 USFEMA は GovernmentOrganization の instance では %n
(instance USFoodAndDrugAdministration GovernmentOrganization) VirusProteinAndCellPart.kif 1279-1279 USFoodAndDrugAdministration は GovernmentOrganization の instance では %n
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4809-4809 UnitedStatesDepartmentOfAgriculture は GovernmentOrganization の instance では %n
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4812-4812 UnitedStatesDepartmentOfDefense は GovernmentOrganization の instance では %n
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4854-4854 UnitedStatesDepartmentOfInterior は GovernmentOrganization の instance では %n
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4849-4849 UnitedStatesDepartmentOfState は GovernmentOrganization の instance では %n
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4819-4819 UnitedStatesPostalService は GovernmentOrganization の instance では %n
(range CabinetFn GovernmentOrganization) Government.kif 1528-1528 CabinetFn の range は GovernmentOrganization のインスタンス では %n
(range JudiciaryFn GovernmentOrganization) Government.kif 2139-2139 JudiciaryFn の range は GovernmentOrganization のインスタンス では %n
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 8342-8342 CoastGuard は GovernmentOrganization の subclass では %n
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4696-4696 DiplomaticOrganization は GovernmentOrganization の subclass では %n
(subclass Government GovernmentOrganization) Merge.kif 16703-16703 政府 は GovernmentOrganization の subclass では %n
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1507-1507 GovernmentCabinet は GovernmentOrganization の subclass では %n
(subclass HealthDepartment GovernmentOrganization) Medicine.kif 3116-3116 HealthDepartment は GovernmentOrganization の subclass では %n
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16667-16667 MilitaryOrganization は GovernmentOrganization の subclass では %n
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16720-16720 PoliceOrganization は GovernmentOrganization の subclass では %n
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8489-8489 PublicLibrary は GovernmentOrganization の subclass では %n
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 16659-16659 PublicSchool は GovernmentOrganization の subclass では %n
(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 組織 は GovernmentOrganization の instance では %n 組織 は 政府 の instance では %n 組織 組織 は 政府 の instance では %n 組織 は組織 組織 の一部では %n
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (organizationalObjective ?GROUP ?AIM)
        (instance ?ORG GovernmentOrganization)
        (organizationalObjective ?ORG ?AIM))
    (inScopeOfInterest ?GROUP ?ORG))		 Government.kif 2371-2377
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Government.kif 2085-2090
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Government.kif 1930-1935
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 16697-16701
(=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))		 Merge.kif 16684-16689

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


(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))		 Government.kif 1295-1299
(=>
    (and
        (instance ?GOV Government)
        (subOrganization ?ORG ?GOV))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 16691-16695
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))		 Mid-level-ontology.kif 18944-18948
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Government.kif 2085-2090
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Government.kif 1930-1935
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))		 Government.kif 2112-2116
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))		 Government.kif 2017-2021
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 16697-16701
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))		 Mid-level-ontology.kif 20998-21004
(=>
    (instance ?GROUP PoliticalPressureGroup)
    (exists (?REQ ?ORG)
        (and
            (instance ?REQ Requesting)
            (agent ?REQ ?GROUP)
            (instance ?ORG GovernmentOrganization)
            (patient ?REQ ?ORG))))		 Government.kif 2353-2360
(=>
    (instance ?L License)
    (exists (?ORG)
        (and
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))		 Mid-level-ontology.kif 16530-16535


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