No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3148-3148 |
例 Albertsons and 藥店 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3134-3134 |
例 CVSHealth and 藥店 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3145-3145 |
例 KrogerCompany and 藥店 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3142-3142 |
例 RiteAid and 藥店 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3131-3131 |
例 WalgreensCompany and 藥店 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3139-3139 |
例 Walmart and 藥店 |
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 |
|