No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7764-7764 | 子類 零售店 and 商業組織 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7800-7800 | 子類 藥店 and 零售店 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7813-7813 | 子類 雜貨店 and 零售店 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1678-1678 | 子類 BookStore and 零售店 |