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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalCourtOfJustice
InternationalCourtOfJustice(international court of justice)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3443-3443 The day 3 is a date established of international court of justice
No TPTP formula. May not be expressible in strict first order. Government.kif 3445-3447
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. pictureList.kif 5743-5743
No TPTP formula. May not be expressible in strict first order. Government.kif 3438-3438 International court of justice is an instance of international organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3439-3439 International court of justice is an instance of judicial organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3450-3450 International justice is an organizational objective of international court of justice
No TPTP formula. May not be expressible in strict first order. Government.kif 3449-3449 International court of justice is a part of the organization united nations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3441-3441 "ICJ" is an abbreviation of international court of justice
No TPTP formula. May not be expressible in strict first order. Government.kif 3440-3440 International court of justice is a conventional long name of "International Court of Justice"
No TPTP formula. May not be expressible in strict first order. Government.kif 3442-3442 International court of justice is a conventional short name of "World Court"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30534-30534
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30533-30533
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30532-30532

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3458-3465
No TPTP formula. May not be expressible in strict first order. Government.kif 3452-3456

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3458-3465


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