Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  EngineeringComponent

Sigma KEE - EngineeringComponent
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 16057-16064
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. pictureList.kif 8470-8470
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9185-9185
No TPTP formula. May not be expressible in strict first order. Merge.kif 16056-16056 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 3710-3710 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 1209-1209 Casing 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. 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 1114-1114 Controller 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. Merge.kif 16116-16116 Engineering connection 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 737-737 Fluid power device 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
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. 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 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 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 1454-1454 Handle is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15272-15272 Hinge 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

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 16096-16096 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 16097-16097 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 16160-16160 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 16161-16161 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 16085-16085 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 16086-16086 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 64-64 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 16066-16071

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2735-2744
No TPTP formula. May not be expressible in strict first order. Merge.kif 16073-16081
No TPTP formula. May not be expressible in strict first order. Cars.kif 1381-1397


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners