No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1631-1631 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8427-8427 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9083-9083 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9088-9088 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9084-9084 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9085-9085 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9089-9089 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9090-9090 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2740-2740 |
哥伦比亚巴拿马 是 巴拿马 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1630-1630 |
哥伦比亚巴拿马 是 城市 的 instance |