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 16020-16023
(subclass GovernmentOrganization Organization) Merge.kif 16019-16019 Government organization is a subclass of organization

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


(disjoint ParamilitaryOrganization GovernmentOrganization) Merge.kif 16014-16014 Paramilitary organization is disjoint from government organization
(disjoint PrivateSchool GovernmentOrganization) Mid-level-ontology.kif 15938-15938 Private school is disjoint from government organization
(instance DepartmentOfHomelandSecurity GovernmentOrganization) Government.kif 4803-4803 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 4773-4773 US customs and border protection is an instance of government organization
(instance USFEMA GovernmentOrganization) Mid-level-ontology.kif 26139-26139 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 4785-4785 United states department of agriculture is an instance of government organization
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) Government.kif 4788-4788 United states department of defense is an instance of government organization
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) Government.kif 4830-4830 United states department of interior is an instance of government organization
(instance UnitedStatesDepartmentOfState GovernmentOrganization) Government.kif 4825-4825 United states department of state is an instance of government organization
(instance UnitedStatesPostalService GovernmentOrganization) Government.kif 4795-4795 United states postal service is an instance of government organization
(range CabinetFn GovernmentOrganization) Government.kif 1514-1514 The range of cabinet is an instance of government organization
(range JudiciaryFn GovernmentOrganization) Government.kif 2125-2125 The range of judiciary is an instance of government organization
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 7921-7921 Coast guard is a subclass of government organization
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4672-4672 Diplomatic organization is a subclass of government organization
(subclass Government GovernmentOrganization) Merge.kif 16038-16038 Government is a subclass of government organization
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1493-1493 Government cabinet is a subclass of government organization
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16008-16008 Military organization is a subclass of government organization
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16055-16055 Police organization is a subclass of government organization
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8068-8068 Public library is a subclass of government organization
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 15934-15934 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)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 16025-16030 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 is a part of the organization the other organization
(<=>
    (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 2357-2363
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2071-2076
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1916-1921
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16032-16036

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


(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1281-1285
(=>
    (and
        (instance ?O GovernmentPosition)
        (occupiesPosition ?P ?O ?ORG))
    (instance ?ORG GovernmentOrganization))
Mid-level-ontology.kif 18150-18154
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2071-2076
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1916-1921
(=>
    (and
        (judicialBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2098-2102
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?ORG GovernmentOrganization))
Government.kif 2003-2007
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 16032-16036
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 20170-20176
(=>
    (instance ?GROUP PoliticalPressureGroup)
    (exists (?REQ ?ORG)
        (and
            (instance ?REQ Requesting)
            (agent ?REQ ?GROUP)
            (instance ?ORG GovernmentOrganization)
            (patient ?REQ ?ORG))))
Government.kif 2339-2346
(=>
    (instance ?L License)
    (exists (?ORG)
        (and
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))
Mid-level-ontology.kif 15805-15810


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