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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DayFn

Sigma KEE - DayFn
DayFn

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 数量 是 正整数instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8589-8589 日函数 的 2 数量 是 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 8586-8586 日函数二元函数instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8587-8587 日函数部分值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8585-8585 日函数时间关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8590-8590 日函数 的所得值 是 subclass

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 日函数 是 内部相关
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
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. 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 8603-8608
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 17206-17212
No TPTP formula. May not be expressible in strict first order. Merge.kif 17218-17224
No TPTP formula. May not be expressible in strict first order. Merge.kif 17194-17200
No TPTP formula. May not be expressible in strict first order. Merge.kif 17182-17188
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. Merge.kif 8599-8601

consequent
-------------------------


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

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3192-3192 1 Day南极条约agreement 采用日期
No TPTP formula. May not be expressible in strict first order. Geography.kif 3193-3193 ?D 是 23 Dayinstance南极条约agreement 生效日期
No TPTP formula. May not be expressible in strict first order. Government.kif 2994-2994 31 Day出口管制协调委员会 的闭幕 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3009-3009 1 Day共同经济援助理事会 的闭幕 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4145-4145 25 Day联合国预防性部署部队 的闭幕 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4285-4285 1 Day华沙协议 的闭幕 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2750-2750 6 Day非洲加勒比和太平洋国家集团 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2757-2757 4 Day非洲开发银行 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2771-2771 20 Day法语社区的代理机构 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2778-2778 14 Day在拉丁美洲和加勒比地区禁止核武器的机构 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2796-2796 26 Day安第斯国际社会 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2801-2801 23 Day南极条约理事会 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2812-2812 18 Day阿拉伯非洲经济发展银行 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2818-2818 16 Day阿拉伯合作理事会 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2824-2824 16 Day阿拉伯经济和社会发展基金 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2833-2833 22 Day阿拉伯联盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2842-2842 17 Day阿拉伯马格里布联盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2851-2851 27 Day阿拉伯货币基金 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2857-2857 7 Day亚太经济合作 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2863-2863 19 Day亚洲开发银行 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2869-2869 8 Day东南亚国家联盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2889-2889 1 Day澳大利亚新西兰美国安全条约 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2895-2895 20 Day国际结算银行 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2901-2901 3 Day比荷卢经济联盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2921-2921 25 Day黑海经济合作区 的成立 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)

Show without tree


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