No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 771-771 |
羅德島 是 天意羅德島 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 772-773 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5449-5449 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5445-5445 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5447-5447 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5448-5448 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5446-5446 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5443-5443 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5160-5160 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5444-5444 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 770-770 |
例 天意羅德島 and 美國城市 |