No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 954-954 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5276-5276 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5277-5277 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5278-5278 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5126-5126 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 952-952 |
Indiana 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 953-953 |
Indiana 接上 伊利诺伊 |