No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1967-1967 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3983-3983 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4146-4146 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3130-3130 |
geographicSubregion LockerbieUnitedKingdom and UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1966-1966 |
LockerbieUnitedKingdom e' uma instancia de Cidade |