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 16701-16704
(subclass GovernmentOrganization Organization) Merge.kif 16700-16700 政府组织 是 机构 的 subclass

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16695-16695 辅助的军事组织 和 % 2 是 disjoint
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 16662-16662 私立学校 和 % 2 是 disjoint
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4827-4827 国土安全部 是 政府组织 的 instance
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3107-3107 FederalAviationAdministration 是 政府组织 的 instance
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4797-4797 美国海关和边境保护局 是 政府组织 的 instance
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 26924-26924 USFEMA 是 政府组织 的 instance
(instance USFoodAndDrugAdministration GovernmentOrganization) VirusProteinAndCellPart.kif 1278-1278 USFoodAndDrugAdministration 是 政府组织 的 instance
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4809-4809 美国农业部 是 政府组织 的 instance
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4812-4812 美国国防部 是 政府组织 的 instance
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4854-4854 美国内政部 是 政府组织 的 instance
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4849-4849 美国国务院 是 政府组织 的 instance
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4819-4819 美国邮政局 是 政府组织 的 instance
(range CabinetFn GovernmentOrganization) Government.kif 1528-1528 内阁 的 range 是 政府组织 的实例
(range JudiciaryFn GovernmentOrganization) Government.kif 2139-2139 司法 的 range 是 政府组织 的实例
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 8341-8341 海岸警卫队 是 政府组织 的 subclass
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4696-4696 外交组织 是 政府组织 的 subclass
(subclass Government GovernmentOrganization) Merge.kif 16725-16725 政府 是 政府组织 的 subclass
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1507-1507 政府内阁 是 政府组织 的 subclass
(subclass HealthDepartment GovernmentOrganization) Medicine.kif 3116-3116 HealthDepartment 是 政府组织 的 subclass
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16689-16689 军事组织 是 政府组织 的 subclass
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16742-16742 警察组织 是 政府组织 的 subclass
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8488-8488 公共图书馆 是 政府组织 的 subclass
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 16658-16658 公立学校 是 政府组织 的 subclass
(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 机构 是 政府组织 的 instance 若且唯若 那个 机构 是 政府 的 instance 或 有存在 另一个 机构 这样 那个 另外 机构 是 政府 的 instance 和 那个 机构 是 那个 另外 机构 Organization 的一部分
(=>
    (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 16719-16723
(=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))		 Merge.kif 16706-16711

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 16713-16717
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))		 Mid-level-ontology.kif 18943-18947
(=>
    (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 16719-16723
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))		 Mid-level-ontology.kif 20997-21003
(=>
    (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 16529-16534


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