| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15774-15774 | Engineering component is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1166-1166 | Casing is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1181-1181 | Gun barrel is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1318-1318 | Gun trigger is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1393-1393 | Gun stock is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1409-1409 | Handle is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1467-1467 | Wing device is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1628-1628 | Drive component is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1730-1730 | Manifold is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1739-1739 | Switch device is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2890-2890 | Communication device is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3569-3569 | Wire spring is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3574-3574 | Wire line is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14716-14716 | Hinge is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15834-15834 | Engineering connection is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 730-730 | Mechanical device is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 735-735 | Fluid power device is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 777-777 | Rotor is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1113-1113 | Controller is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 930-930 | System Management Controller is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2522-2522 | Port is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2549-2549 | Plug is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2674-2674 | Cable is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 596-596 | Computer hardware is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 113-113 | Artificial satellite is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 288-288 | Broadcasting station is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 381-381 | Television receiver is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1376-1376 | Mechanical joint is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2192-2192 | Radiator is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2232-2232 | Flywheel is a subclass of engineering component |
|
|