| (subclass Machine Device) | Merge.kif 16041-16041 | Machine is a subclass of device |
| (subclass VendingMachine Machine) | Mid-level-ontology.kif 1954-1954 | Vending machine is a subclass of machine |
| (subclass IceMachine Machine) | Mid-level-ontology.kif 25511-25511 | Ice machine is a subclass of machine |
| (subclass Motor Machine) | engineering.kif 742-742 | Motor is a subclass of machine |
| (subclass Lathe Machine) | Economy.kif 5986-5986 | Lathe is a subclass of machine |
| (subclass Planer Machine) | Economy.kif 6013-6013 | Planer is a subclass of machine |
| (subclass Generator Machine) | Cars.kif 1190-1190 | Generator is a subclass of machine |
| (subclass AirConditioningCondenser Machine) | Cars.kif 2045-2045 | Air conditioning condenser is a subclass of machine |
| (subclass AirConditioningEvaporator Machine) | Cars.kif 2069-2069 | Air conditioning evaporator is a subclass of machine |
| (subclass GasCompressor Machine) | Cars.kif 5168-5168 | Compressor is a subclass of machine |
|
|