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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedNationsInterregionalCrimeAndJusticeResearchInstitute

Sigma KEE - UnitedNationsInterregionalCrimeAndJusticeResearchInstitute
UnitedNationsInterregionalCrimeAndJusticeResearchInstitute(聯合國區域間犯罪和司法研究所)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3994-3994 29 and April and 1969 是 聯合國區域間犯罪和司法研究所 的成立 date
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 聯合國區域間犯罪和司法研究所 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 4003-4003 教育合作聯合國區域間犯罪和司法研究所organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 4002-4002 減少犯罪聯合國區域間犯罪和司法研究所organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3988-3988 子組織 聯合國區域間犯罪和司法研究所 and 聯合國大會

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3991-3991 聯合國區域間犯罪和司法研究所 是 "UNICRI" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 3990-3990 聯合國區域間犯罪和司法研究所 是 "United Nations Interregional Crime and Justice Research Institute" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3993-3993 "UNSDRI" 是對於 聯合國區域間犯罪和司法研究所former name
No TPTP formula. May not be expressible in strict first order. Government.kif 3992-3992 "United Nations Social Defense Research Institute" 是對於 聯合國區域間犯罪和司法研究所former name
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 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