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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RelativeTimeFn

 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 17232-17237
No TPTP formula. May not be expressible in strict first order. Merge.kif 17229-17229 相对时间函数 的 1 数量 是 时间位置 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17230-17230 相对时间函数 的 2 数量 是 时区 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17226-17226 相对时间函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17227-17227 相对时间函数 是 时间关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17228-17228 相对时间函数 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17231-17231 相对时间函数 的 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 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


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