YearFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2749-2753 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8558-8566 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1475-1480 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8555-8555 | 域 年, 1 and Integer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8552-8552 | 例 年 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8554-8554 | 例 年 and TotalValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8553-8553 | 例 年 and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8556-8556 | 範圍子類 年 and 年 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 465-465 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 471-471 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 269-269 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 317-317 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2059-2059 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 221-221 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 275-275 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 608-608 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 351-351 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 290-290 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 296-296 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 509-509 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8739-8739 | 相關的內部概念 年 and 年 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63757-63757 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 466-466 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63756-63756 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63755-63755 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | People.kif 156-187 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每一千的 migrants and RealNumber 等於 減法 Integer and Integer and 1 例 Entity and 年 Integer 持有期間 年 and 等於 GeopoliticalArea 的 population and RealNumber 等於 部 RealNumber and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 年 and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 年 and 棲息 SymbolicString and GeopoliticalArea 等於 減法 Integer and Integer and RealNumber 等於 部 RealNumber and RealNumber and RealNumber |
No TPTP formula. May not be expressible in strict first order. | People.kif 52-64 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 的 population 成長 and RealNumber 等於 減法 Integer and IntegerP and 1 例 TimePosition and 年 IntegerP 持有期間 年 and 等於 GeopoliticalArea 的 population and RealNumber 持有期間 TimePosition and 等於 GeopoliticalArea 的 population and RealNumber 等於 部 RealNumber and RealNumber and RealNumber 等於 減法 RealNumber and 1 and RealNumber |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 968-975 | Integer 是 Organization 的 year 資金 Process IntegerEAR 暫時重疊 何時 Process and IntegerEAR 例 IntegerEAR and 年 Integer 例 Process and 創建 結果 Process and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24236-24246 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 619-625 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14837-14846 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 69-85 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 99-115 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24195-24206 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3003-3011 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 960-963 |
|
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. | People.kif 456-469 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每個女人生的 children and 基數 卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女 持有期間 年 and 棲息 entity and GeopoliticalArea |
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 2877-2877 | 年 1994 是 東盟區域論壇 的成立 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 2883-2883 | 年 1984 是 澳大利亞集團 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2889-2889 | 天 1 and 月 September and 年 1951 是 澳大利亞新西蘭美國安全條約 的成立 date |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |