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 16404-16407
(subclass GovernmentOrganization Organization) Merge.kif 16403-16403 子類 政府組織 and Organization

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16398-16398 不相交的 輔助的軍事組織 and 政府組織
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 16103-16103 不相交的 私立學校 and 政府組織
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4819-4819 國土安全部 and 政府組織
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3114-3114 FederalAviationAdministration and 政府組織
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4789-4789 美國海關和邊境保護局 and 政府組織
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 26304-26304 USFEMA and 政府組織
(instance USFoodAndDrugAdministration GovernmentOrganization) VirusProteinAndCellPart.kif 788-788 USFoodAndDrugAdministration and 政府組織
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4801-4801 美國農業部 and 政府組織
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4804-4804 美國國防部 and 政府組織
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4846-4846 美國內政部 and 政府組織
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4841-4841 美國國務院 and 政府組織
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4811-4811 美國郵政局 and 政府組織
(range CabinetFn GovernmentOrganization) Government.kif 1525-1525 範圍 內閣 and 政府組織
(range JudiciaryFn GovernmentOrganization) Government.kif 2136-2136 範圍 司法 and 政府組織
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 7945-7945 子類 海岸警衛隊 and 政府組織
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4688-4688 子類 外交組織 and 政府組織
(subclass Government GovernmentOrganization) Merge.kif 16428-16428 子類 Government and 政府組織
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1504-1504 子類 政府內閣 and 政府組織
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16392-16392 子類 軍事組織 and 政府組織
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16445-16445 子類 警察組織 and 政府組織
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8092-8092 子類 公共圖書館 and 政府組織
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 16099-16099 子類 公立學校 and 政府組織
(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 Organization and 政府組織 Organization and Government Organization Organization and Government 子組織 Organization and 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 16422-16426
(=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 16409-16414

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 16416-16420
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))
Mid-level-ontology.kif 18315-18319
(=>
    (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 16422-16426
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 20335-20341
(=>
    (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 15970-15975


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