No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 716-716 |
BerlinGermany est une instance de EuropeanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 720-720 |
BernSwitzerland est une instance de EuropeanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 843-843 |
CopenhagenDenmark est une instance de EuropeanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 69-69 |
LondonUnitedKingdom est une instance de EuropeanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 54-54 |
Paris est une instance de EuropeanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 778-778 |
RomeItaly est une instance de EuropeanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 801-801 |
WarsawPoland est une instance de EuropeanCity |
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 |
|