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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PrimeMinister

 Sigma KEE - PrimeMinister
PrimeMinister(總理)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 2911-2911
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2912-2912
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2910-2910
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2909-2909
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2725-2725
No TPTP formula. May not be expressible in strict first order. Government.kif 1317-1317 例 總理 and Position

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1408-1408 總理 是 加拿大 的 leader 職位
No TPTP formula. May not be expressible in strict first order. Government.kif 1407-1407 總理 是 英國 的 leader 職位
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47344-47344
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47343-47343
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47342-47342


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