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 |
|