No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2349-2349 | 锅或杅 是 容器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 871-871 | FrenchPressPot 是 锅或杅 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 907-907 | Aeropress 是 锅或杅 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 940-940 | MokaPot 是 锅或杅 的 subclass |