DayDuration
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2579-2579 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7086-7086 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1286-1286 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7085-7085 | 一天长度 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7084-7084 | 一天长度 是 UnitOfDuration 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9268-9268 | 日 和 一天长度 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18654-18654 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18653-18653 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18652-18652 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9499-9503 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 611-617 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7123-7127 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7129-7133 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9109-9114 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9102-9107 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 538-547 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 473-482 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 559-568 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2744-2757 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9272-9274 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 580-582 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1579-1583 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9140-9142 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9196-9198 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9253-9255 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9088-9090 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9182-9184 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9168-9170 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9126-9128 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9154-9156 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9239-9241 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9225-9227 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9211-9213 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 455-457 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2940-2944 |
statement |
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. | WMD.kif 419-419 | 腺鼠疫 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1241-1243 | Covid19 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1911-1911 | 克里米亚刚果出血热 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1903-1903 | 白喉 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1519-1519 | 疱疹B 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1713-1713 | 日本脑炎 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 2047-2047 | Kyasanur森林病 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1743-1743 | 马尔堡病 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1580-1580 | 百日咳 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 424-424 | 肺鼠疫 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1602-1602 | 鹦鹉学舌 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1824-1824 | 轮状病毒肠胃炎 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1682-1682 | 圣路易斯脑炎 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1761-1761 | 猩红热 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1499-1499 | 破伤风 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7113-7115 | 1 周持续时间 equal 7 一天长度 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7140-7142 | 1 年持续时间 equal 365 一天长度 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7088-7090 | 实数 一天长度 equal 那个 实数 和 24 小时 |