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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EngineeringComponent

 Sigma KEE - EngineeringComponent
EngineeringComponent(composant d'un appareil)

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 16027-16034
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ Splitter-bbae-eci.jpg") pictureList.kif 9184-9184
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ Dampfturbine_Montage01.jpg") pictureList.kif 8470-8470
(externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 5/ 55/ PCB_Thomson_Speedtouch_516i.jpg/ 800px-PCB_Thomson_Speedtouch_516i.jpg") pictureList.kif 9185-9185
(subclass EngineeringComponent Device) Merge.kif 16026-16026 Composant d'un appareil est une sous-classe de appareil

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


(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 3682-3682 Furniture est disjoint de composant d'un appareil
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 962-962 AppleSystemManagementController est une sous-classe de composant d'un appareil
(subclass ArtificialSatellite EngineeringComponent) Communications.kif 113-113 ArtificialSatellite est une sous-classe de composant d'un appareil
(subclass BroadcastingStation EngineeringComponent) Communications.kif 288-288 BroadcastingStation est une sous-classe de composant d'un appareil
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1181-1181 CartridgeCase est une sous-classe de composant d'un appareil
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 2911-2911 CommunicationDevice est une sous-classe de composant d'un appareil
(subclass ComputerCable EngineeringComponent) ComputingBrands.kif 2706-2706 ComputerCable est une sous-classe de composant d'un appareil
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 596-596 ComputerHardware est une sous-classe de composant d'un appareil
(subclass ComputerPlug EngineeringComponent) ComputingBrands.kif 2581-2581 ComputerPlug est une sous-classe de composant d'un appareil
(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2554-2554 ComputerPort est une sous-classe de composant d'un appareil
(subclass Controller EngineeringComponent) engineering.kif 1116-1116 Controller est une sous-classe de composant d'un appareil
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 1645-1645 DriveComponent est une sous-classe de composant d'un appareil
(subclass EngineeringConnection EngineeringComponent) Merge.kif 16086-16086 Composant connectant des autres composant est une sous-classe de composant d'un appareil
(subclass FluidPowerDevice EngineeringComponent) engineering.kif 738-738 FluidPowerDevice est une sous-classe de composant d'un appareil
(subclass Flywheel EngineeringComponent) Cars.kif 2232-2232 Flywheel est une sous-classe de composant d'un appareil
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1196-1196 GunBarrel est une sous-classe de composant d'un appareil
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1410-1410 GunStock est une sous-classe de composant d'un appareil
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1333-1333 GunTrigger est une sous-classe de composant d'un appareil
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1426-1426 Handle est une sous-classe de composant d'un appareil
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 15244-15244 Hinge est une sous-classe de composant d'un appareil
(subclass Manifold EngineeringComponent) Mid-level-ontology.kif 1747-1747 Manifold est une sous-classe de composant d'un appareil
(subclass MechanicalDevice EngineeringComponent) engineering.kif 733-733 MechanicalDevice est une sous-classe de composant d'un appareil
(subclass MechanicalJoint EngineeringComponent) Cars.kif 1376-1376 MechanicalJoint est une sous-classe de composant d'un appareil
(subclass Radiator EngineeringComponent) Cars.kif 2192-2192 Radiator est une sous-classe de composant d'un appareil
(subclass Rotor EngineeringComponent) engineering.kif 780-780 Rotor est une sous-classe de composant d'un appareil

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 16066-16066 Le nombre 1 argument de connectedEngineeringComponents est une instance de composant d'un appareil
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 16067-16067 Le nombre 2 argument de connectedEngineeringComponents est une instance de composant d'un appareil
(domain connectsEngineeringComponents 2 EngineeringComponent) Merge.kif 16130-16130 Le nombre 2 argument de connectsEngineeringComponents est une instance de composant d'un appareil
(domain connectsEngineeringComponents 3 EngineeringComponent) Merge.kif 16131-16131 Le nombre 3 argument de connectsEngineeringComponents est une instance de composant d'un appareil
(domain engineeringSubcomponent 1 EngineeringComponent) Merge.kif 16055-16055 Le nombre 1 argument de engineeringSubcomponent est une instance de composant d'un appareil
(domain engineeringSubcomponent 2 EngineeringComponent) Merge.kif 16056-16056 Le nombre 2 argument de engineeringSubcomponent est une instance de composant d'un appareil
(domainSubclass models 2 EngineeringComponent) engineering.kif 64-64 Le nombre 2 argument de models est une sous-classe de composant d'un appareil
(domainSubclass protocolForConnector 2 EngineeringComponent) ComputingBrands.kif 2854-2854 Le nombre 2 argument de protocolForConnector est une sous-classe de composant d'un appareil

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


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

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 2735-2744
(=>
    (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 16043-16051
(=>
    (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