| 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 1500-1501 | |
| 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 1498-1498 | President of the united states is an instance of position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1499-1499 | 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 47252-47252 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47251-47251 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47250-47250 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1503-1505 |
|
|
|
|