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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - May
May

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2799-2799
No TPTP formula. May not be expressible in strict first order. Merge.kif 9152-9152
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1540-1540
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4930-4930
No TPTP formula. May not be expressible in strict first order. Merge.kif 9150-9150 子類 May and Month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9064-9064 successorClass May and June

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9063-9063 successorClass April and May
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1281-1281
No TPTP formula. May not be expressible in strict first order. english_format.kif 1779-1779
No TPTP formula. May not be expressible in strict first order. french_format.kif 959-959
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 494-494
No TPTP formula. May not be expressible in strict first order. terms-it.txt 498-498
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2643-2643
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 911-911
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 500-500
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 534-534
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 980-980
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 499-499

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9144-9148
No TPTP formula. May not be expressible in strict first order. Merge.kif 9158-9162
No TPTP formula. May not be expressible in strict first order. Merge.kif 9154-9156

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


No TPTP formula. May not be expressible in strict first order. Media.kif 498-506

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2760-2760 天 26 and 月 May and 年 1969 是 安第斯國際社會 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2788-2788 天 16 and 月 May and 年 1968 是 阿拉伯經濟和社會發展基金 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2936-2936 月 May and 年 1950 是 科倫坡計劃 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2989-2989 天 5 and 月 May and 年 1949 是 歐洲理事會 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3009-3009 天 29 and 月 May and 年 1959 是 協約理事會 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3104-3104 天 28 and 月 May and 年 1975 是 西非國家的經濟共同體 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3211-3211 天 31 and 月 May and 年 1975 是 歐洲航太局 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3255-3255 天 22 and 月 May and 年 1985 是 6人小組 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3331-3331 天 25 and 月 May and 年 1981 是 海灣合作委員會 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4171-4171 天 25 and 月 May and 年 1993 是 前南斯拉夫問題國際刑事法庭 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3472-3472 天 5 and 月 May and 年 1919 是 國際紅十字會和紅新月會聯合會 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3478-3478 天 25 and 月 May and 年 1955 是 國際金融公司 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3574-3574 天 17 and 月 May and 年 1865 是 國際電信聯盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3699-3699 天 25 and 月 May and 年 1963 是 非洲統一組織 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3880-3880 天 31 and 月 May and 年 1974 是 聯合國脫離接觸觀察員部隊 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4248-4248 天 14 and 月 May and 年 1955 是 華沙協議 的成立 date
No TPTP formula. May not be expressible in strict first order. Geography.kif 1664-1664 等於 春暖花開的季節 and 經常性時間間隔 March and May


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