MonthFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2754-2759
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8617-8625
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1481-1487
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8613-8613	域子類月, 1 and Month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8614-8614	域子類月, 2 and 年
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8611-8611	例月 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8612-8612	例月 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8610-8610	例月 and TemporalRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8615-8615	範圍子類月 and Month

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 467-467
No TPTP formula. May not be expressible in strict first order.	english_format.kif 473-473
No TPTP formula. May not be expressible in strict first order.	french_format.kif 270-270
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 194-194
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2060-2060
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 222-222
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 276-276
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 610-610
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 232-232
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 291-291
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 297-297
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 373-373
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9086-9086	相關的內部概念 Month and 月
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38515-38515	相關的內部概念 Month and 月
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 468-468	相關的內部概念 Month and 月
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38514-38514	相關的內部概念 Month and 月
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38513-38513	相關的內部概念 Month and 月
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 189-189	相關的內部概念 Month and 月
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 374-374	相關的內部概念 Month and 月

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25355-25365	Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer Human 的 birthday 是 Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Government.kif 576-581	天 PositiveInteger and 月 Month and 年 Integer 是假日的 commemorates 日期例 TimeInterval and 假日例 TimeInterval and 年 Integer 早期 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Government.kif 583-589	天 PositiveInteger and 月 Month and 年 Integer 是假日的 commemorates 日期例 Entity and 假日子類假日 and 固定假期小於或等於 Integer and entity_YEAR 例 Entity and 天 PositiveInteger and 月 Month and 年 entity_YEAR
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25035-25051	持有期間 TimeInterval and attribute Human and Menopausal Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer 等於 RealNumber and 加成 49 and Integer 等於 RealNumber and 加成 52 and Integer 等於 TimePoint and 開始 TimeInterval 模態屬性比較多 TimePoint and RealNumber 比較多 RealNumber and TimePoint and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8764-8771	例 TimeInterval and 天 PositiveInteger and 月 Month and 年 Integer 例 TimeInterval and 天 PositiveInteger and 月 Month and 年 Integer 等於 TimePoint and 開始 TimeInterval 等於 TimePoint and 開始 TimeInterval 比較多 PositiveInteger and PositiveInteger 之前 TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8773-8778	例 TimeInterval and 天 PositiveInteger and 月 Month and 年 Integer 例 TimeInterval and 天 PositiveInteger and 月 Month and 年 Integer 比較多 PositiveInteger and PositiveInteger 早期 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15765-15774	例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer 時間部分 TimePosition and WeekBeforeFn TimePosition 時間部分 TimePosition and WeekAfterFn TimePosition PositiveInteger 例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer 等於 PositiveInteger and 減法 PositiveInteger and 7
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8748-8755	例 TimeInterval and 月 Month and 年 Integer 例 TimeInterval and 月 Month and 年 Integer 等於 TimePoint and 開始 TimeInterval 等於 TimePoint and 開始 TimeInterval successorClass Month and Month 之前 TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8757-8762	例 TimeInterval and 月 Month and 年 Integer 例 TimeInterval and 月 Month and 年 Integer successorClass Month and Month 早期 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	例 Process and BarMitzvah 患者 Process and Human 例 Human and 男孩會員 Human and Collection 例 Collection and 猶太教 Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Integer3 TimePosition 例 Integer3 and Integer 等於 Integer3 and 加成 Integer and 13 例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer3 等於何時 Process and 眼前的未來 TimePosition
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	例 Process and BatMitzvah 患者 Process and Human 例 Human and 女孩會員 Human and Collection 例 Collection and 猶太教 Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Integer3 TimePosition 例 Integer3 and Integer 等於 Integer3 and 加成 Integer and 13 例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer3 等於何時 Process and 眼前的未來 TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9115-9120	例 TimeInterval and 月 February and 年例 Entity and 年例 Entity and LeapYear 持續時間 TimeInterval and 測量 29 and 一天長度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9108-9113	例 TimeInterval and 月 February and 年例 Entity and 年例 Entity and LeapYear 持續時間 TimeInterval and 測量 28 and 一天長度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9150-9154	例 TimeInterval and 月 April and 年例 TimeInterval and 月 May and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9206-9210	例 TimeInterval and 月 August and 年例 TimeInterval and 月 September and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9263-9270	例 TimeInterval and 月 December and 年例 TimeInterval and 月 January and 年例 TimeInterval and 年例 TimeInterval and 年短暫相遇 TimeInterval and TimeInterval 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9122-9126	例 TimeInterval and 月 February and 年例 TimeInterval and 月 March and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9098-9102	例 TimeInterval and 月 January and 年例 TimeInterval and 月 February and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9192-9196	例 TimeInterval and 月 July and 年例 TimeInterval and 月 August and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9178-9182	例 TimeInterval and 月 June and 年例 TimeInterval and 月 July and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9136-9140	例 TimeInterval and 月 March and 年例 TimeInterval and 月 April and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9164-9168	例 TimeInterval and 月 May and 年例 TimeInterval and 月 June and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9249-9253	例 TimeInterval and 月 November and 年例 TimeInterval and 月 December and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9235-9239	例 TimeInterval and 月 October and 年例 TimeInterval and 月 November and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9221-9225	例 TimeInterval and 月 September and 年例 TimeInterval and 月 October and 年短暫相遇 TimeInterval and TimeInterval

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25355-25365	Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer Human 的 birthday 是 Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Government.kif 583-589	天 PositiveInteger and 月 Month and 年 Integer 是假日的 commemorates 日期例 Entity and 假日子類假日 and 固定假期小於或等於 Integer and entity_YEAR 例 Entity and 天 PositiveInteger and 月 Month and 年 entity_YEAR
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15765-15774	例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer 時間部分 TimePosition and WeekBeforeFn TimePosition 時間部分 TimePosition and WeekAfterFn TimePosition PositiveInteger 例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer 等於 PositiveInteger and 減法 PositiveInteger and 7
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	例 Process and BarMitzvah 患者 Process and Human 例 Human and 男孩會員 Human and Collection 例 Collection and 猶太教 Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Integer3 TimePosition 例 Integer3 and Integer 等於 Integer3 and 加成 Integer and 13 例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer3 等於何時 Process and 眼前的未來 TimePosition
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	例 Process and BatMitzvah 患者 Process and Human 例 Human and 女孩會員 Human and Collection 例 Collection and 猶太教 Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Integer3 TimePosition 例 Integer3 and Integer 等於 Integer3 and 加成 Integer and 13 例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer3 等於何時 Process and 眼前的未來 TimePosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25314-25325	例 Physical and 婚禮日期 Physical and Day 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer weddingAnniversary Physical and Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2991-2999	持有期間 RealNumber and 例 entity and DeltaCovidVariant 部分 entity and entity attribute entity and Covid19 比較多 RealNumber and 月 December and 年 2020

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3180-3180	天 1 and 月 December and 年 1959 是南極條約的 agreement 採用日期
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3181-3181	例 ?D and 天 23 and 月 June and 年 1961 是南極條約的 agreement 生效日期
No TPTP formula. May not be expressible in strict first order.	Government.kif 2956-2956	天 31 and 月 March and 年 1994 是出口管制協調委員會的閉幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2971-2971	天 1 and 月 January and 年 1991 是共同經濟援助理事會的閉幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4107-4107	天 25 and 月 March and 年 1999 是聯合國預防性部署部隊的閉幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4247-4247	天 1 and 月 July and 年 1991 是華沙協議的閉幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2712-2712	天 6 and 月 June and 年 1975 是非洲加勒比和太平洋國家集團的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2719-2719	天 4 and 月 August and 年 1963 是非洲開發銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2733-2733	天 20 and 月 March and 年 1970 是法語社區的代理機構的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2740-2740	天 14 and 月 February and 年 1967 是在拉丁美洲和加勒比地區禁止核武器的機構的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2758-2758	天 26 and 月 May and 年 1969 是安第斯國際社會的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2763-2763	天 23 and 月 June and 年 1961 是南極條約理事會的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2774-2774	天 18 and 月 February and 年 1974 是阿拉伯非洲經濟發展銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2780-2780	天 16 and 月 February and 年 1989 是阿拉伯合作理事會的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2786-2786	天 16 and 月 May and 年 1968 是阿拉伯經濟和社會發展基金的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2795-2795	天 22 and 月 March and 年 1945 是阿拉伯聯盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2804-2804	天 17 and 月 February and 年 1989 是阿拉伯馬格里布聯盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2813-2813	天 27 and 月 April and 年 1976 是阿拉伯貨幣基金的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2819-2819	天 7 and 月 November and 年 1989 是亞太經濟合作的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2825-2825	天 19 and 月 December and 年 1966 是亞洲開發銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2831-2831	天 8 and 月 August and 年 1967 是東南亞國家聯盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2851-2851	天 1 and 月 September and 年 1951 是澳大利亞新西蘭美國安全條約的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2857-2857	天 20 and 月 January and 年 1930 是國際結算銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2863-2863	天 3 and 月 February and 年 1958 是比荷盧經濟聯盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2883-2883	天 25 and 月 June and 年 1992 是黑海經濟合作區的成立 date

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: