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


KB Term:  Term intersection
English Word: 

  subPlan

 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
-------------------------


(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
-------------------------


(termFormat EnglishLanguage PresidentOfTheUnitedStates "president of the united states") domainEnglishFormat.kif 47245-47245
(termFormat ChineseTraditionalLanguage PresidentOfTheUnitedStates "美國總統") domainEnglishFormat.kif 47246-47246
(termFormat ChineseLanguage PresidentOfTheUnitedStates "美国总统") domainEnglishFormat.kif 47247-47247

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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners