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 14938-14945
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9189-9189
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8473-8473
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9190-9190
No TPTP formula. May not be expressible in strict first order. Merge.kif 14937-14937 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 1147-1147 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 2665-2665 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 2540-2540 Plug is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2513-2513 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 1610-1610 Drive component is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Merge.kif 14997-14997 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 2246-2246 Flywheel is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1163-1163 Gun barrel is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1375-1375 Gun stock is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1300-1300 Gun trigger is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1391-1391 Handle is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12004-12004 Hinge is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1712-1712 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 1390-1390 Mechanical joint is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Cars.kif 2206-2206 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 14977-14977 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 14978-14978 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 15036-15036 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 15037-15037 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 14966-14966 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 14967-14967 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 2813-2813 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 14947-14952

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2694-2703
No TPTP formula. May not be expressible in strict first order. Merge.kif 14954-14962
No TPTP formula. May not be expressible in strict first order. Cars.kif 1395-1411


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