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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RecurrentTimeIntervalFn

 Sigma KEE - RecurrentTimeIntervalFn
RecurrentTimeIntervalFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2732-2735
No TPTP formula. May not be expressible in strict first order. Merge.kif 8448-8454
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1457-1461
No TPTP formula. May not be expressible in strict first order. Merge.kif 8444-8444 重复发生时间函数 的 1 数量 是 时距 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 8445-8445 重复发生时间函数 的 2 数量 是 时距 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 8442-8442 重复发生时间函数 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8443-8443 重复发生时间函数 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8441-8441 重复发生时间函数 是 时间关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8446-8446 重复发生时间函数 的所得值 是 时距 的 subclass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 653-653
No TPTP formula. May not be expressible in strict first order. english_format.kif 656-656
No TPTP formula. May not be expressible in strict first order. french_format.kif 393-393
No TPTP formula. May not be expressible in strict first order. relations-it.txt 245-245
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2123-2123
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 345-345
No TPTP formula. May not be expressible in strict first order. relations-de.txt 854-854
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 283-283
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 415-415
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 436-436
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 437-437
No TPTP formula. May not be expressible in strict first order. Merge.kif 6586-6586 间隔函数 和 重复发生时间函数 是 内部相关
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49034-49034
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 654-654
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49033-49033
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49032-49032

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8456-8463

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1666-1666 秋季 equal 从九月到十一月再次发生所需的时间
No TPTP formula. May not be expressible in strict first order. Geography.kif 1664-1664 春暖花开的季节 equal 从三月到五月再次发生所需的时间
No TPTP formula. May not be expressible in strict first order. Geography.kif 1665-1665 夏季 equal 从六月到八月再次发生所需的时间
No TPTP formula. May not be expressible in strict first order. Geography.kif 1667-1667 冬季 equal 从十二月到二月再次发生所需的时间


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