No TPTP formula. May not be expressible in strict first order. | engineering.kif 1116-1116 | RemoteControl e' uma sub-classe de Controller |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 413-413 | TVRemoteControl e' uma sub-classe de RemoteControl |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3761-3761 | RemoteIgnitionControl e' uma sub-classe de RemoteControl |