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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AttorneyGeneral

Sigma KEE - AttorneyGeneral
AttorneyGeneral(司法部長)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20978-20980
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4961-4961
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4960-4960
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4861-4861
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20977-20977 司法部長 and 政府立場
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20976-20976 子屬性 司法部長 and 律師

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9006-9006
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9005-9005
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9004-9004


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