|
|
   ConsecutiveTimeIntervalList
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1908-1909 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1906-1907 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1910-1910 | 连续时间间隔表列 是 串列 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1941-1941 | 时间间隔表列 的 range 是 连续时间间隔表列 的实例 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10394-10394 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10393-10393 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1918-1927 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1912-1916 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1944-1947 |
|
|
|
|