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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GovernmentOrganization

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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3735-3737
No TPTP formula. May not be expressible in strict first order. Merge.kif 16679-16682
No TPTP formula. May not be expressible in strict first order. Merge.kif 16678-16678 Government organization is a subclass of organization

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16673-16673 Paramilitary organization is disjoint from government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16663-16663 Private school is disjoint from government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4827-4827 Department of homeland security is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3107-3107 Federal Aviation Administration is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4797-4797 US customs and border protection is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26936-26936 Fema is an instance of government organization
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1279-1279 US food and drug administration is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4809-4809 United states department of agriculture is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4812-4812 United states department of defense is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4854-4854 United states department of interior is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4849-4849 United states department of state is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4819-4819 United states postal service is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1528-1528 The range of cabinet is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2139-2139 The range of judiciary is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8342-8342 Coast guard is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4696-4696 Diplomatic organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16703-16703 Government is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1507-1507 Government cabinet is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3116-3116 Health department is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16667-16667 Military organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16720-16720 Police organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8489-8489 Public library is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16659-16659 Public school is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26310-26310
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26309-26309

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. Government.kif 2371-2377
No TPTP formula. May not be expressible in strict first order. Government.kif 2085-2090
No TPTP formula. May not be expressible in strict first order. Government.kif 1930-1935
No TPTP formula. May not be expressible in strict first order. Merge.kif 16697-16701
No TPTP formula. May not be expressible in strict first order. Merge.kif 16684-16689

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1295-1299
No TPTP formula. May not be expressible in strict first order. Merge.kif 16691-16695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18944-18948
No TPTP formula. May not be expressible in strict first order. Government.kif 2085-2090
No TPTP formula. May not be expressible in strict first order. Government.kif 1930-1935
No TPTP formula. May not be expressible in strict first order. Government.kif 2112-2116
No TPTP formula. May not be expressible in strict first order. Government.kif 2017-2021
No TPTP formula. May not be expressible in strict first order. Merge.kif 16697-16701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20998-21004
No TPTP formula. May not be expressible in strict first order. Government.kif 2353-2360
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16530-16535


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