TreeView Knowledge Base Browser - InternationalCourtOfJustice

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

InternationalCourtOfJustice

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 3451-3451	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 3453-3455
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.	pictureList.kif 5742-5742
No TPTP formula. May not be expressible in strict first order.	Government.kif 3446-3446	International court of justice is an instance of international organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3447-3447	International court of justice is an instance of judicial organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3458-3458	International justice is an organizational objective of international court of justice
No TPTP formula. May not be expressible in strict first order.	Government.kif 3457-3457	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 3449-3449	"ICJ" is an abbreviation of international court of justice
No TPTP formula. May not be expressible in strict first order.	Government.kif 3448-3448	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 3450-3450	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 30547-30547
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30546-30546
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30545-30545

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 3466-3473	If an agent is a member of international court of justice and judge is an attribute of the agent, then there exists another agent such that the other agent is an instance of geopolitical area and the other agent is representative agent to agent the agent for international court of justice
No TPTP formula. May not be expressible in strict first order.	Government.kif 3460-3464	If an object is a member of international court of justice, then the object is an instance of human and judge is an attribute of the object

consequent

No TPTP formula. May not be expressible in strict first order.

Government.kif 3466-3473

If an agent is a member of international court of justice and judge is an attribute of the agent,
then there exists another agent such that the other agent is an instance of geopolitical area and the other agent is representative agent to agent the agent for international court of justice

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