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 2326-2326 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 8016-8016 City government is a subclass of government
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1492-1492 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 7996-7996 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 は組織 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. Mid-level-ontology.kif 17353-17357
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16401-16412
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20448-20456
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20326-20331
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2355-2360
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2289-2294
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2388-2393
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13791-13796
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15981-15986
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1498-1503
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8160-8167
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6407-6417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7845-7850
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7826-7831
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 11573-11582
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 866-871
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20317-20322


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