No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4137-4138 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 731-731 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 732-732 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1215-1215 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 730-730 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4135-4135 |
子類 高原 and 土地形式 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4136-4136 |
子類 高原 and 高地地區 |