No TPTP formula. May not be expressible in strict first order. | Merge.kif 16078-16078 | Engineering component is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1209-1209 | Casing is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1224-1224 | Gun barrel is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1361-1361 | Gun trigger is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1438-1438 | Gun stock is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1454-1454 | Handle is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1512-1512 | Wing device is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1673-1673 | Drive component is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1775-1775 | Manifold is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1784-1784 | Switch device is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2939-2939 | Communication device is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3617-3617 | Wire spring is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3622-3622 | Wire line is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15271-15271 | Hinge is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16138-16138 | Engineering connection is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 737-737 | Fluid power device is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 757-757 | Gear is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 762-762 | Gear train is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 767-767 | Gearbox is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 771-771 | Shaft is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 779-779 | Rotor is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 789-789 | Stator is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 906-906 | Fluid cylinder is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 912-912 | Valve is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1114-1114 | Controller is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 962-962 | System Management Controller is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2554-2554 | Port is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2581-2581 | Plug is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2706-2706 | 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 2198-2198 | Radiator is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2238-2238 | Flywheel is a subclass of engineering component |