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 8592-8597
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 8588-8588	域天, 1 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8589-8589	域子類天, 2 and Month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8586-8586	例天 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8587-8587	例天 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8585-8585	例天 and TemporalRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8590-8590	範圍子類天 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 9231-9231	相關的內部概念 Day and 天
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18660-18660
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 470-470
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18659-18659
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18658-18658
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 147-147

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24236-24246	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 612-617	天 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 619-625	天 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 23916-23932	持有期間 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 8722-8729	例 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 8731-8736	例 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 14837-14846	例 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 8603-8608	例 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 17206-17212	例 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 17218-17224	例 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 17194-17200	例 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 17182-17188	例 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 24195-24206	例 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 8599-8601	例 Entity and 天 PositiveInteger and Month 小於或等於 PositiveInteger and 31

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24236-24246	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 619-625	天 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 14837-14846	例 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 24195-24206	例 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 3192-3192	天 1 and 月 December and 年 1959 是南極條約的 agreement 採用日期
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3193-3193	例 ?D and 天 23 and 月 June and 年 1961 是南極條約的 agreement 生效日期
No TPTP formula. May not be expressible in strict first order.	Government.kif 2994-2994	天 31 and 月 March and 年 1994 是出口管制協調委員會的閉幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3009-3009	天 1 and 月 January and 年 1991 是共同經濟援助理事會的閉幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4145-4145	天 25 and 月 March and 年 1999 是聯合國預防性部署部隊的閉幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4285-4285	天 1 and 月 July and 年 1991 是華沙協議的閉幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2750-2750	天 6 and 月 June and 年 1975 是非洲加勒比和太平洋國家集團的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2757-2757	天 4 and 月 August and 年 1963 是非洲開發銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2771-2771	天 20 and 月 March and 年 1970 是法語社區的代理機構的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2778-2778	天 14 and 月 February and 年 1967 是在拉丁美洲和加勒比地區禁止核武器的機構的成立 date
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 2801-2801	天 23 and 月 June and 年 1961 是南極條約理事會的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2812-2812	天 18 and 月 February and 年 1974 是阿拉伯非洲經濟發展銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2818-2818	天 16 and 月 February and 年 1989 是阿拉伯合作理事會的成立 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 2833-2833	天 22 and 月 March and 年 1945 是阿拉伯聯盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2842-2842	天 17 and 月 February and 年 1989 是阿拉伯馬格里布聯盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2851-2851	天 27 and 月 April and 年 1976 是阿拉伯貨幣基金的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2857-2857	天 7 and 月 November and 年 1989 是亞太經濟合作的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2863-2863	天 19 and 月 December and 年 1966 是亞洲開發銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2869-2869	天 8 and 月 August and 年 1967 是東南亞國家聯盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2889-2889	天 1 and 月 September and 年 1951 是澳大利亞新西蘭美國安全條約的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2895-2895	天 20 and 月 January and 年 1930 是國際結算銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2901-2901	天 3 and 月 February and 年 1958 是比荷盧經濟聯盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2921-2921	天 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: