|
|
   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 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 | Meccanismo è una sottoclasse di Dispositivo |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (instance ?COMP EngineeringComponent) (exists (?DEVICE) (and (instance ?DEVICE Device) (component ?COMP ?DEVICE)))) |
Merge.kif 16066-16071 |
|
| consequent |
|
|
|
|
|
