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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PresidentOfTheUnitedStates

 Sigma KEE - PresidentOfTheUnitedStates
PresidentOfTheUnitedStates(美國總統)

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 例 美國總統 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 1499-1499 子屬性 美國總統 and 主席

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


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