DayFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2760-2763
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8634-8639
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1488-1492
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8630-8630	域天, 1 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8631-8631	域子類天, 2 and Month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8628-8628	例天 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8629-8629	例天 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8627-8627	例天 and TemporalRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8632-8632	範圍子類天 and Day

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 469-469
No TPTP formula. May not be expressible in strict first order.	english_format.kif 475-475
No TPTP formula. May not be expressible in strict first order.	french_format.kif 271-271
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 65-65
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2061-2061
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 223-223
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 99-99
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 277-277
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 612-612
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 106-106
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 292-292
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 298-298
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 146-146
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9273-9273	相關的內部概念 Day and 天
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18675-18675	相關的內部概念 Day and 天
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 470-470	相關的內部概念 Day and 天
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18674-18674	相關的內部概念 Day and 天
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18673-18673	相關的內部概念 Day and 天
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 190-190	相關的內部概念 Day and 天
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 147-147	相關的內部概念 Day 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 8645-8650	例 TimeInterval and 天 PositiveInteger and Month 例 TimeInterval and 天 PositiveInteger and Month 等於減法 PositiveInteger and PositiveInteger and 1 短暫相遇 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 17302-17308	例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 等於相對時間 TimePosition and 中央時區 and TimePosition 等於 NonnegativeInteger and 加成 NonnegativeInteger and 6
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17314-17320	例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 等於相對時間 TimePosition and 東部時區 and TimePosition 等於 NonnegativeInteger and 加成 NonnegativeInteger and 5
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17290-17296	例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 例 MonthST and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 等於相對時間 TimePosition and 山區時區 and MonthST 等於 NonnegativeInteger and 加成 NonnegativeInteger and 7
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17278-17284	例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 例 TimePosition and 小時 NonnegativeInteger and 天 PositiveInteger and 月 Month and 年 Integer 等於相對時間 TimePosition and 太平洋時區 and TimePosition 等於 NonnegativeInteger and 加成 NonnegativeInteger and 8
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.	Merge.kif 8641-8643	例 Entity and 天 PositiveInteger and Month 小於或等於 PositiveInteger and 31

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

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: