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


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 15555-15558
No TPTP formula. May not be expressible in strict first order. Merge.kif 15554-15554 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 15549-15549 Paramilitary organization is disjoint from government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14291-14291 Private school is disjoint from government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4790-4790 Department of homeland security is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3085-3085 Federal Aviation Administration is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4760-4760 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 25154-25154 Fema is an instance of government organization
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 717-717 USFoodAndDrugAdministration is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4772-4772 United states department of agriculture is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4775-4775 United states department of defense is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4817-4817 United states department of interior 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 state is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4782-4782 United states postal service is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1514-1514 The range of cabinet is an instance of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2125-2125 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 8051-8051 Coast guard is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4659-4659 Diplomatic organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 15573-15573 Government is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Government.kif 1493-1493 Government cabinet is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 15543-15543 Military organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 15590-15590 Police organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8195-8195 Public library is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14287-14287 Public school is a subclass of government organization
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26308-26308
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26307-26307
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26306-26306

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. Merge.kif 15560-15565 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
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 は組織 the other organization の一部では %n
No TPTP formula. May not be expressible in strict first order. Government.kif 2344-2350
No TPTP formula. May not be expressible in strict first order. Government.kif 2071-2076
No TPTP formula. May not be expressible in strict first order. Government.kif 1916-1921
No TPTP formula. May not be expressible in strict first order. Merge.kif 15567-15571

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1281-1285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16702-16706
No TPTP formula. May not be expressible in strict first order. Government.kif 2071-2076
No TPTP formula. May not be expressible in strict first order. Government.kif 1916-1921
No TPTP formula. May not be expressible in strict first order. Government.kif 2098-2102
No TPTP formula. May not be expressible in strict first order. Government.kif 2003-2007
No TPTP formula. May not be expressible in strict first order. Merge.kif 15567-15571
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18710-18716
No TPTP formula. May not be expressible in strict first order. Government.kif 2326-2333
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14147-14152


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