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 公共辩护人 是 政府立场 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20983-20983 公共辩护人 是 律师 的 subAttribute

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