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 15902-15909
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 15901-15901 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 3673-3673 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 1176-1176 Casing is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2902-2902 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 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 15961-15961 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 15115-15115 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 15941-15941 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 15942-15942 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 16005-16005 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 16006-16006 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 15930-15930 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 15931-15931 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 15911-15916

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 15918-15926
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