Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 16254-16254 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 16255-16262 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 16314-16314 Engineering connection is a subclass of engineering component
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1278-1278 Casing is a subclass of engineering component
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1293-1293 Gun barrel is a subclass of engineering component
(subclass Gunstock EngineeringComponent) Mid-level-ontology.kif 1404-1404 Gun stock is a subclass of engineering component
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1597-1597 Gun trigger is a subclass of engineering component
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1673-1673 Gun stock is a subclass of engineering component
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1689-1689 Handle is a subclass of engineering component
(subclass WingDevice EngineeringComponent) Mid-level-ontology.kif 1747-1747 Wing device is a subclass of engineering component
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 2154-2154 Drive component is a subclass of engineering component
(subclass Manifold EngineeringComponent) Mid-level-ontology.kif 2256-2256 Manifold is a subclass of engineering component
(subclass SwitchDevice EngineeringComponent) Mid-level-ontology.kif 2265-2265 Switch device is a subclass of engineering component
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 3419-3419 Communication device is a subclass of engineering component
(subclass WireSpring EngineeringComponent) Mid-level-ontology.kif 4077-4077 Wire spring is a subclass of engineering component
(subclass WireLine EngineeringComponent) Mid-level-ontology.kif 4082-4082 Wire line is a subclass of engineering component
(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 4170-4170 Furniture is disjoint from engineering component
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 16797-16797 Hinge is a subclass of engineering component
(subclass MechanicalJoint EngineeringComponent) Cars.kif 1376-1376 Mechanical joint is a subclass of engineering component
(subclass Radiator EngineeringComponent) Cars.kif 2182-2182 Radiator is a subclass of engineering component
(subclass Flywheel EngineeringComponent) Cars.kif 2222-2222 Flywheel is a subclass of engineering component
(subclass ArtificialSatellite EngineeringComponent) Communications.kif 113-113 Satellite is a subclass of engineering component
(subclass BroadcastingStation EngineeringComponent) Communications.kif 293-293 Broadcasting station is a subclass of engineering component
(subclass TelevisionReceiver EngineeringComponent) Communications.kif 453-453 TV is a subclass of engineering component
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 596-596 Computer hardware is a subclass of engineering component
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 962-962 System Management Controller is a subclass of engineering component
(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2554-2554 Port 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 16283-16283 The number 1 argument of engineering subcomponent is an instance of engineering component
(domain engineeringSubcomponent 2 EngineeringComponent) Merge.kif 16284-16284 The number 2 argument of engineering subcomponent is an instance of engineering component
(domain connectedEngineeringComponents 1 EngineeringComponent) Merge.kif 16294-16294 The number 1 argument of connected engineering components is an instance of engineering component
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 16295-16295 The number 2 argument of connected engineering components is an instance of engineering component
(domain connectsEngineeringComponents 2 EngineeringComponent) Merge.kif 16357-16357 The number 2 argument of connects engineering components is an instance of engineering component
(domain connectsEngineeringComponents 3 EngineeringComponent) Merge.kif 16358-16358 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 16264-16269 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 16271-16279 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)))))		 Cars.kif 1381-1397 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 is open source software produced by Articulate Software and its partners