| 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 16233-16240 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9183-9183 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8469-8469 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9184-9184 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16232-16232 | 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 4153-4153 | Furniture is disjoint from 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. | 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 1275-1275 | Casing is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3402-3402 | Communication device 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. | ComputingBrands.kif 2581-2581 | Plug 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. | engineering.kif 1427-1427 | Controller is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2136-2136 | Drive component is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16292-16292 | Engineering connection is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1219-1219 | Fluid cylinder is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 736-736 | Fluid power device is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2216-2216 | Flywheel is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 756-756 | Gear is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 816-816 | Gear tooth is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 887-887 | Gear train is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 892-892 | Gearbox is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1290-1290 | Gun barrel is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1655-1655 | Gun stock is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1578-1578 | Gun trigger is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1401-1401 | Gun stock is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1671-1671 | Handle 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 16272-16272 | 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 16273-16273 | 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 16335-16335 | 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 16336-16336 | 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 16261-16261 | 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 16262-16262 | 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 2854-2854 | The number 2 argument of protocol for connector is a subclass of engineering component |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16242-16247 |
|
| consequent |
|
|
|
|
|