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 16079-16086 | |
(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 16078-16078 | 子類 EngineeringComponent and Device |
appearance as argument number 2 |
appearance as argument number 3 |
(domain connectedEngineeringComponents 1 EngineeringComponent) | Merge.kif 16118-16118 | 域 連接的工程組件, 1 and EngineeringComponent |
(domain connectedEngineeringComponents 2 EngineeringComponent) | Merge.kif 16119-16119 | 域 連接的工程組件, 2 and EngineeringComponent |
(domain connectsEngineeringComponents 2 EngineeringComponent) | Merge.kif 16182-16182 | 域 連接工程組件, 2 and EngineeringComponent |
(domain connectsEngineeringComponents 3 EngineeringComponent) | Merge.kif 16183-16183 | 域 連接工程組件, 3 and EngineeringComponent |
(domain engineeringSubcomponent 1 EngineeringComponent) | Merge.kif 16107-16107 | 域 工程子組件, 1 and EngineeringComponent |
(domain engineeringSubcomponent 2 EngineeringComponent) | Merge.kif 16108-16108 | 域 工程子組件, 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 16088-16093 |
consequent |