Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  GovernmentOrganization

Sigma KEE - GovernmentOrganization
GovernmentOrganizationA'man, ARDA, ATF, Advanced_Research_and_Development_Activity, BoP, Bureau_of_Alcohol_Tobacco_and_Firearms, CID, CIM, CISC, CSE, CSIS, Canadian_Security_Intelligence_Service, Central_Intelligence_Machinery, Committee_for_State_Security, Communications_Security_Establishment, Criminal_Intelligence_Services_of_Canada, Criminal_Investigation_Command, DEA, DIA, DRMS, DTIC, Defense_Intelligence_Agency, Defense_Logistics_Agency, Defense_Reutilization_and_Marketing_Service, Defense_Technical_Information_Center, Department_of_Justice_Canada, Directorate_for_Inter-Services_Intelligence, DoJC, Drug_Enforcement_Administration, Drug_Enforcement_Agency, FCC, FLETC, FPS, FSB, FTC, Federal_Bureau_of_Prisons, Federal_Communications_Commission, Federal_Law_Enforcement_Training_Center, Federal_Protective_Service, Federal_Security_Bureau, Federal_Security_Service, Federal_Trade_Commission, FinCEN, Financial_Crimes_Enforcement_Network, Foreign_Intelligence_Service, GSA, General_Security_Services, General_Services_Administration, ICC, IIS...

appearance as argument number 1
-------------------------


(documentation GovernmentOrganization ChineseLanguage "GovernmentOrganization 是官方 Organization 的类别, 它和 GeopoliticalArea 的政府在某程度上有关联。它可以是一个政府的 subOrganization。") Merge.kif 16898-16900
(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 16894-16897
(subclass GovernmentOrganization Organization) Merge.kif 16893-16893

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16886-16886
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 14263-14263
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4763-4763
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3024-3024
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4733-4733
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 25030-25030
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4745-4745
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4748-4748
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4790-4790
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4785-4785
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4755-4755
(range CabinetFn GovernmentOrganization) Government.kif 1488-1488
(range JudiciaryFn GovernmentOrganization) Government.kif 2099-2099
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 8068-8068
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4632-4632
(subclass Government GovernmentOrganization) Merge.kif 16915-16915
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1467-1467
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16878-16878
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16936-16936
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8211-8211
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 14259-14259
(termFormat EnglishLanguage GovernmentOrganization "government organization") domainEnglishFormat.kif 4806-4806

antecedent
-------------------------


(<=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 16902-16907
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))
Government.kif 108-115
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (organizationalObjective ?GROUP ?AIM)
        (instance ?ORG GovernmentOrganization)
        (organizationalObjective ?ORG ?AIM))
    (inScopeOfInterest ?GROUP ?ORG))
Government.kif 2318-2324
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2045-2050
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1890-1895
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16909-16913

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


(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1255-1259
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))
Mid-level-ontology.kif 16553-16557
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2045-2050
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1890-1895
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2072-2076
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 1977-1981
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16909-16913
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 18619-18625
(=>
    (instance ?GROUP PoliticalPressureGroup)
    (exists (?REQ ?ORG)
        (and
            (instance ?REQ Requesting)
            (agent ?REQ ?GROUP)
            (instance ?ORG GovernmentOrganization)
            (patient ?REQ ?ORG))))
Government.kif 2300-2307
(=>
    (instance ?L License)
    (exists (?ORG)
        (and
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))
Mid-level-ontology.kif 14119-14124


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners