No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1777-1777 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3521-3521 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3517-3517 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3520-3520 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3519-3519 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3518-3518 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3332-3332 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3516-3516 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2905-2905 |
漢諾威德國 是 德國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1776-1776 |
例 漢諾威德國 and 港口城市 |