No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5559-5559 |
Aetna 的 headquarters 是在 康涅狄格 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 992-992 |
空間的符合 馬薩諸塞 and 康涅狄格 |
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 |
|