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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PublicDefender

Sigma KEE - PublicDefender
PublicDefender(公共辯護人)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20985-20986
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4936-4936
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5067-5067
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5066-5066
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20984-20984 公共辯護人 and 政府立場
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20983-20983 子屬性 公共辯護人 and 律師

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47966-47966
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47965-47965
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47964-47964


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