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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15803-15810
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. pictureList.kif 8471-8471
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9186-9186
No TPTP formula. May not be expressible in strict first order. Merge.kif 15802-15802 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 3671-3671 Furniture is disjoint from engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 930-930 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 1176-1176 Casing is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2900-2900 Communication device is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2674-2674 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 2549-2549 Plug is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2522-2522 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 1638-1638 Drive component is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Merge.kif 15862-15862 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 2232-2232 Flywheel is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1191-1191 Gun barrel is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1403-1403 Gun stock is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1328-1328 Gun trigger is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1419-1419 Handle is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14791-14791 Hinge is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1738-1738 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 1376-1376 Mechanical joint is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Cars.kif 2192-2192 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 15842-15842 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 15843-15843 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 15906-15906 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 15907-15907 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 15831-15831 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 15832-15832 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 2822-2822 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 15812-15817

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2703-2712
No TPTP formula. May not be expressible in strict first order. Merge.kif 15819-15827
No TPTP formula. May not be expressible in strict first order. Cars.kif 1381-1397


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



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