| EngineeringComponent(engineering component)
| | 4WD, AND_circuit, AND_gate, CPU_board, Clark_cell, Clark_standard_cell, DNA_chip, Francis_turbine, I-beam, JDAM, Joint_Direct_Attack_Munition, Kerr_cell, Leclanche_cell, NAND_circuit, NAND_gate, OLED, OR_circuit, OR_gate, PC_board, PWR, T-junction, T_hinge, Weston_cell, X-OR_circuit, X-ray_tube, XOR_circuit, XOR_gate, accumulator, accumulator_register, action, action_mechanism, add-in, anodal, anode, anodic, arbor, audio, auto_part, auxiliary_boiler, auxiliary_engine, ax_head, axe_head, axis, axis_of_rotation, axle_bar, axletree, back-geared, backspace, backspace_key, backspacer... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3636-3639 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14938-14945 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9189-9189 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8473-8473 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9190-9190 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14937-14937 | Engineering component is a subclass of device |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3643-3643 | Furniture is disjoint from engineering component |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 931-931 | System Management Controller 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. | Mid-level-ontology.kif 1147-1147 | Casing is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2871-2871 | Communication device is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2665-2665 | Cable is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 624-624 | Computer hardware is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2540-2540 | Plug is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2513-2513 | Port 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. | Mid-level-ontology.kif 1610-1610 | Drive component is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14997-14997 | Engineering connection 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. | Cars.kif 2246-2246 | Flywheel is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1163-1163 | Gun barrel is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1375-1375 | Gun stock is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1300-1300 | Gun trigger is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1391-1391 | Handle is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12004-12004 | Hinge is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1712-1712 | Manifold 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. | Cars.kif 1390-1390 | Mechanical joint is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2206-2206 | Radiator 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 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14977-14977 | The number 1 argument of connected engineering components is an instance of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14978-14978 | The number 2 argument of connected engineering components is an instance of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15036-15036 | The number 2 argument of connects engineering components is an instance of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15037-15037 | The number 3 argument of connects engineering components is an instance of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14966-14966 | The number 1 argument of engineering subcomponent is an instance of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14967-14967 | The number 2 argument of engineering subcomponent is an instance of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 63-63 | The number 2 argument of models is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2813-2813 | The number 2 argument of protocolForConnector is a subclass of engineering component |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14947-14952 |
|
| consequent |
|
|
|
|
|