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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EngineeringComponent

Sigma KEE - EngineeringComponent
EngineeringComponent(Meccanismo)

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 16129-16136
(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 16128-16128 Meccanismo è una sottoclasse di Dispositivo

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


(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 3703-3703 Furniture è disgiunto da Meccanismo
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 962-962 AppleSystemManagementController è una sottoclasse di Meccanismo
(subclass ArtificialSatellite EngineeringComponent) Communications.kif 113-113 ArtificialSatellite è una sottoclasse di Meccanismo
(subclass BroadcastingStation EngineeringComponent) Communications.kif 288-288 BroadcastingStation è una sottoclasse di Meccanismo
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1202-1202 CartridgeCase è una sottoclasse di Meccanismo
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 2932-2932 CommunicationDevice è una sottoclasse di Meccanismo
(subclass ComputerCable EngineeringComponent) ComputingBrands.kif 2706-2706 ComputerCable è una sottoclasse di Meccanismo
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 596-596 ComputerHardware è una sottoclasse di Meccanismo
(subclass ComputerPlug EngineeringComponent) ComputingBrands.kif 2581-2581 ComputerPlug è una sottoclasse di Meccanismo
(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2554-2554 ComputerPort è una sottoclasse di Meccanismo
(subclass Controller EngineeringComponent) engineering.kif 1114-1114 Controller è una sottoclasse di Meccanismo
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 1666-1666 DriveComponent è una sottoclasse di Meccanismo
(subclass EngineeringConnection EngineeringComponent) Merge.kif 16188-16188 MeccanismiDiConnessione è una sottoclasse di Meccanismo
(subclass FluidCylinder EngineeringComponent) engineering.kif 906-906 FluidCylinder è una sottoclasse di Meccanismo
(subclass FluidPowerDevice EngineeringComponent) engineering.kif 737-737 FluidPowerDevice è una sottoclasse di Meccanismo
(subclass Flywheel EngineeringComponent) Cars.kif 2215-2215 Flywheel è una sottoclasse di Meccanismo
(subclass Gear EngineeringComponent) engineering.kif 757-757 Gear è una sottoclasse di Meccanismo
(subclass GearTrain EngineeringComponent) engineering.kif 762-762 GearTrain è una sottoclasse di Meccanismo
(subclass Gearbox EngineeringComponent) engineering.kif 767-767 Gearbox è una sottoclasse di Meccanismo
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1217-1217 GunBarrel è una sottoclasse di Meccanismo
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1431-1431 GunStock è una sottoclasse di Meccanismo
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1354-1354 GunTrigger è una sottoclasse di Meccanismo
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1447-1447 Handle è una sottoclasse di Meccanismo
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 15490-15490 Hinge è una sottoclasse di Meccanismo
(subclass Manifold EngineeringComponent) Mid-level-ontology.kif 1768-1768 Manifold è una sottoclasse di Meccanismo

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 16168-16168 Il numero 1 argomenti di connectedEngineeringComponents è un istanza di Meccanismo
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 16169-16169 Il numero 2 argomenti di connectedEngineeringComponents è un istanza di Meccanismo
(domain connectsEngineeringComponents 2 EngineeringComponent) Merge.kif 16231-16231 Il numero 2 argomenti di connectsEngineeringComponents è un istanza di Meccanismo
(domain connectsEngineeringComponents 3 EngineeringComponent) Merge.kif 16232-16232 Il numero 3 argomenti di connectsEngineeringComponents è un istanza di Meccanismo
(domain engineeringSubcomponent 1 EngineeringComponent) Merge.kif 16157-16157 Il numero 1 argomenti di engineeringSubcomponent è un istanza di Meccanismo
(domain engineeringSubcomponent 2 EngineeringComponent) Merge.kif 16158-16158 Il numero 2 argomenti di engineeringSubcomponent è un istanza di Meccanismo
(domainSubclass models 2 EngineeringComponent) engineering.kif 64-64 Il numero 2 argomento models è una sottoclasse diMeccanismo
(domainSubclass protocolForConnector 2 EngineeringComponent) ComputingBrands.kif 2854-2854 Il numero 2 argomento protocolForConnector è una sottoclasse diMeccanismo

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


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

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 16145-16153
(=>
    (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