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。") 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 Government organization is a subclass of organization

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16404-16404 Paramilitary organization is disjoint from government organization
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 16107-16107 Private school is disjoint from government organization
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4819-4819 Department of homeland security is an instance of government organization
(instance FederalAviationAdministration GovernmentOrganization) Transportation.kif 3114-3114 Federal Aviation Administration is an instance of government organization
(instance USCustomsAndBorderProtection GovernmentOrganization) Government.kif 4789-4789 US customs and border protection is an instance of government organization
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 26308-26308 Fema is an instance of government organization
(instance USFoodAndDrugAdministration GovernmentOrganization) VirusProteinAndCellPart.kif 788-788 USFoodAndDrugAdministration is an instance of government organization
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) Government.kif 4801-4801 United states department of agriculture is an instance of government organization
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4804-4804 United states department of defense is an instance of government organization
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4846-4846 United states department of interior is an instance of government organization
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4841-4841 United states department of state is an instance of government organization
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4811-4811 United states postal service is an instance of government organization
(range CabinetFn GovernmentOrganization) Government.kif 1525-1525 The range of cabinet is an instance of government organization
(range JudiciaryFn GovernmentOrganization) Government.kif 2136-2136 The range of judiciary is an instance of government organization
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 7949-7949 Coast guard is a subclass of government organization
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4688-4688 Diplomatic organization is a subclass of government organization
(subclass Government GovernmentOrganization) Merge.kif 16434-16434 Government is a subclass of government organization
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1504-1504 Government cabinet is a subclass of government organization
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16398-16398 Military organization is a subclass of government organization
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16451-16451 Police organization is a subclass of government organization
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8096-8096 Public library is a subclass of government organization
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 16103-16103 Public school is a subclass of government organization
(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 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 is a part of the organization the other 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