| WinterSeason(冬季)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19170-19171 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1667-1667 | 等於 冬季 and 經常性時間間隔 December and February |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4951-4951 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5095-5095 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5097-5097 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5096-5096 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19169-19169 | 子類 冬季 and 一年的季節 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19159-19159 | 劃分 一年的季節, 冬季, 春暖花開的季節, 夏季 and 秋季 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63215-63215 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63214-63214 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63213-63213 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19180-19185 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19173-19178 |
|
| consequent |
|
|
| 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 1474-1476 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1452-1454 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1460-1462 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1489-1491 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19236-19241 |
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1341-1351 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19200-19205 |
|
|
|
|