No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 56-56 |
capitalCity Paris and France |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 57-57 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4227-4227 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4223-4223 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4225-4225 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1000-1000 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4221-4221 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4222-4222 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4230-4230 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4233-4233 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4220-4220 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4226-4226 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4229-4229 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4791-4791 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4224-4224 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4232-4232 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3383-3383 |
geographicSubregion Paris and France |
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 55-55 |
Paris est une partie de France |