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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JusticeIssues

 Sigma KEE - JusticeIssues
JusticeIssues(司法問題)

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 例 司法問題 and 關注的區域

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2708-2708 子屬性 補償和賠償 and 司法問題
No TPTP formula. May not be expressible in strict first order. Government.kif 2705-2705 子屬性 國際司法 and 司法問題
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