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

Formal Language: 



KB Term:  Term intersection
English Word: 

  December

 Sigma KEE - December
December(十二月)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2806-2806
No TPTP formula. May not be expressible in strict first order. Merge.kif 9215-9215
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1547-1547
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4869-4869
No TPTP formula. May not be expressible in strict first order. Merge.kif 9213-9213 十二月 是 月 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9034-9034 successorClass 十一月 and 十二月
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1288-1288
No TPTP formula. May not be expressible in strict first order. english_format.kif 1793-1793
No TPTP formula. May not be expressible in strict first order. french_format.kif 966-966
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 501-501
No TPTP formula. May not be expressible in strict first order. terms-it.txt 505-505
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2650-2650
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 918-918
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 507-507
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 541-541
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 987-987
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 506-506

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9221-9228
No TPTP formula. May not be expressible in strict first order. Merge.kif 9207-9211
No TPTP formula. May not be expressible in strict first order. Merge.kif 9217-9219

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 587-597
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3003-3011

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3192-3192 1 Day 是 南极条约 的 agreement 采用日期
No TPTP formula. May not be expressible in strict first order. Government.kif 2863-2863 19 Day 是 亚洲开发银行 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2943-2943 3 Day 是 中非国家开发银行 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2950-2950 13 Day 是 中美洲经济一体化银行 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2957-2957 13 Day 是 中美洲共同市场 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2987-2987 8 Day 是 独立国家联合体 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2980-2980 31 Day 是 国家联合体 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3376-3376 21 Day 是 印度洋委员会 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3429-3429 7 Day 是 国际民航组织 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3443-3443 十二月 month 是 国际自由工会联合会 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3623-3623 15 Day 是 伊斯兰开发银行 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3650-3650 8 Day 是 中非货币和经济共同体 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3675-3675 4 Day 是 北欧投资银行 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3705-3705 14 Day 是 经济合作与发展组织 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3834-3834 8 Day 是 南亚区域合作协会 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3848-3848 11 Day 是 南部非洲关税同盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3890-3890 11 Day 是 联合国儿童基金会 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3902-3902 30 Day 是 联合国贸易与发展会议 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3934-3934 15 Day 是 联合国环境计划 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4020-4020 3 Day 是 联合国难民署 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4034-4034 11 Day 是 联合国训练研究所 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4073-4073 21 Day 是 联合国在波黑和黑塞哥维那的使命 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4100-4100 16 Day 是 联合国塔吉克斯坦观察员代表团 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4150-4150 8 Day 是 联合国近东巴勒斯坦难民救济和工作机构 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4263-4263 3 Day 是 联合国大学 的成立 date

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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