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 20979-20981
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 20978-20978 司法部长 是 政府立场 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20977-20977 司法部长 是 律师 的 subAttribute

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