No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3148-3148 |
Albertsons est une instance de DrugStore |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3134-3134 |
CVSHealth est une instance de DrugStore |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3145-3145 |
KrogerCompany est une instance de DrugStore |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3142-3142 |
RiteAid est une instance de DrugStore |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3131-3131 |
WalgreensCompany est une instance de DrugStore |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3139-3139 |
Walmart est une instance de DrugStore |
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 |
|