No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5712-5712 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5716-5716 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5713-5713 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5715-5715 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5714-5714 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5600-5600 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2670-2670 |
博斯普鲁斯海峡火鸡 是 火鸡 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2669-2669 |
博斯普鲁斯海峡火鸡 是 地理区域 的 instance |