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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Abstract

 Sigma KEE - RelativeTimeFn
RelativeTimeFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3841-3845
No TPTP formula. May not be expressible in strict first order. Merge.kif 17254-17259
No TPTP formula. May not be expressible in strict first order. Merge.kif 17251-17251 相对时间函数 的 1 数量 是 时间位置 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17252-17252 相对时间函数 的 2 数量 是 时区 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17248-17248 相对时间函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17249-17249 相对时间函数 是 时间关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17250-17250 相对时间函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17253-17253 相对时间函数 的 range 是 时间位置 的实例

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 596-596
No TPTP formula. May not be expressible in strict first order. english_format.kif 599-599
No TPTP formula. May not be expressible in strict first order. french_format.kif 358-358
No TPTP formula. May not be expressible in strict first order. relations-it.txt 251-251
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2101-2101
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 310-310
No TPTP formula. May not be expressible in strict first order. relations-de.txt 782-782
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 380-380
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 399-399
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49346-49346
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 597-597
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49345-49345
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49344-49344

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17228-17234
No TPTP formula. May not be expressible in strict first order. Merge.kif 17240-17246
No TPTP formula. May not be expressible in strict first order. Merge.kif 17216-17222
No TPTP formula. May not be expressible in strict first order. Merge.kif 17204-17210


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