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 15440-15447
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 15439-15439 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 1146-1146 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 2675-2675 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 2550-2550 Plug is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2523-2523 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 1609-1609 Drive component is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Merge.kif 15499-15499 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 1162-1162 Gun barrel is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1374-1374 Gun stock is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1299-1299 Gun trigger is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1390-1390 Handle is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14689-14689 Hinge is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1711-1711 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 15479-15479 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 15480-15480 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 15538-15538 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 15539-15539 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 15468-15468 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 15469-15469 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 2823-2823 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 15449-15454

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2704-2713
No TPTP formula. May not be expressible in strict first order. Merge.kif 15456-15464
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