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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PublicProsecutor

 Sigma KEE - PublicProsecutor
PublicProsecutor(檢察官)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21018-21019
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4937-4937
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5069-5069
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5068-5068
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21017-21017 例 檢察官 and 政府立場
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21016-21016 子屬性 檢察官 and 律師

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48004-48004
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48003-48003
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48002-48002


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