Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (instance PresidentOfTheUnitedStates Position) | Government.kif 1469-1469 | President of the united states is an instance of position |
| (subAttribute PresidentOfTheUnitedStates President) | Government.kif 1470-1470 | President of the united states is a subattribute of president |
| (documentation PresidentOfTheUnitedStates EnglishLanguage "The position of being head of the UnitedStates.") | Government.kif 1471-1472 | President of the united states is a subattribute of president |
| (externalImage PresidentOfTheUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Bush_and_Putin_signing_SORT.jpg") | pictureList.kif 10202-10202 | President of the united states is a subattribute of president |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?H PresidentOfTheUnitedStates) (leader ?H UnitedStates)) |
Government.kif 1474-1476 | If president of the united states is an attribute of X, then united states is a leader of X |
|