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