EngineeringComponent - Sigma Knowledge base Browser

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 16057-16064
(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 16056-16056	子類 EngineeringComponent and Device

appearance as argument number 2

(disjoint Furniture EngineeringComponent)	Mid-level-ontology.kif 3710-3710	不相交的家具 and EngineeringComponent
(subclass AppleSystemManagementController EngineeringComponent)	ComputingBrands.kif 962-962	子類系统管理控制器 and EngineeringComponent
(subclass ArtificialSatellite EngineeringComponent)	Communications.kif 113-113	子類人造衛星 and EngineeringComponent
(subclass BroadcastingStation EngineeringComponent)	Communications.kif 288-288	子類電台 and EngineeringComponent
(subclass CartridgeCase EngineeringComponent)	Mid-level-ontology.kif 1209-1209	子類 CartridgeCase and EngineeringComponent
(subclass CommunicationDevice EngineeringComponent)	Mid-level-ontology.kif 2939-2939	子類通訊設備 and EngineeringComponent
(subclass ComputerCable EngineeringComponent)	ComputingBrands.kif 2706-2706	子類連接線 and EngineeringComponent
(subclass ComputerHardware EngineeringComponent)	ComputerInput.kif 596-596	子類電腦硬件 and EngineeringComponent
(subclass ComputerPlug EngineeringComponent)	ComputingBrands.kif 2581-2581	子類插頭 and EngineeringComponent
(subclass ComputerPort EngineeringComponent)	ComputingBrands.kif 2554-2554	子類端口 and EngineeringComponent
(subclass Controller EngineeringComponent)	engineering.kif 1114-1114	子類調節器 and EngineeringComponent
(subclass DriveComponent EngineeringComponent)	Mid-level-ontology.kif 1673-1673	子類驅動組件 and EngineeringComponent
(subclass EngineeringConnection EngineeringComponent)	Merge.kif 16116-16116	子類 EngineeringConnection and EngineeringComponent
(subclass FluidCylinder EngineeringComponent)	engineering.kif 906-906	子類液壓缸 and EngineeringComponent
(subclass FluidPowerDevice EngineeringComponent)	engineering.kif 737-737	子類流體動力裝置 and EngineeringComponent
(subclass Flywheel EngineeringComponent)	Cars.kif 2232-2232	子類 Flywheel and EngineeringComponent
(subclass Gear EngineeringComponent)	engineering.kif 757-757	子類齒輪 and EngineeringComponent
(subclass GearTrain EngineeringComponent)	engineering.kif 762-762	子類齒輪系 and EngineeringComponent
(subclass Gearbox EngineeringComponent)	engineering.kif 767-767	子類變速器 and EngineeringComponent
(subclass GunBarrel EngineeringComponent)	Mid-level-ontology.kif 1224-1224	子類槍管 and EngineeringComponent
(subclass GunStock EngineeringComponent)	Mid-level-ontology.kif 1438-1438	子類槍托 and EngineeringComponent
(subclass GunTrigger EngineeringComponent)	Mid-level-ontology.kif 1361-1361	子類槍扳機 and EngineeringComponent
(subclass Handle EngineeringComponent)	Mid-level-ontology.kif 1454-1454	子類處理 and EngineeringComponent
(subclass Hinge EngineeringComponent)	Mid-level-ontology.kif 15272-15272	子類合頁 and EngineeringComponent
(subclass Manifold EngineeringComponent)	Mid-level-ontology.kif 1775-1775	子類多種 and EngineeringComponent

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 16096-16096	域連接的工程組件, 1 and EngineeringComponent
(domain connectedEngineeringComponents 2 EngineeringComponent)	Merge.kif 16097-16097	域連接的工程組件, 2 and EngineeringComponent
(domain connectsEngineeringComponents 2 EngineeringComponent)	Merge.kif 16160-16160	域連接工程組件, 2 and EngineeringComponent
(domain connectsEngineeringComponents 3 EngineeringComponent)	Merge.kif 16161-16161	域連接工程組件, 3 and EngineeringComponent
(domain engineeringSubcomponent 1 EngineeringComponent)	Merge.kif 16085-16085	域工程子組件, 1 and EngineeringComponent
(domain engineeringSubcomponent 2 EngineeringComponent)	Merge.kif 16086-16086	域工程子組件, 2 and EngineeringComponent
(domainSubclass models 2 EngineeringComponent)	engineering.kif 64-64	域子類楷模, 2 and EngineeringComponent
(domainSubclass protocolForConnector 2 EngineeringComponent)	ComputingBrands.kif 2854-2854	域子類 protocolForConnector, 2 and EngineeringComponent

antecedent

(=>
    (instance ?COMP EngineeringComponent)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE Device)
            (component ?COMP ?DEVICE))))

Merge.kif 16066-16071

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	例 Object and 連接線 Object Object 例 Object and EngineeringComponent 例 Object and EngineeringComponent 等於 Object and Object 部分 Object and Object 部分 Object and Object
(=> (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 16073-16081	例 Object and Machine Object Object 例 Object and EngineeringComponent 例 Object and EngineeringComponent 等於 Object and Object 部分 Object and Object 部分 Object and Object
(=> (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	例 Physical and MechanicalJoint 有目的 Physical and entity entity, entity and entity 例 entity and Motion 例 entity and 物理系統例 entity and EngineeringComponent 例 entity and EngineeringComponent 部分 entity and 物理系統部分 Physical and 物理系統部分 entity and 物理系統患者 entity and entity 患者 entity and entity 連接的工程組件 entity and Physical 連接的工程組件 entity and Physical

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

KB Term:			Term intersection

English Word: