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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JusticeIssues

 Sigma KEE - JusticeIssues
JusticeIssues(justice issues)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8553-8553
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9358-9358
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9359-9359
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9360-9360
No TPTP formula. May not be expressible in strict first order. Government.kif 2704-2704 Justice issues is an instance of area of concern

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2708-2708 Compensation and reparation is a subattribute of justice issues
No TPTP formula. May not be expressible in strict first order. Government.kif 2705-2705 International justice is a subattribute of justice issues
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31939-31939
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31938-31938
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31937-31937


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