WinterSeason(冬季) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19143-19144 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1667-1667 | 冬季 equal 从十二月到二月再次发生所需的时间 |
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 19142-19142 | 冬季 是 一年的季节 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19132-19132 | 一年的季节 详尽无遗地 partition 成 冬季, 春暖花开的季节, 夏季, 和 秋季 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63213-63213 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63212-63212 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63211-63211 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19153-19158 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19146-19151 |
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 19209-19214 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1340-1350 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19173-19178 |