No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3148-3148 |
Albertsons 是 药店 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3134-3134 |
CVSHealth 是 药店 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3145-3145 |
KrogerCompany 是 药店 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3142-3142 |
RiteAid 是 药店 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3131-3131 |
WalgreensCompany 是 药店 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3139-3139 |
Walmart 是 药店 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20526-20526 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20525-20525 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20524-20524 |
|