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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15782-15789
(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 15781-15781 工程组件设备subclass

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


(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 3662-3662 家具 和 % 2 是 disjoint
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 930-930 系统管理控制器工程组件subclass
(subclass ArtificialSatellite EngineeringComponent) Communications.kif 113-113 人造卫星工程组件subclass
(subclass BroadcastingStation EngineeringComponent) Communications.kif 288-288 电台工程组件subclass
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1166-1166 CartridgeCase工程组件subclass
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 2890-2890 通讯设备工程组件subclass
(subclass ComputerCable EngineeringComponent) ComputingBrands.kif 2674-2674 连接线工程组件subclass
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 596-596 电脑硬件工程组件subclass
(subclass ComputerPlug EngineeringComponent) ComputingBrands.kif 2549-2549 插头工程组件subclass
(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2522-2522 端口工程组件subclass
(subclass Controller EngineeringComponent) engineering.kif 1113-1113 调节器工程组件subclass
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 1628-1628 驱动组件工程组件subclass
(subclass EngineeringConnection EngineeringComponent) Merge.kif 15841-15841 工程组件连接件工程组件subclass
(subclass FluidPowerDevice EngineeringComponent) engineering.kif 735-735 流体动力装置工程组件subclass
(subclass Flywheel EngineeringComponent) Cars.kif 2232-2232 Flywheel工程组件subclass
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1181-1181 枪管工程组件subclass
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1393-1393 枪托工程组件subclass
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1318-1318 枪扳机工程组件subclass
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1409-1409 处理工程组件subclass
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 14736-14736 合页工程组件subclass
(subclass Manifold EngineeringComponent) Mid-level-ontology.kif 1730-1730 多种工程组件subclass
(subclass MechanicalDevice EngineeringComponent) engineering.kif 730-730 机械装置工程组件subclass
(subclass MechanicalJoint EngineeringComponent) Cars.kif 1376-1376 MechanicalJoint工程组件subclass
(subclass Radiator EngineeringComponent) Cars.kif 2192-2192 Radiator工程组件subclass
(subclass Rotor EngineeringComponent) engineering.kif 777-777 转子工程组件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 15821-15821 相连工程子组件 的 1 数量 是 工程组件instance
(domain connectedEngineeringComponents 2 EngineeringComponent) Merge.kif 15822-15822 相连工程子组件 的 2 数量 是 工程组件instance
(domain connectsEngineeringComponents 2 EngineeringComponent) Merge.kif 15885-15885 连接工程子组件 的 2 数量 是 工程组件instance
(domain connectsEngineeringComponents 3 EngineeringComponent) Merge.kif 15886-15886 连接工程子组件 的 3 数量 是 工程组件instance
(domain engineeringSubcomponent 1 EngineeringComponent) Merge.kif 15810-15810 工程子组件 的 1 数量 是 工程组件instance
(domain engineeringSubcomponent 2 EngineeringComponent) Merge.kif 15811-15811 工程子组件 的 2 数量 是 工程组件instance
(domainSubclass models 2 EngineeringComponent) engineering.kif 63-63 楷模 的 2 数量 是 工程组件subclass
(domainSubclass protocolForConnector 2 EngineeringComponent) ComputingBrands.kif 2822-2822 protocolForConnector 的 2 数量 是 工程组件subclass

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


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

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 15798-15806
(=>
    (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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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