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 16410-16413
(subclass GovernmentOrganization Organization) Merge.kif 16409-16409 政府组织机构subclass

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16404-16404 辅助的军事组织 和 % 2 是 disjoint
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 16107-16107 私立学校 和 % 2 是 disjoint
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4819-4819 国土安全部政府组织instance
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3114-3114 FederalAviationAdministration政府组织instance
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4789-4789 美国海关和边境保护局政府组织instance
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 26308-26308 USFEMA政府组织instance
(instance USFoodAndDrugAdministration GovernmentOrganization) VirusProteinAndCellPart.kif 788-788 USFoodAndDrugAdministration政府组织instance
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4801-4801 美国农业部政府组织instance
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4804-4804 美国国防部政府组织instance
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4846-4846 美国内政部政府组织instance
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4841-4841 美国国务院政府组织instance
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4811-4811 美国邮政局政府组织instance
(range CabinetFn GovernmentOrganization) Government.kif 1525-1525 内阁range政府组织 的实例
(range JudiciaryFn GovernmentOrganization) Government.kif 2136-2136 司法range政府组织 的实例
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 7949-7949 海岸警卫队政府组织subclass
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4688-4688 外交组织政府组织subclass
(subclass Government GovernmentOrganization) Merge.kif 16434-16434 政府政府组织subclass
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1504-1504 政府内阁政府组织subclass
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16398-16398 军事组织政府组织subclass
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16451-16451 警察组织政府组织subclass
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8096-8096 公共图书馆政府组织subclass
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 16103-16103 公立学校政府组织subclass
(termFormat ChineseLanguage GovernmentOrganization "政府组织") domainEnglishFormat.kif 26301-26301
(termFormat ChineseTraditionalLanguage GovernmentOrganization "政府組織") domainEnglishFormat.kif 26300-26300
(termFormat EnglishLanguage GovernmentOrganization "government organization") domainEnglishFormat.kif 26299-26299

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 2368-2374
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2082-2087
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1927-1932
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16428-16432
(=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 16415-16420

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


(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1292-1296
(=>
    (and
        (instance ?GOV Government)
        (subOrganization ?ORG ?GOV))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16422-16426
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))
Mid-level-ontology.kif 18319-18323
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2082-2087
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1927-1932
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2109-2113
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2014-2018
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16428-16432
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 20339-20345
(=>
    (instance ?GROUP PoliticalPressureGroup)
    (exists (?REQ ?ORG)
        (and
            (instance ?REQ Requesting)
            (agent ?REQ ?GROUP)
            (instance ?ORG GovernmentOrganization)
            (patient ?REQ ?ORG))))
Government.kif 2350-2357
(=>
    (instance ?L License)
    (exists (?ORG)
        (and
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))
Mid-level-ontology.kif 15974-15979


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