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 |
geographicSubregion HannoverGermany and Germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1776-1776 |
HannoverGermany est une instance de PortCity |