TreeView Knowledge Base Browser - PublicProsecutor

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	PublicProsecutor est une instance de GovernmentPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21016-21016	PublicProsecutor est un sous-attribut de Attorney

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