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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalCriminalTribunalForRwanda
InternationalCriminalTribunalForRwanda(international criminal tribunal for rwanda)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4214-4214 The day 8 is a date established of international criminal tribunal for rwanda
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5744-5744
No TPTP formula. May not be expressible in strict first order. Government.kif 4210-4210 International criminal tribunal for rwanda is an instance of international organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4213-4213 War crimes prosecution is an organizational objective of international criminal tribunal for rwanda
No TPTP formula. May not be expressible in strict first order. Government.kif 4184-4184 International criminal tribunal for rwanda is a part of the organization united nations security council

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4212-4212 "ICTR" is an abbreviation of international criminal tribunal for rwanda
No TPTP formula. May not be expressible in strict first order. Government.kif 4211-4211 International criminal tribunal for rwanda is a conventional long name of "International Criminal Tribunal for Rwanda"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30559-30559
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30558-30558
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30557-30557


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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