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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Government

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 16439-16439
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. Merge.kif 16437-16437 Government is a subclass of LegalAgent

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2382-2382 US state department is an instance of government
No TPTP formula. May not be expressible in strict first order. Merge.kif 16444-16444 The range of government is an instance of government
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7937-7937 City government is a subclass of government
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1549-1549 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 7929-7929 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 1351-1351

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16422-16426

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


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 18917-18921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18076-18087
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21989-21997
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21894-21899
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2441-2446
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2375-2380
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2474-2479
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15561-15566
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17671-17676
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1555-1560
No TPTP formula. May not be expressible in strict first order. Merge.kif 16415-16420
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8061-8068
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6432-6442
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7796-7801
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7777-7782
No TPTP formula. May not be expressible in strict first order. Merge.kif 10651-10663
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13407-13416
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 921-926
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21885-21890


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