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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EngineeringComponent

Sigma KEE - EngineeringComponent
EngineeringComponent

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 15775-15782
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ Splitter-bbae-eci.jpg") pictureList.kif 9185-9185
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ Dampfturbine_Montage01.jpg") pictureList.kif 8471-8471
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 5/ 55/ PCB_Thomson_Speedtouch_516i.jpg/ 800px-PCB_Thomson_Speedtouch_516i.jpg") pictureList.kif 9186-9186
(subclass EngineeringComponent Device) Merge.kif 15774-15774

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


(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 3662-3662
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 930-930
(subclass ArtificialSatellite EngineeringComponent) Communications.kif 113-113
(subclass BroadcastingStation EngineeringComponent) Communications.kif 288-288
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1166-1166
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 2890-2890
(subclass ComputerCable EngineeringComponent) ComputingBrands.kif 2674-2674
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 596-596
(subclass ComputerPlug EngineeringComponent) ComputingBrands.kif 2549-2549
(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2522-2522
(subclass Controller EngineeringComponent) engineering.kif 1113-1113
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 1628-1628
(subclass EngineeringConnection EngineeringComponent) Merge.kif 15834-15834
(subclass FluidPowerDevice EngineeringComponent) engineering.kif 735-735
(subclass Flywheel EngineeringComponent) Cars.kif 2232-2232
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1181-1181
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1393-1393
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1318-1318
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1409-1409
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 14716-14716
(subclass Manifold EngineeringComponent) Mid-level-ontology.kif 1730-1730
(subclass MechanicalDevice EngineeringComponent) engineering.kif 730-730
(subclass MechanicalJoint EngineeringComponent) Cars.kif 1376-1376
(subclass Radiator EngineeringComponent) Cars.kif 2192-2192
(subclass Rotor EngineeringComponent) engineering.kif 777-777

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 15814-15814
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 15815-15815
(domain connectsEngineeringComponents 2 EngineeringComponent) Merge.kif 15878-15878
(domain connectsEngineeringComponents 3 EngineeringComponent) Merge.kif 15879-15879
(domain engineeringSubcomponent 1 EngineeringComponent) Merge.kif 15803-15803
(domain engineeringSubcomponent 2 EngineeringComponent) Merge.kif 15804-15804
(domainSubclass models 2 EngineeringComponent) engineering.kif 63-63
(domainSubclass protocolForConnector 2 EngineeringComponent) ComputingBrands.kif 2822-2822

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


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

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 2703-2712
(=>
    (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 15791-15799
(=>
    (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


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