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 3432-3432 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 3434-3436
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 3427-3427 International court of justice is an instance of international organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3428-3428 International court of justice is an instance of judicial organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3439-3439 International justice is an organizational objective of international court of justice
No TPTP formula. May not be expressible in strict first order. Government.kif 3438-3438 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 3430-3430 "ICJ" is an abbreviation of international court of justice
No TPTP formula. May not be expressible in strict first order. Government.kif 3429-3429 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 3431-3431 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 3447-3454
No TPTP formula. May not be expressible in strict first order. Government.kif 3441-3445

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3447-3454


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