| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2264-2264 | MajorAppliance e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2266-2266 | Refrigerator e' uma sub-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2267-2267 | Freezer e' uma sub-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2268-2268 | Stove e' uma sub-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2269-2269 | Oven e' uma sub-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2270-2270 | HotWaterHeater e' uma sub-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2271-2271 | ClothesWashingMachine e' uma sub-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2272-2272 | ClothesDryer e' uma sub-classe de MajorAppliance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2273-2273 | Dishwasher e' uma sub-classe de MajorAppliance |
|
|