No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 771-771 |
capitalCity ProvidenceRhodeIsland and RhodeIsland |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 772-773 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5449-5449 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5445-5445 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5447-5447 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5448-5448 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5446-5446 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5443-5443 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5160-5160 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5444-5444 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 770-770 |
ProvidenceRhodeIsland e' uma instancia de AmericanCity |