No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2027-2027 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4176-4176 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4187-4187 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4182-4182 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4191-4191 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4175-4175 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4178-4178 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4177-4177 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4185-4185 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4183-4183 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4188-4188 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4181-4181 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4186-4186 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4180-4180 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4184-4184 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4179-4179 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4190-4190 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3988-3988 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3202-3202 |
geographicSubregion MarseillesFrance and France |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2026-2026 |
MarseillesFrance e' uma instancia de Cidade |