TreeView Knowledge Base Browser - UnitedNationsGeneralAssembly

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3940-3940	26 Day 是联合国大会的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3943-3945
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5666-5666
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5811-5811
No TPTP formula. May not be expressible in strict first order.	Government.kif 3937-3937	联合国大会是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3941-3941	政治合作是联合国大会的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3947-3947	联合国大会是联合国 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3938-3938	联合国大会是 "United Nations General Assembly" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3939-3939	联合国大会是 "UN General Assembly" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3960-3960	提高妇女地位国际研究和培训机构是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3966-3966	联合国人类住区中心是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3948-3948	联合国儿童基金会是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3949-3949	联合国贸易与发展会议是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3950-3950	联合国发展计划是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3951-3951	联合国环境计划是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3976-3976	联合国人权事务高级专员是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3952-3952	联合国难民署是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3982-3982	联合国裁军研究所是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3953-3953	联合国训练研究所是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3988-3988	联合国区域间犯罪和司法研究所是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4005-4005	联合国项目服务办公室是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3954-3954	联合国人口基金是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3955-3955	联合国近东巴勒斯坦难民救济和工作机构是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3956-3956	联合国社会发展研究所是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4011-4011	联合国系统职员学院是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3957-3957	联合国大学是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3958-3958	世界粮食计划是联合国大会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60122-60122
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60121-60121
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60120-60120

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

KB Term:			Term intersection

English Word: