No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1557-1557 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8381-8381 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8988-8988 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8989-8989 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8993-8993 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8990-8990 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8991-8991 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5659-5659 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8992-8992 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3595-3595 |
吉尔吉斯首都比什凯克 是 中国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1556-1556 |
吉尔吉斯首都比什凯克 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3594-3594 |
吉尔吉斯首都比什凯克 是 地理区域 的 instance |