Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - YearFn
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
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 357-390 and EAR 等於 GeopoliticalAreamale 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
No TPTP formula. May not be expressible in strict first order. People.kif 82-97 and Integer 等於 GeopoliticalArea 每一千的 births and RealNumber 等於 GeopoliticalAreapopulation and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Birth 體驗者 SymbolicString and entity entity and Human 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order. People.kif 118-133 and Integer 等於 GeopoliticalArea 每一千裡的 deaths and RealNumber 等於 GeopoliticalAreapopulation and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Death 體驗者 SymbolicString and entity entity and Human 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order. People.kif 238-264 and Integer 等於 GeopoliticalArea 每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and SymbolicString and Birth 體驗者 SymbolicString and entity entity and Human 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數 卡帕 SymbolicString and SymbolicString and Death 體驗者 SymbolicString and entity entity and Human 年齡 entity and 測量 entity and 年持續時間 少於 entity and 1 期間 何時 SymbolicString and 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 entityDEATHCOUNT and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 and Integer 等於 GeopoliticalAreafemale 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 and Integer 等於 GeopoliticalArea 的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
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 等於 GeopoliticalAreapopulation 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 等於 GeopoliticalAreapopulation 成長 and RealNumber 等於 減法 Integer and IntegerP and 1 TimePosition and IntegerP 持有期間 and 等於 GeopoliticalAreapopulation and RealNumber 持有期間 TimePosition and 等於 GeopoliticalAreapopulation 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 24236-24246
No TPTP formula. May not be expressible in strict first order. Media.kif 1936-1941
No TPTP formula. May not be expressible in strict first order. Government.kif 612-617
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. Media.kif 1943-1948
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23916-23932
No TPTP formula. May not be expressible in strict first order. Merge.kif 8722-8729
No TPTP formula. May not be expressible in strict first order. Merge.kif 8731-8736
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. Merge.kif 9001-9009
No TPTP formula. May not be expressible in strict first order. Merge.kif 8706-8713
No TPTP formula. May not be expressible in strict first order. Merge.kif 8715-8720
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. Merge.kif 8980-8985
No TPTP formula. May not be expressible in strict first order. Media.kif 1959-1963
No TPTP formula. May not be expressible in strict first order. Merge.kif 17206-17212

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. People.kif 156-187 and Integer 等於 GeopoliticalArea 每一千的 migrants and RealNumber 等於 減法 Integer and Integer and 1 Entity and Integer 持有期間 and 等於 GeopoliticalAreapopulation 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 等於 GeopoliticalAreapopulation 成長 and RealNumber 等於 減法 Integer and IntegerP and 1 TimePosition and IntegerP 持有期間 and 等於 GeopoliticalAreapopulation and RealNumber 持有期間 TimePosition and 等於 GeopoliticalAreapopulation 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 Organizationyear 資金 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


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