| EngineeringComponent(abhiyaantrikI ghataka)
| |
| 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 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain connectedEngineeringComponents 1 EngineeringComponent) | Merge.kif 16257-16257 | |
| (domain connectedEngineeringComponents 2 EngineeringComponent) | Merge.kif 16258-16258 | |
| (domain connectsEngineeringComponents 2 EngineeringComponent) | Merge.kif 16320-16320 | |
| (domain connectsEngineeringComponents 3 EngineeringComponent) | Merge.kif 16321-16321 | |
| (domain engineeringSubcomponent 1 EngineeringComponent) | Merge.kif 16246-16246 | |
| (domain engineeringSubcomponent 2 EngineeringComponent) | Merge.kif 16247-16247 | |
| (domainSubclass models 2 EngineeringComponent) | engineering.kif 63-63 | |
| (domainSubclass protocolForConnector 2 EngineeringComponent) | ComputingBrands.kif 2854-2854 |
| antecedent |
|
|
| (=> (instance ?COMP EngineeringComponent) (exists (?DEVICE) (and (instance ?DEVICE Device) (component ?COMP ?DEVICE)))) |
Merge.kif 16227-16232 |
| 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 | |
| (=> (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 16234-16242 | |
| (=> (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 |
|
|
|