No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 68-68 |
capitalCity LondonUnitedKingdom and UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 70-71 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4150-4150 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4153-4153 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3984-3984 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4147-4147 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4148-4148 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4152-4152 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4154-4154 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4151-4151 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4771-4771 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4155-4155 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4149-4149 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3134-3134 |
geographicSubregion LondonUnitedKingdom and UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 67-67 |
LondonUnitedKingdom e' uma instancia de Cidade |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 69-69 |
LondonUnitedKingdom e' uma instancia de EuropeanCity |