No TPTP formula. May not be expressible in strict first order. | Merge.kif 16041-16041 | Machine is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1954-1954 | Vending machine is a subclass of machine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25511-25511 | Ice machine is a subclass of machine |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 742-742 | Motor is a subclass of machine |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5986-5986 | Lathe is a subclass of machine |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6013-6013 | Planer is a subclass of machine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1190-1190 | Generator is a subclass of machine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2045-2045 | Air conditioning condenser is a subclass of machine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2069-2069 | Air conditioning evaporator is a subclass of machine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5168-5168 | Compressor is a subclass of machine |