| 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 16184-16191 | |
| 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 16183-16183 | 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 4179-4179 | 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 1274-1274 | Casing is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3408-3408 | 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 2142-2142 | Drive component is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16243-16243 | 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 1289-1289 | Gun barrel is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1661-1661 | Gun stock is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1584-1584 | Gun trigger is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1400-1400 | Gun stock is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1677-1677 | 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 16223-16223 | 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 16224-16224 | 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 16286-16286 | 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 16287-16287 | 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 16212-16212 | 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 16213-16213 | 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 16193-16198 |
|
| consequent |
|
|
|
|
|