No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 775-775 |
capitalCity RichmondVirginia and Virginia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 776-777 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5469-5469 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5473-5473 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5472-5472 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5166-5166 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5470-5470 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5468-5468 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5474-5474 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 774-774 |
RichmondVirginia est une instance de AmericanCity |