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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedStatesSenate
UnitedStatesSenate(united states senate)
Senate, U.S._Senate, US_Senate, United_States_Senate

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4824-4825
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6942-6942
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8169-8169
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8172-8172
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8170-8170
No TPTP formula. May not be expressible in strict first order. Government.kif 4822-4822 United states senate is an instance of legislative chamber
No TPTP formula. May not be expressible in strict first order. Government.kif 4823-4823 United states senate is a part of united states congress

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60422-60422
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60421-60421
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60420-60420


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