|
|
   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 | 相關的內部概念 Month and 月 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9065-9065 | 子類 Month and TimeInterval |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8595-8595 | 範圍子類 月 and Month |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 113-113 | 相關的內部概念 dhu al hijjah and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9122-9122 | 子類 April and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9178-9178 | 子類 August and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9235-9235 | 子類 December and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9084-9084 | 子類 February and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9070-9070 | 子類 January and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9164-9164 | 子類 July and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9150-9150 | 子類 June and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9108-9108 | 子類 March and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9136-9136 | 子類 May and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9221-9221 | 子類 November and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9207-9207 | 子類 October and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9192-9192 | 子類 September and Month |
| 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 and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8611-8611 | 域子類 天, 2 and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8593-8593 | 域子類 月, 1 and Month |
| 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 | Human 有 monthly income CurrencyMeasure TimeInterval 例 TimeInterval and Month Human 對於 TimeInterval income CurrencyMeasure |
| 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 |
|
|
|
|