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 993-993 |
Massachusetts encontra RhodeIsland |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49910-49910 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49909-49909 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49908-49908 |
|