more pictures...
| Controller(controller)
more pictures... | | control, controller, cruise_control, dial, disk_controller, handwheel, regulator |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1111-1112 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9967-9967 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10758-10758 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10754-10754 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10757-10757 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10756-10756 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1113-1113 | Controller is a subclass of engineering component |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1115-1115 | Remote control is a subclass of controller |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1132-1132 | Temperature control is a subclass of controller |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17043-17043 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17042-17042 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17041-17041 |
|
|
|