No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1495-1495 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5708-5708 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5701-5701 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5702-5702 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5597-5597 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5707-5707 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5709-5709 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2594-2594 |
巴庫阿塞拜疆 是 阿塞拜疆 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1494-1494 |
例 巴庫阿塞拜疆 and City |