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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PublicProsecutor
PublicProsecutor(public prosecutor)
prosecuting_attorney, prosecuting_officer, prosecutor, public_prosecutor

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20991-20992
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 20990-20990 Public prosecutor is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20989-20989 Public prosecutor is a subattribute of attorney

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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