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