HourDuration(小时) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2580-2580 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7093-7093 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1287-1287 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7092-7092 | 小时 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7091-7091 | 小时 是 UnitOfDuration 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9364-9364 | 小时 和 小时 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28701-28701 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28700-28700 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28699-28699 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3929-3937 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1698-1704 | 函数量 equal 实数 英里每小時 若且唯若 那个 函数量 equal 那个 实数 英里 除以 1 小时 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3939-3945 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1626-1638 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9368-9370 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1105-1119 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2623-2636 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2936-2951 |
statement |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1141-1141 | 炭疽病 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 336-336 | 肉毒中毒 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7087-7089 | 实数 一天长度 equal 那个 实数 和 24 小时 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7095-7097 | 实数 小时 equal 那个 实数 和 60 分钟 |