TreeView 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 8597-8605
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 8593-8593	域子類月, 1 and Month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8594-8594	域子類月, 2 and 年
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8591-8591	例月 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8592-8592	例月 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8590-8590	例月 and TemporalRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8595-8595	範圍子類月 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 9066-9066	相關的內部概念 Month and 月
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38487-38487
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 468-468
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38486-38486
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38485-38485
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 374-374

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24235-24245	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 23915-23931	持有期間 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 8744-8751	例 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 8753-8758	例 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 14836-14845	例 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 8728-8735	例 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 8737-8742	例 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 9095-9100	例 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 9088-9093	例 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 9130-9134	例 TimeInterval and 月 April and 年例 TimeInterval and 月 May and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9186-9190	例 TimeInterval and 月 August and 年例 TimeInterval and 月 September and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9243-9250	例 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 9102-9106	例 TimeInterval and 月 February and 年例 TimeInterval and 月 March and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9078-9082	例 TimeInterval and 月 January and 年例 TimeInterval and 月 February and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9172-9176	例 TimeInterval and 月 July and 年例 TimeInterval and 月 August and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9158-9162	例 TimeInterval and 月 June and 年例 TimeInterval and 月 July and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9116-9120	例 TimeInterval and 月 March and 年例 TimeInterval and 月 April and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9144-9148	例 TimeInterval and 月 May and 年例 TimeInterval and 月 June and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9229-9233	例 TimeInterval and 月 November and 年例 TimeInterval and 月 December and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9215-9219	例 TimeInterval and 月 October and 年例 TimeInterval and 月 November and 年短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9201-9205	例 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 24235-24245	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 14836-14845	例 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 24194-24205	例 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 3003-3011	持有期間 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 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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: