Month
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2794-2794 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9046-9046 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1535-1535 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9044-9044 | 月 和 月函数 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9043-9043 | 月 是 时距 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8573-8573 | 月函数 的所得值 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 113-113 | Dhu al hijjah 和 月 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9100-9100 | A四月 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9156-9156 | 八月 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9213-9213 | 十二月 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9062-9062 | 二月 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9048-9048 | 一月 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9142-9142 | 七月 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9128-9128 | 六月 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9086-9086 | 三月 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9114-9114 | 五月 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9199-9199 | 十一月 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9185-9185 | 十月 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9170-9170 | 九月 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1276-1276 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1769-1769 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 954-954 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 489-489 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 493-493 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2638-2638 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 906-906 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 495-495 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 529-529 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 975-975 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1306-1306 | 期间平均降雨量 的 2 数量 是 月 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8589-8589 | 日函数 的 2 数量 是 月 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8571-8571 | 月函数 的 1 数量 是 月 的 subclass |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1522-1530 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1370-1377 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1419-1425 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1316-1323 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1575-1582 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 759-775 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 498-506 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9463-9467 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3283-3288 | 人类 有 monthly income 货币测量 若且唯若 有存在 时距 这样 那个 时距 是 月 的 instance 和 那个 人类 对于 那个 时距 income 那个 货币测量 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 587-597 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1533-1541 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1566-1573 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1379-1386 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1409-1416 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1428-1443 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1285-1298 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1325-1332 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9459-9461 |