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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedNationsInterregionalCrimeAndJusticeResearchInstitute
UnitedNationsInterregionalCrimeAndJusticeResearchInstitute(united nations interregional crime and justice research institute)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3994-3994 The day 29 is a date established of united nations interregional crime and justice research institute
No TPTP formula. May not be expressible in strict first order. Government.kif 3996-4000
No TPTP formula. May not be expressible in strict first order. Government.kif 3989-3989 United nations interregional crime and justice research institute is an instance of international organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4003-4003 Educational cooperation is an organizational objective of united nations interregional crime and justice research institute
No TPTP formula. May not be expressible in strict first order. Government.kif 4002-4002 Reducing crime is an organizational objective of united nations interregional crime and justice research institute
No TPTP formula. May not be expressible in strict first order. Government.kif 3988-3988 United nations interregional crime and justice research institute is a part of the organization united nations general assembly

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3991-3991 "UNICRI" is an abbreviation of united nations interregional crime and justice research institute
No TPTP formula. May not be expressible in strict first order. Government.kif 3990-3990 United nations interregional crime and justice research institute is a conventional long name of "United Nations Interregional Crime and Justice Research Institute"
No TPTP formula. May not be expressible in strict first order. Government.kif 3993-3993 "UNSDRI" is a former name for united nations interregional crime and justice research institute
No TPTP formula. May not be expressible in strict first order. Government.kif 3992-3992 "United Nations Social Defense Research Institute" is a former name for united nations interregional crime and justice research institute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60176-60176
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60175-60175
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60174-60174


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