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 2706-2706 国际司法跨国问题instance
(subAttribute InternationalJustice JusticeIssues) Government.kif 2705-2705 国际司法司法问题subAttribute

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


(organizationalObjective InternationalCourtOfJustice InternationalJustice) Government.kif 3458-3458 国际司法国际法院organizational 目标
(organizationalObjective PermanentCourtOfArbitration InternationalJustice) Government.kif 3818-3818 国际司法常设仲裁法院organizational 目标
(subAttribute WarCrimesProsecution InternationalJustice) Government.kif 2707-2707 战争罪起诉国际司法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