No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 844-844 |
丹麥 是 哥本哈根丹麥 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 845-846 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4109-4109 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4113-4113 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4631-4631 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4111-4111 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3974-3974 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4112-4112 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4110-4110 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4108-4108 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2748-2748 |
哥本哈根丹麥 是 丹麥 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 843-843 |
例 哥本哈根丹麥 and 歐洲城市 |