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 16410-16413
No TPTP formula. May not be expressible in strict first order. Merge.kif 16409-16409 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 16404-16404 Paramilitary organization is disjoint from government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16107-16107 Private school is disjoint from government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4819-4819 Department of homeland security is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3114-3114 Federal Aviation Administration is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4789-4789 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 26308-26308 Fema is an instance of government organization
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 788-788 USFoodAndDrugAdministration is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4801-4801 United states department of agriculture is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4804-4804 United states department of defense is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4846-4846 United states department of interior is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4841-4841 United states department of state is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4811-4811 United states postal service is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1525-1525 The range of cabinet is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2136-2136 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 7949-7949 Coast guard is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4688-4688 Diplomatic organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16434-16434 Government is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1504-1504 Government cabinet is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16398-16398 Military organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 16451-16451 Police organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8096-8096 Public library is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16103-16103 Public school is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26301-26301
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26300-26300
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26299-26299

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 2368-2374
No TPTP formula. May not be expressible in strict first order. Government.kif 2082-2087
No TPTP formula. May not be expressible in strict first order. Government.kif 1927-1932
No TPTP formula. May not be expressible in strict first order. Merge.kif 16428-16432
No TPTP formula. May not be expressible in strict first order. Merge.kif 16415-16420

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1292-1296
No TPTP formula. May not be expressible in strict first order. Merge.kif 16422-16426
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18319-18323
No TPTP formula. May not be expressible in strict first order. Government.kif 2082-2087
No TPTP formula. May not be expressible in strict first order. Government.kif 1927-1932
No TPTP formula. May not be expressible in strict first order. Government.kif 2109-2113
No TPTP formula. May not be expressible in strict first order. Government.kif 2014-2018
No TPTP formula. May not be expressible in strict first order. Merge.kif 16428-16432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20339-20345
No TPTP formula. May not be expressible in strict first order. Government.kif 2350-2357
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15974-15979


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