| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2271-2271 | MajorAppliance est une sous-classe de appareil |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2273-2273 | Refrigerator est une sous-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2274-2274 | Freezer est une sous-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2275-2275 | Stove est une sous-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2276-2276 | Oven est une sous-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2277-2277 | HotWaterHeater est une sous-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2278-2278 | ClothesWashingMachine est une sous-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2279-2279 | ClothesDryer est une sous-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2280-2280 | Dishwasher est une sous-classe de MajorAppliance |
|
|