| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2271-2271 | Major appliance is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2273-2273 | Refrigerator is a subclass of major appliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2274-2274 | Freezer is a subclass of major appliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2275-2275 | Stove is a subclass of major appliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2276-2276 | Oven is a subclass of major appliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2277-2277 | Hot water heater is a subclass of major appliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2278-2278 | Clothes washing machine is a subclass of major appliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2279-2279 | Clothes dryer is a subclass of major appliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2280-2280 | Dishwasher is a subclass of major appliance |
|
|