No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5190-5190 |
Walmart est une instance de RetailStore |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1678-1678 |
BookStore est une sous-classe de RetailStore |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7828-7828 |
DrugStore est une sous-classe de RetailStore |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7841-7841 |
GroceryStore est une sous-classe de RetailStore |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49816-49816 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49815-49815 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49814-49814 |
|