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