| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2349-2349 | PotOrPan est une sous-classe de Container |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 871-871 | FrenchPressPot est une sous-classe de PotOrPan |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 907-907 | Aeropress est une sous-classe de PotOrPan |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 940-940 | MokaPot est une sous-classe de PotOrPan |
|
|