Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  EngineeringComponent

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


(documentation EngineeringComponent ChineseLanguage "这是一个可以应用于多个工程领域的基本概念。 EngineeringComponent 是一件 Device 完整一体的元件,就像在商品目录上陈列的标准部件。 EngineeringComponent 和一团随意凑合的物质的主要区别在于,EngineeringComponent 是像模型的物件。 所以 EngineeringComponent 不是一个任意的分区,而是一个有稳定身份系统的一部分。") chinese_format.kif 3636-3639
(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 14892-14899
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ Splitter-bbae-eci.jpg") pictureList.kif 9189-9189
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ Dampfturbine_Montage01.jpg") pictureList.kif 8473-8473
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 5/ 55/ PCB_Thomson_Speedtouch_516i.jpg/ 800px-PCB_Thomson_Speedtouch_516i.jpg") pictureList.kif 9190-9190
(subclass EngineeringComponent Device) Merge.kif 14891-14891 Engineering component is a subclass of device

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


(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 4247-4247 Furniture is disjoint from engineering component
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 937-937 System Management Controller is a subclass of engineering component
(subclass ArtificialSatellite EngineeringComponent) Communications.kif 113-113 Artificial satellite is a subclass of engineering component
(subclass BroadcastingStation EngineeringComponent) Communications.kif 288-288 Broadcasting station is a subclass of engineering component
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1599-1599 Casing is a subclass of engineering component
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 3425-3425 Communication device is a subclass of engineering component
(subclass ComputerCable EngineeringComponent) ComputingBrands.kif 2677-2677 Cable is a subclass of engineering component
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 624-624 Computer hardware is a subclass of engineering component
(subclass ComputerPlug EngineeringComponent) ComputingBrands.kif 2548-2548 Plug is a subclass of engineering component
(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2521-2521 Port is a subclass of engineering component
(subclass Controller EngineeringComponent) engineering.kif 1113-1113 Controller is a subclass of engineering component
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 2083-2083 Drive component is a subclass of engineering component
(subclass EngineeringConnection EngineeringComponent) Merge.kif 14951-14951 Engineering connection is a subclass of engineering component
(subclass FluidPowerDevice EngineeringComponent) engineering.kif 735-735 Fluid power device is a subclass of engineering component
(subclass Flywheel EngineeringComponent) Cars.kif 2219-2219 Flywheel is a subclass of engineering component
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1615-1615 Gun barrel is a subclass of engineering component
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1815-1815 Gun stock is a subclass of engineering component
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1746-1746 Gun trigger is a subclass of engineering component
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1855-1855 Handle is a subclass of engineering component
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 12985-12985 Hinge is a subclass of engineering component
(subclass Manifold EngineeringComponent) Mid-level-ontology.kif 2194-2194 Manifold is a subclass of engineering component
(subclass MechanicalDevice EngineeringComponent) engineering.kif 730-730 Mechanical device is a subclass of engineering component
(subclass MechanicalJoint EngineeringComponent) Cars.kif 1372-1372 Mechanical joint is a subclass of engineering component
(subclass Radiator EngineeringComponent) Cars.kif 2179-2179 Radiator is a subclass of engineering component
(subclass Rotor EngineeringComponent) 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
-------------------------


(domain connectedEngineeringComponents 1 EngineeringComponent) Merge.kif 14931-14931 The number 1 argument of connected engineering components is an instance of engineering component
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 14932-14932 The number 2 argument of connected engineering components is an instance of engineering component
(domain connectsEngineeringComponents 2 EngineeringComponent) Merge.kif 14990-14990 The number 2 argument of connects engineering components is an instance of engineering component
(domain connectsEngineeringComponents 3 EngineeringComponent) Merge.kif 14991-14991 The number 3 argument of connects engineering components is an instance of engineering component
(domain engineeringSubcomponent 1 EngineeringComponent) Merge.kif 14920-14920 The number 1 argument of engineering subcomponent is an instance of engineering component
(domain engineeringSubcomponent 2 EngineeringComponent) Merge.kif 14921-14921 The number 2 argument of engineering subcomponent is an instance of engineering component
(domainSubclass models 2 EngineeringComponent) engineering.kif 63-63 The number 2 argument of models is a subclass of engineering component
(domainSubclass protocolForConnector 2 EngineeringComponent) ComputingBrands.kif 2825-2825 The number 2 argument of protocolForConnector is a subclass of engineering component

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


(=>
    (instance ?COMP EngineeringComponent)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Device)
            (component ?COMP ?DEVICE))))
Merge.kif 14901-14906

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


(=>
    (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 2706-2715
(=>
    (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 14908-14916
(=>
    (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 1377-1393


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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