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 16750-16753
(subclass GovernmentOrganization Organization) Merge.kif 16749-16749 GovernmentOrganization è una sottoclasse di Organizzazione

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16744-16744 ParamilitaryOrganization è disgiunto da GovernmentOrganization
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 16690-16690 PrivateSchool è disgiunto da GovernmentOrganization
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4791-4791 DepartmentOfHomelandSecurity è un' istanza di GovernmentOrganization
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3159-3159 FederalAviationAdministration è un' istanza di GovernmentOrganization
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4761-4761 USCustomsAndBorderProtection è un' istanza di GovernmentOrganization
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 26969-26969 USFEMA è un' istanza di GovernmentOrganization
(instance USFoodAndDrugAdministration GovernmentOrganization) VirusProteinAndCellPart.kif 1280-1280 USFoodAndDrugAdministration è un' istanza di GovernmentOrganization
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4773-4773 UnitedStatesDepartmentOfAgriculture è un' istanza di GovernmentOrganization
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4776-4776 UnitedStatesDepartmentOfDefense è un' istanza di GovernmentOrganization
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4818-4818 UnitedStatesDepartmentOfInterior è un' istanza di GovernmentOrganization
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4813-4813 UnitedStatesDepartmentOfState è un' istanza di GovernmentOrganization
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4783-4783 UnitedStatesPostalService è un' istanza di GovernmentOrganization
(range CabinetFn GovernmentOrganization) Government.kif 1492-1492 rango di CabinetFn è un'istanza di GovernmentOrganization
(range JudiciaryFn GovernmentOrganization) Government.kif 2103-2103 rango di JudiciaryFn è un'istanza di GovernmentOrganization
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 8369-8369 CoastGuard è una sottoclasse di GovernmentOrganization
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4660-4660 DiplomaticOrganization è una sottoclasse di GovernmentOrganization
(subclass Government GovernmentOrganization) Merge.kif 16774-16774 Governo è una sottoclasse di GovernmentOrganization
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1471-1471 GovernmentCabinet è una sottoclasse di GovernmentOrganization
(subclass HealthDepartment GovernmentOrganization) Medicine.kif 3116-3116 HealthDepartment è una sottoclasse di GovernmentOrganization
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16738-16738 MilitaryOrganization è una sottoclasse di GovernmentOrganization
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16791-16791 PoliceOrganization è una sottoclasse di GovernmentOrganization
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8516-8516 PublicLibrary è una sottoclasse di GovernmentOrganization
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 16686-16686 PublicSchool è una sottoclasse di GovernmentOrganization
(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 Organizzazione è un' istanza di GovernmentOrganization Organizzazione è un' istanza di Governo Organizzazione Organizzazione è un' istanza di Governo subOrganization Organizzazione and Organizzazione
(=>
    (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 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