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


s__documentation(s__EngineeringComponent,s__ChineseLanguage,'"这是一个可以应用于多个工程领域的基本概念。 EngineeringComponent 是一件 Device 完整一体的元件,就像在商品目录上陈列的标准部件。 EngineeringComponent 和一团随意凑合的物质的主要区别在于,EngineeringComponent 是像模型的物件。 所以 EngineeringComponent 不是一个任意的分区,而是一个有稳定身份系统的一部分。"')

chinese_format.kif 3636-3639
s__documentation(s__EngineeringComponent,s__EnglishLanguage,'"A fundamental concept that applies in many engineering domains. An EngineeringComponent is an element of a Device that is a physically whole object, such as one might see listed as standard parts in a catalog. The main difference betweeen EngineeringComponents and arbitrary globs of matter is that EngineeringComponents are object-like in a modeling sense. Thus, an EngineeringComponent is not an arbtrary subregion, but a part of a system with a stable identity."')

Merge.kif 15286-15293
s__externalImage(s__EngineeringComponent,'"http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ Splitter-bbae-eci.jpg"')

pictureList.kif 9188-9188
s__externalImage(s__EngineeringComponent,'"http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ Dampfturbine_Montage01.jpg"')

pictureList.kif 8472-8472
s__externalImage(s__EngineeringComponent,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 5/ 55/ PCB_Thomson_Speedtouch_516i.jpg/ 800px-PCB_Thomson_Speedtouch_516i.jpg"')

pictureList.kif 9189-9189
s__instance(s__Device,s__SetOrClass)

s__subclass(s__EngineeringComponent,s__Device)

s__instance(s__EngineeringComponent,s__SetOrClass)

Merge.kif 15285-15285 Engineering component is a subclass of device

appearance as argument number 2
-------------------------


s__disjoint(s__Furniture,s__EngineeringComponent)

Mid-level-ontology.kif 3643-3643 Furniture is disjoint from engineering component
s__subclass(s__AppleSystemManagementController,s__EngineeringComponent)

s__instance(s__AppleSystemManagementController,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

ComputingBrands.kif 931-931 System Management Controller is a subclass of engineering component
s__subclass(s__ArtificialSatellite,s__EngineeringComponent)

s__instance(s__ArtificialSatellite,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

Communications.kif 113-113 Artificial satellite is a subclass of engineering component
s__instance(s__BroadcastingStation,s__SetOrClass)

s__subclass(s__BroadcastingStation,s__EngineeringComponent)

s__instance(s__EngineeringComponent,s__SetOrClass)

Communications.kif 288-288 Broadcasting station is a subclass of engineering component
s__instance(s__CartridgeCase,s__SetOrClass)

s__subclass(s__CartridgeCase,s__EngineeringComponent)

s__instance(s__EngineeringComponent,s__SetOrClass)

Mid-level-ontology.kif 1147-1147 Casing is a subclass of engineering component
s__subclass(s__CommunicationDevice,s__EngineeringComponent)

s__instance(s__EngineeringComponent,s__SetOrClass)

s__instance(s__CommunicationDevice,s__SetOrClass)

Mid-level-ontology.kif 2871-2871 Communication device is a subclass of engineering component
s__subclass(s__ComputerCable,s__EngineeringComponent)

s__instance(s__ComputerCable,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

ComputingBrands.kif 2665-2665 Cable is a subclass of engineering component
s__instance(s__ComputerHardware,s__SetOrClass)

s__subclass(s__ComputerHardware,s__EngineeringComponent)

s__instance(s__EngineeringComponent,s__SetOrClass)

ComputerInput.kif 624-624 Computer hardware is a subclass of engineering component
s__instance(s__ComputerPlug,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

s__subclass(s__ComputerPlug,s__EngineeringComponent)

ComputingBrands.kif 2540-2540 Plug is a subclass of engineering component
s__instance(s__ComputerPort,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

s__subclass(s__ComputerPort,s__EngineeringComponent)

ComputingBrands.kif 2513-2513 Port is a subclass of engineering component
s__instance(s__Controller,s__SetOrClass)

s__subclass(s__Controller,s__EngineeringComponent)

s__instance(s__EngineeringComponent,s__SetOrClass)

engineering.kif 1113-1113 Controller is a subclass of engineering component
s__subclass(s__DriveComponent,s__EngineeringComponent)

s__instance(s__DriveComponent,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

Mid-level-ontology.kif 1610-1610 Drive component is a subclass of engineering component
s__instance(s__EngineeringConnection,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

s__subclass(s__EngineeringConnection,s__EngineeringComponent)

Merge.kif 15345-15345 Engineering connection is a subclass of engineering component
s__instance(s__FluidPowerDevice,s__SetOrClass)

s__subclass(s__FluidPowerDevice,s__EngineeringComponent)

s__instance(s__EngineeringComponent,s__SetOrClass)

engineering.kif 735-735 Fluid power device is a subclass of engineering component
s__subclass(s__Flywheel,s__EngineeringComponent)

s__instance(s__Flywheel,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

Cars.kif 2246-2246 Flywheel is a subclass of engineering component
s__instance(s__GunBarrel,s__SetOrClass)

s__subclass(s__GunBarrel,s__EngineeringComponent)

s__instance(s__EngineeringComponent,s__SetOrClass)

Mid-level-ontology.kif 1163-1163 Gun barrel is a subclass of engineering component
s__subclass(s__GunStock,s__EngineeringComponent)

s__instance(s__GunStock,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

Mid-level-ontology.kif 1375-1375 Gun stock is a subclass of engineering component
s__instance(s__GunTrigger,s__SetOrClass)

s__subclass(s__GunTrigger,s__EngineeringComponent)

s__instance(s__EngineeringComponent,s__SetOrClass)

Mid-level-ontology.kif 1300-1300 Gun trigger is a subclass of engineering component
s__instance(s__Handle,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

s__subclass(s__Handle,s__EngineeringComponent)

Mid-level-ontology.kif 1391-1391 Handle is a subclass of engineering component
s__instance(s__Hinge,s__SetOrClass)

s__subclass(s__Hinge,s__EngineeringComponent)

s__instance(s__EngineeringComponent,s__SetOrClass)

Mid-level-ontology.kif 13603-13603 Hinge is a subclass of engineering component
s__subclass(s__Manifold,s__EngineeringComponent)

s__instance(s__Manifold,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

Mid-level-ontology.kif 1712-1712 Manifold is a subclass of engineering component
s__instance(s__MechanicalDevice,s__SetOrClass)

s__subclass(s__MechanicalDevice,s__EngineeringComponent)

s__instance(s__EngineeringComponent,s__SetOrClass)

engineering.kif 730-730 Mechanical device is a subclass of engineering component
s__subclass(s__MechanicalJoint,s__EngineeringComponent)

s__instance(s__MechanicalJoint,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

Cars.kif 1390-1390 Mechanical joint is a subclass of engineering component
s__subclass(s__Radiator,s__EngineeringComponent)

s__instance(s__EngineeringComponent,s__SetOrClass)

s__instance(s__Radiator,s__SetOrClass)

Cars.kif 2206-2206 Radiator is a subclass of engineering component
s__subclass(s__Rotor,s__EngineeringComponent)

s__instance(s__EngineeringComponent,s__SetOrClass)

s__instance(s__Rotor,s__SetOrClass)

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


s__domain(s__connectedEngineeringComponents__m,n__1,s__EngineeringComponent)

Merge.kif 15325-15325 The number 1 argument of connected engineering components is an instance of engineering component
s__domain(s__connectedEngineeringComponents__m,n__2,s__EngineeringComponent)

Merge.kif 15326-15326 The number 2 argument of connected engineering components is an instance of engineering component
s__domain(s__connectsEngineeringComponents__m,n__2,s__EngineeringComponent)

Merge.kif 15384-15384 The number 2 argument of connects engineering components is an instance of engineering component
s__domain(s__connectsEngineeringComponents__m,n__3,s__EngineeringComponent)

Merge.kif 15385-15385 The number 3 argument of connects engineering components is an instance of engineering component
s__domain(s__engineeringSubcomponent__m,n__1,s__EngineeringComponent)

Merge.kif 15314-15314 The number 1 argument of engineering subcomponent is an instance of engineering component
s__domain(s__engineeringSubcomponent__m,n__2,s__EngineeringComponent)

Merge.kif 15315-15315 The number 2 argument of engineering subcomponent is an instance of engineering component
s__domainSubclass(s__models__m,n__2,s__EngineeringComponent)

engineering.kif 63-63 The number 2 argument of models is a subclass of engineering component
s__domainSubclass(s__protocolForConnector__m,n__2,s__EngineeringComponent)

ComputingBrands.kif 2813-2813 The number 2 argument of protocolForConnector is a subclass of engineering component

antecedent
-------------------------


( ! [V__COMP] :
   ((s__instance(V__COMP,s__EngineeringComponent) =>
       (( ? [V__DEVICE] :
           ((s__instance(V__DEVICE,s__Device) &
               s__component(V__COMP,V__DEVICE))))))
   )
)

Merge.kif 15295-15300

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


( ! [V__CC] :
   ((s__instance(V__CC,s__ComputerCable) =>
       (( ? [V__C1, V__C2] :
           ((s__instance(V__C1,s__EngineeringComponent) &
               s__instance(V__C2,s__EngineeringComponent) &
               ~((V__C1 = V__C2))
               &
               s__part(V__C1,V__CC)
             &
             s__part(V__C2,V__CC))))))
)
)

ComputingBrands.kif 2694-2703
( ! [V__MACHINE] :
   ((s__instance(V__MACHINE,s__Machine) =>
       (( ? [V__COMP1, V__COMP2] :
           ((s__instance(V__COMP1,s__EngineeringComponent) &
               s__instance(V__COMP2,s__EngineeringComponent) &
               ~((V__COMP1 = V__COMP2))
               &
               s__part(V__COMP1,V__MACHINE)
             &
             s__part(V__COMP2,V__MACHINE))))))
)
)

Merge.kif 15302-15310
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