|
|
   PolarClimateZone
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1560-1563 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2512-2512 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1558-1558 | 子類 極地氣候區 and 氣候區 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4681-4681 | attribute 南部海洋 and 極地氣候區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1591-1591 | 子類 極地型F氣候區 and 極地氣候區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1584-1584 | 子類 苔原氣候帶 and 極地氣候區 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46380-46380 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46379-46379 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46378-46378 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1566-1573 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1575-1582 |
|
|
|
|
