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 |
高原 是 土地形式 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4136-4136 |
高原 是 高地地区 的 subclass |