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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalJustice

Sigma KEE - InternationalJustice
InternationalJustice(国际司法)

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


(instance InternationalJustice TransnationalIssue) Government.kif 2670-2670 国际司法跨国问题instance
(subAttribute InternationalJustice JusticeIssues) Government.kif 2669-2669 国际司法司法问题subAttribute

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


(organizationalObjective InternationalCourtOfJustice InternationalJustice) Government.kif 3422-3422 国际司法国际法院organizational 目标
(organizationalObjective PermanentCourtOfArbitration InternationalJustice) Government.kif 3782-3782 国际司法常设仲裁法院organizational 目标
(subAttribute WarCrimesProsecution InternationalJustice) Government.kif 2671-2671 战争罪起诉国际司法subAttribute
(termFormat ChineseLanguage InternationalJustice "国际司法") domainEnglishFormat.kif 30613-30613
(termFormat ChineseTraditionalLanguage InternationalJustice "國際司法") domainEnglishFormat.kif 30612-30612
(termFormat EnglishLanguage InternationalJustice "international justice") domainEnglishFormat.kif 30611-30611


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