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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - EngineeringComponent

appearance as argument number 1

(documentation EngineeringComponent ChineseLanguage "这是一个可以应用于多个工程领域的基本概念。 EngineeringComponent 是一件 Device 完整一体的元件,就像在商品目录上陈列的标准部件。 EngineeringComponent 和一团随意凑合的物质的主要区别在于,EngineeringComponent 是像模型的物件。 所以 EngineeringComponent 不是一个任意的分区,而是一个有稳定身份系统的一部分。") Merge.kif 16238-16241
(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 16230-16237
(externalImage EngineeringComponent " commons/ 3/ 35/ Splitter-bbae-eci.jpg") pictureList.kif 9189-9189 externalImage 工程组件 and " Splitter-bbae-eci.jpg"
(externalImage EngineeringComponent " commons/ 7/ 79/ Dampfturbine_Montage01.jpg") pictureList.kif 8473-8473 externalImage 工程组件 and " Dampfturbine_Montage01.jpg"
(externalImage EngineeringComponent " commons/ thumb/ 5/ 55/ PCB_Thomson_Speedtouch_516i.jpg/ 800px-PCB_Thomson_Speedtouch_516i.jpg") pictureList.kif 9190-9190 externalImage 工程组件 and " 5/ 55/ PCB_Thomson_Speedtouch_516i.jpg/ 800px-PCB_Thomson_Speedtouch_516i.jpg"
(subclass EngineeringComponent Device) Merge.kif 16229-16229 工程组件设备subclass

appearance as argument number 2

(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 4245-4245 Furniture 和 % 2 是 disjoint
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 853-853 系统管理控制器工程组件subclass
(subclass ArtificialSatellite EngineeringComponent) Communications.kif 113-113 ArtificialSatellite工程组件subclass
(subclass BroadcastingStation EngineeringComponent) Communications.kif 288-288 BroadcastingStation工程组件subclass
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1598-1598 CartridgeCase工程组件subclass
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 3423-3423 CommunicationDevice工程组件subclass
(subclass ComputerCable EngineeringComponent) ComputingBrands.kif 2520-2520 连接线工程组件subclass
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 473-473 ComputerHardware工程组件subclass
(subclass ComputerPlug EngineeringComponent) ComputingBrands.kif 2391-2391 插头工程组件subclass
(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2364-2364 端口工程组件subclass
(subclass Controller EngineeringComponent) engineering.kif 1109-1109 Controller工程组件subclass
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 2082-2082 DriveComponent工程组件subclass
(subclass EngineeringConnection EngineeringComponent) Merge.kif 16301-16301 工程组件连接件工程组件subclass
(subclass FluidPowerDevice EngineeringComponent) engineering.kif 731-731 FluidPowerDevice工程组件subclass
(subclass Flywheel EngineeringComponent) Cars.kif 2218-2218 Flywheel工程组件subclass
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1614-1614 GunBarrel工程组件subclass
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1814-1814 GunStock工程组件subclass
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1745-1745 GunTrigger工程组件subclass
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1854-1854 Handle工程组件subclass
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 12960-12960 Hinge工程组件subclass
(subclass Manifold EngineeringComponent) Mid-level-ontology.kif 2193-2193 Manifold工程组件subclass
(subclass MechanicalDevice EngineeringComponent) engineering.kif 726-726 MechanicalDevice工程组件subclass
(subclass MechanicalJoint EngineeringComponent) Cars.kif 1371-1371 MechanicalJoint工程组件subclass
(subclass Radiator EngineeringComponent) Cars.kif 2178-2178 Radiator工程组件subclass
(subclass Rotor EngineeringComponent) engineering.kif 773-773 Rotor工程组件subclass

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 16276-16276 相连工程子组件 的 1 数量 是 工程组件instance
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 16277-16277 相连工程子组件 的 2 数量 是 工程组件instance
(domain connectsEngineeringComponents 2 EngineeringComponent) Merge.kif 16349-16349 连接工程子组件 的 2 数量 是 工程组件instance
(domain connectsEngineeringComponents 3 EngineeringComponent) Merge.kif 16350-16350 连接工程子组件 的 3 数量 是 工程组件instance
(domain engineeringSubcomponent 1 EngineeringComponent) Merge.kif 16262-16262 工程子组件 的 1 数量 是 工程组件instance
(domain engineeringSubcomponent 2 EngineeringComponent) Merge.kif 16263-16263 工程子组件 的 2 数量 是 工程组件instance
(domainSubclass models 2 EngineeringComponent) engineering.kif 63-63 models 的 2 数量 是 工程组件subclass
(domainSubclass protocolForConnector 2 EngineeringComponent) ComputingBrands.kif 2668-2668 protocolForConnector 的 2 数量 是 工程组件subclass


    (instance ?COMP EngineeringComponent)
    (exists (?DEVICE)
            (instance ?DEVICE Device)
            (component ?COMP ?DEVICE))))
Merge.kif 16243-16248


    (instance ?CC ComputerCable)
    (exists (?C1 ?C2)
            (instance ?C1 EngineeringComponent)
            (instance ?C2 EngineeringComponent)
                (equal ?C1 ?C2))
            (part ?C1 ?CC)
            (part ?C2 ?CC))))
ComputingBrands.kif 2549-2558
    (instance ?MACHINE Machine)
    (exists (?COMP1 ?COMP2)
            (instance ?COMP1 EngineeringComponent)
            (instance ?COMP2 EngineeringComponent)
                (equal ?COMP1 ?COMP2))
            (part ?COMP1 ?MACHINE)
            (part ?COMP2 ?MACHINE))))
Merge.kif 16250-16258
    (instance ?MJ MechanicalJoint)
    (hasPurpose ?MJ
        (exists (?S ?P1 ?P2 ?M)
                (instance ?M Motion)
                (instance ?S PhysicalSystem)
                (instance ?P1 EngineeringComponent)
                (instance ?P2 EngineeringComponent)
                (part ?P1 PhysicalSystem)
                (part ?MJ PhysicalSystem)
                (part ?P2 PhysicalSystem)
                    (patient ?M ?P1))
                (patient ?M ?P2)
                (connectedEngineeringComponents ?P1 ?MJ)
                (connectedEngineeringComponents ?P2 ?MJ)))))
Cars.kif 1376-1392

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners