| 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 9068-9068 | |
| 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 9066-9066 | 月 和 月函数 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9065-9065 | 月 是 时距 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8595-8595 | 月函数 的所得值 是 月 的 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 9122-9122 | A四月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9178-9178 | 八月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9235-9235 | 十二月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9084-9084 | 二月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9070-9070 | 一月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9164-9164 | 七月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9150-9150 | 六月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9108-9108 | 三月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9136-9136 | 五月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9221-9221 | 十一月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9207-9207 | 十月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9192-9192 | 九月 是 月 的 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 8611-8611 | 日函数 的 2 数量 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8593-8593 | 月函数 的 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 9485-9489 |
| 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 9481-9483 |
|
|
|