Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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__subclass(s__EngineeringComponent,s__Device)
|
Merge.kif 16413-16413 | Engineering component is a subclass of device |
| 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 16414-16421 | Engineering component is a subclass of device |
| s__externalImage(s__EngineeringComponent,"http: //upload.wikimedia.org/wikipedia/commons/7/79/Dampfturbine_Montage01.jpg")
|
pictureList.kif 8469-8469 | Engineering component is a subclass of device |
| s__externalImage(s__EngineeringComponent,"http: //upload.wikimedia.org/wikipedia/commons/3/35/Splitter_bbae_eci.jpg")
|
pictureList.kif 9183-9183 | Engineering component is a subclass of device |
| 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 9184-9184 | Engineering component is a subclass of device |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| 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 16423-16428 | If X is an instance of engineering component, then there exists Y such that Y is an instance of device and X is a component of Y |
| consequent |
|
|
| ! [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 16430-16438 | If X is an instance of machine, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of engineering component (3) Z is an instance of engineering component (4) equal Y (5) Z (6) Y is a part of X (7) Z is a part of X |
| ! [V__MJ : $i] : ((s__instance(V__MJ, s__MechanicalJoint) => s__hasPurpose(V__MJ, ( ? [V__S:$i, V__P1:$i, V__P2:$i, V__M:$i] : ((s__instance(V__M, s__Motion) & s__instance(V__S, s__PhysicalSystem) & s__instance(V__P1, s__EngineeringComponent) & s__instance(V__P2, s__EngineeringComponent) & s__part(V__P1, s__PhysicalSystem) & s__part(V__MJ, s__PhysicalSystem) & s__part(V__P2, s__PhysicalSystem) & ~(s__patient(V__M, V__P1)) & s__patient(V__M, V__P2) & s__connectedEngineeringComponents(V__P1, V__MJ) & s__connectedEngineeringComponents(V__P2, V__MJ))))))) | Mid-level-ontology.kif 16867-16883 | If X is an instance of mechanical joint, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that V is an instance of motion (3) Y is an instance of physical system (4) Z is an instance of engineering component (5) W is an instance of engineering component (6) Z is a part of physical system (7) X is a part of physical system (8) W is a part of physical system (9) Z is not a patient of V (10) W is a patient of V (11) Z is connected to X (12) W is connected to X |
| ! [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 2646-2655 | If X is an instance of cable, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of engineering component (3) Z is an instance of engineering component (4) equal Y (5) Z (6) Y is a part of X (7) Z is a part of X |
|