No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 716-716 |
Berlin germany is an instance of european city |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 720-720 |
Bern switzerland is an instance of european city |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 843-843 |
Copenhagen denmark is an instance of european city |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 69-69 |
London is an instance of european city |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 54-54 |
Paris is an instance of european city |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 778-778 |
Rome italy is an instance of european city |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 801-801 |
Warsaw poland is an instance of european city |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22546-22546 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22545-22545 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22544-22544 |
|