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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PresidentOfTheUnitedStates

 Sigma KEE - PresidentOfTheUnitedStates
PresidentOfTheUnitedStates(president of the united states)
A._E._Kennelly, Abraham_Lincoln, Adams, Andrew_Jackson, Andrew_Johnson, Arthur_Edwin_Kennelly, Benjamin_Harrison, Bill_Clinton, Buchanan, Bush, Calvin_Coolidge, Carter, Chief_Executive, Cleveland, Clinton, Coolidge, Dubya, Dubyuh, Dwight_D._Eisenhower, Dwight_David_Eisenhower, Dwight_Eisenhower, Eisenhower, F._D._Roosevelt, FDR, Fillmore, Ford, Franklin_Delano_Roosevelt, Franklin_Pierce, Franklin_Roosevelt, Garfield, George_Bush, George_H.W._Bush, George_Herbert_Walker_Bush, George_W._Bush, George_Walker_Bush, George_Washington, Gerald_Ford, Gerald_R._Ford, Gerald_Rudolph_Ford, Grant, Grover_Cleveland, Harding, Harrison, Harry_S_Truman, Harry_Truman, Hayes, Herbert_Clark_Hoover, Herbert_Hoover, Hiram_Ulysses_Grant, Hoover...

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1464-1465
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10204-10204
No TPTP formula. May not be expressible in strict first order. Government.kif 1462-1462 President of the united states is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1463-1463 President of the united states is a subattribute of president

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47254-47254
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47253-47253
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47252-47252

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1467-1469


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