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

Formal Language: 



KB Term:  Term intersection
English Word: 

  May

 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 9138-9138
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 9136-9136 子類 May and Month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9050-9050 successorClass May and June

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9049-9049 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 9130-9134
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 9140-9142

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 2796-2796 天 26 and 月 May and 年 1969 是 安第斯國際社會 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2824-2824 天 16 and 月 May and 年 1968 是 阿拉伯經濟和社會發展基金 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2972-2972 月 May and 年 1950 是 科倫坡計劃 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3025-3025 天 5 and 月 May and 年 1949 是 歐洲理事會 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3045-3045 天 29 and 月 May and 年 1959 是 協約理事會 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3140-3140 天 28 and 月 May and 年 1975 是 西非國家的經濟共同體 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3247-3247 天 31 and 月 May and 年 1975 是 歐洲航太局 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3291-3291 天 22 and 月 May and 年 1985 是 6人小組 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3367-3367 天 25 and 月 May and 年 1981 是 海灣合作委員會 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4207-4207 天 25 and 月 May and 年 1993 是 前南斯拉夫問題國際刑事法庭 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3508-3508 天 5 and 月 May and 年 1919 是 國際紅十字會和紅新月會聯合會 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3514-3514 天 25 and 月 May and 年 1955 是 國際金融公司 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3610-3610 天 17 and 月 May and 年 1865 是 國際電信聯盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3735-3735 天 25 and 月 May and 年 1963 是 非洲統一組織 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3916-3916 天 31 and 月 May and 年 1974 是 聯合國脫離接觸觀察員部隊 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4284-4284 天 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 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