No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5559-5559 |
headquartersOfOrganization Aetna and Connecticut |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 992-992 |
Massachusetts encontra Connecticut |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16656-16656 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16655-16655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16654-16654 |
|