| (subclass Controller EngineeringComponent) | engineering.kif 1114-1114 | Controller est une sous-classe de composant d'un appareil |
| (subclass RemoteControl Controller) | engineering.kif 1116-1116 | RemoteControl est une sous-classe de Controller |
| (subclass TemperatureControl Controller) | engineering.kif 1133-1133 | TemperatureControl est une sous-classe de Controller |
|
|