Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass EngineeringComponent Device) Merge.kif 16413-16413 Engineering component is a subclass of device
(documentation EngineeringComponent 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
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ Dampfturbine_Montage01.jpg") pictureList.kif 8469-8469 Engineering component is a subclass of device
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ Splitter_bbae_eci.jpg") pictureList.kif 9183-9183 Engineering component is a subclass of device
(externalImage 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
-------------------------


(subclass EngineeringConnection EngineeringComponent) Merge.kif 16473-16473 Engineering connection is a subclass of engineering component
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1310-1310 Casing is a subclass of engineering component
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1325-1325 Gun barrel is a subclass of engineering component
(subclass Gunstock EngineeringComponent) Mid-level-ontology.kif 1436-1436 Gun stock is a subclass of engineering component
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1629-1629 Gun trigger is a subclass of engineering component
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1705-1705 Gun stock is a subclass of engineering component
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1721-1721 Handle is a subclass of engineering component
(subclass Strap EngineeringComponent) Mid-level-ontology.kif 1735-1735 Strap is a subclass of engineering component
(subclass WingDevice EngineeringComponent) Mid-level-ontology.kif 1798-1798 Wing device is a subclass of engineering component
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 2205-2205 Drive component is a subclass of engineering component
(subclass Manifold EngineeringComponent) Mid-level-ontology.kif 2350-2350 Manifold is a subclass of engineering component
(subclass SwitchDevice EngineeringComponent) Mid-level-ontology.kif 2359-2359 Switch device is a subclass of engineering component
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 3566-3566 Communication device is a subclass of engineering component
(subclass WireSpring EngineeringComponent) Mid-level-ontology.kif 4263-4263 Wire spring is a subclass of engineering component
(subclass WireLine EngineeringComponent) Mid-level-ontology.kif 4268-4268 Wire line is a subclass of engineering component
(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 4356-4356 Furniture is disjoint from engineering component
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 16847-16847 Hinge is a subclass of engineering component
(subclass MechanicalJoint EngineeringComponent) Mid-level-ontology.kif 16862-16862 Mechanical joint is a subclass of engineering component
(subclass ArtificialSatellite EngineeringComponent) Mid-level-ontology.kif 27370-27370 Satellite is a subclass of engineering component
(subclass Radiator EngineeringComponent) Cars.kif 2043-2043 Radiator is a subclass of engineering component
(subclass Flywheel EngineeringComponent) Cars.kif 2083-2083 Flywheel is a subclass of engineering component
(subclass BroadcastingStation EngineeringComponent) Communications.kif 274-274 Broadcasting station is a subclass of engineering component
(subclass TelevisionReceiver EngineeringComponent) Communications.kif 434-434 TV is a subclass of engineering component
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 612-612 Computer hardware is a subclass of engineering component
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 962-962 System Management Controller 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
-------------------------


(domain engineeringSubcomponent 1 EngineeringComponent) Merge.kif 16442-16442 The number 1 argument of engineering subcomponent is an instance of engineering component
(domain engineeringSubcomponent 2 EngineeringComponent) Merge.kif 16443-16443 The number 2 argument of engineering subcomponent is an instance of engineering component
(domain connectedEngineeringComponents 1 EngineeringComponent) Merge.kif 16453-16453 The number 1 argument of connected engineering components is an instance of engineering component
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 16454-16454 The number 2 argument of connected engineering components is an instance of engineering component
(domain connectsEngineeringComponents 2 EngineeringComponent) Merge.kif 16516-16516 The number 2 argument of connects engineering components is an instance of engineering component
(domain connectsEngineeringComponents 3 EngineeringComponent) Merge.kif 16517-16517 The number 3 argument of connects engineering components is an instance of engineering component
(domainSubclass protocolForConnector 2 EngineeringComponent) ComputingBrands.kif 2765-2765 The number 2 argument of protocol for connector is a subclass of engineering component
(domainSubclass models 2 EngineeringComponent) engineering.kif 63-63 The number 2 argument of models is a subclass of engineering component

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


(=>
    (instance ?COMP EngineeringComponent)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Device)
            (component ?COMP ?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
-------------------------


(=>
    (instance ?MACHINE Machine)
    (exists (?COMP1 ?COMP2)
        (and
            (instance ?COMP1 EngineeringComponent)
            (instance ?COMP2 EngineeringComponent)
            (not
                (equal ?COMP1 ?COMP2))
            (part ?COMP1 ?MACHINE)
            (part ?COMP2 ?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
(=>
    (instance ?MJ MechanicalJoint)
    (hasPurpose ?MJ
        (exists (?S ?P1 ?P2 ?M)
            (and
                (instance ?M Motion)
                (instance ?S PhysicalSystem)
                (instance ?P1 EngineeringComponent)
                (instance ?P2 EngineeringComponent)
                (part ?P1 PhysicalSystem)
                (part ?MJ PhysicalSystem)
                (part ?P2 PhysicalSystem)
                (not
                    (patient ?M ?P1))
                (patient ?M ?P2)
                (connectedEngineeringComponents ?P1 ?MJ)
                (connectedEngineeringComponents ?P2 ?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
(=>
    (instance ?CC ComputerCable)
    (exists (?C1 ?C2)
        (and
            (instance ?C1 EngineeringComponent)
            (instance ?C2 EngineeringComponent)
            (not
                (equal ?C1 ?C2))
            (part ?C1 ?CC)
            (part ?C2 ?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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners