No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2349-2349 | Pot or pan is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Food.kif 871-871 | French press is a subclass of pot or pan |
No TPTP formula. May not be expressible in strict first order. | Food.kif 907-907 | Aeropress is a subclass of pot or pan |
No TPTP formula. May not be expressible in strict first order. | Food.kif 940-940 | Moka Pot is a subclass of pot or pan |