|
|
   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 16218-16225 | |
| (externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ Splitter_bbae_eci.jpg") | pictureList.kif 9183-9183 | |
| (externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 79/ Dampfturbine_Montage01.jpg") | pictureList.kif 8469-8469 | |
| (externalImage EngineeringComponent "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 5/ 55/ PCB_Thomson_Speedtouch_516i.jpg/ 800px_PCB_Thomson_Speedtouch_516i.jpg") | pictureList.kif 9184-9184 | |
| (subclass EngineeringComponent Device) | Merge.kif 16217-16217 | 工程组件 是 设备 的 subclass |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain connectedEngineeringComponents 1 EngineeringComponent) | Merge.kif 16257-16257 | 相连工程子组件 的 1 数量 是 工程组件 的 instance |
| (domain connectedEngineeringComponents 2 EngineeringComponent) | Merge.kif 16258-16258 | 相连工程子组件 的 2 数量 是 工程组件 的 instance |
| (domain connectsEngineeringComponents 2 EngineeringComponent) | Merge.kif 16320-16320 | 连接工程子组件 的 2 数量 是 工程组件 的 instance |
| (domain connectsEngineeringComponents 3 EngineeringComponent) | Merge.kif 16321-16321 | 连接工程子组件 的 3 数量 是 工程组件 的 instance |
| (domain engineeringSubcomponent 1 EngineeringComponent) | Merge.kif 16246-16246 | 工程子组件 的 1 数量 是 工程组件 的 instance |
| (domain engineeringSubcomponent 2 EngineeringComponent) | Merge.kif 16247-16247 | 工程子组件 的 2 数量 是 工程组件 的 instance |
| (domainSubclass models 2 EngineeringComponent) | engineering.kif 63-63 | 楷模 的 2 数量 是 工程组件 的 subclass |
| (domainSubclass protocolForConnector 2 EngineeringComponent) | ComputingBrands.kif 2854-2854 | protocolForConnector 的 2 数量 是 工程组件 的 subclass |
| antecedent |
|
|
| (=> (instance ?COMP EngineeringComponent) (exists (?DEVICE) (and (instance ?DEVICE Device) (component ?COMP ?DEVICE)))) |
Merge.kif 16227-16232 |
|
| consequent |
|
|
|
|
|
