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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Government
Government(government)ANG, ARNG, Air_National_Guard, Army, Army_National_Guard, Army_of_the_Confederacy, Bank_of_England, Bank_of_Japan, Bundesbank, Bush_administration, Capital, Carter_administration, Clinton_administration, Confederate, Confederate_Army, Downing_Street, Estates_General, European_Central_Bank, Executive_Office_of_the_President, F.I.S.C., FHA, FRS, Fed, Federal, Federal_Home_Loan_Bank_System, Federal_Housing_Administration, Federal_Judiciary, Federal_Reserve, Federal_Reserve_Board, Federal_Reserve_System, Federal_soldier, Foreign_Intelligence_Surveillance_Court, Green_Beret, Hanoverian, IC, Intelligence_Community, Janissary, Lancastrian, Marine, Minuteman, Mogul_empire, Mountie, National_Guard, National_Intelligence_Community, Old_Bailey, Patent_Office, Patent_and_Trademark_Office_Database, Ranger, Reagan_administration, Rota...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3738-3738
No TPTP formula. May not be expressible in strict first order. Merge.kif 15578-15578
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. Merge.kif 15576-15576 Government is a subclass of LegalAgent

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2358-2358 US state department is an instance of government
No TPTP formula. May not be expressible in strict first order. Merge.kif 15583-15583 The range of government is an instance of government
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7219-7219 City government is a subclass of government
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1505-1505 Federal housing administration is a subclass of government
No TPTP formula. May not be expressible in strict first order. Government.kif 103-103 National government is a subclass of government
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7211-7211 State government is a subclass of government
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1070-1070
No TPTP formula. May not be expressible in strict first order. english_format.kif 1356-1356

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


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 is a part of the organization the other organization
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. Mid-level-ontology.kif 16081-16085
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15240-15251
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18979-18987
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18884-18889
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2374-2379
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2308-2313
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2407-2412
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12818-12823
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14835-14840
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1511-1516
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7343-7350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5807-5817
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7100-7105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7081-7086
No TPTP formula. May not be expressible in strict first order. Merge.kif 10080-10092
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10718-10727
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 876-881
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18875-18880


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