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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedNations

 Sigma KEE - UnitedNations
UnitedNations(联合国)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3872-3872 26 Day 是 联合国 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3879-3884
No TPTP formula. May not be expressible in strict first order. pictureList.kif 813-813
No TPTP formula. May not be expressible in strict first order. Government.kif 3869-3869 联合国 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 3877-3877 文化合作 是 联合国 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3874-3874 经济发展 是 联合国 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3876-3876 人道主义援助 是 联合国 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3873-3873 国际和平与安全 是 联合国 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3875-3875 社会发展 是 联合国 的 organizational 目标

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3871-3871 联合国 是 "UN" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 3870-3870 联合国 是 "United Nations" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3076-3076 经济和社会理事会 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3416-3416 国际重建和发展银行 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3430-3430 国际民航组织 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3457-3457 国际法院 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3490-3490 国际发展协会 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3515-3515 国际金融公司 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3529-3529 国际农业发展基金 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3544-3544 国际劳工组织 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3561-3561 国际海事组织 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3568-3568 国际货币基金组织 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3618-3618 国际电信联盟 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3947-3947 联合国大会 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 4170-4170 联合国秘书处 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 4182-4182 联合国安理会 是 联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60062-60062
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60061-60061
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60060-60060


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