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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GovernmentOrganization
GovernmentOrganization(government organization)A'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 21322-21324
(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 21318-21321
(subclass GovernmentOrganization Organization) Merge.kif 21317-21317 Government organization is a subclass of organization

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 21310-21310 Paramilitary organization is disjoint from government organization
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 14264-14264 Private school is disjoint from government organization
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4763-4763 Department of homeland security is an instance of government organization
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3051-3051 Federal Aviation Administration is an instance of government organization
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4733-4733 US customs and border protection is an instance of government organization
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 25111-25111 Fema is an instance of government organization
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4745-4745 United states department of agriculture is an instance of government organization
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4748-4748 United states department of defense is an instance of government organization
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4790-4790 United states department of interior is an instance of government organization
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4785-4785 United states department of state is an instance of government organization
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4755-4755 United states postal service is an instance of government organization
(range CabinetFn GovernmentOrganization) Government.kif 1488-1488 The range of cabinet is an instance of government organization
(range JudiciaryFn GovernmentOrganization) Government.kif 2099-2099 The range of judiciary is an instance of government organization
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 8069-8069 Coast guard is a subclass of government organization
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4632-4632 Diplomatic organization is a subclass of government organization
(subclass Government GovernmentOrganization) Merge.kif 21339-21339 Government is a subclass of government organization
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1467-1467 Government cabinet is a subclass of government organization
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 21302-21302 Military organization is a subclass of government organization
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 21360-21360 Police organization is a subclass of government organization
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8212-8212 Public library is a subclass of government organization
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 14260-14260 Public school is a subclass of government organization
(termFormat ChineseLanguage GovernmentOrganization "政府组织") domainEnglishFormat.kif 26239-26239 "政府组织" is the printable form of government organization in ChineseLanguage
(termFormat ChineseTraditionalLanguage GovernmentOrganization "政府組織") domainEnglishFormat.kif 26238-26238 "政府組織" is the printable form of government organization in ChineseTraditionalLanguage
(termFormat EnglishLanguage GovernmentOrganization "government organization") domainEnglishFormat.kif 26237-26237 "government organization" is the printable form of government organization in english language

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


(<=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 21326-21331 An organization is an instance of government organization if and only if there exists another organization such that the other organization is an instance of government and the organization は組織 the other organization の一部では %n
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))
Government.kif 108-115 An organization is an instance of government organization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization は組織 the other organization の一部では %n
(=>
    (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 21333-21337

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 16584-16588
(=>
    (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 21333-21337
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 18678-18684
(=>
    (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 14120-14125


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