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 1112-1113 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9959-9959 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10748-10748 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10744-10744 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10747-10747 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10746-10746 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1114-1114 | 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 1116-1116 | Remote control is a subclass of controller |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1133-1133 | Temperature control is a subclass of controller |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17052-17052 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17051-17051 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17050-17050 |