RemoteKeylessSystem(remote keyless system) |
appearance as argument number 1 |
(documentation RemoteKeylessSystem EnglishLanguage "A SecurityDevice that consists of two parts a Key and a matching Lock. The Key is also a RemoteControl that controls the &Ľock.") | Cars.kif 3774-3774 | |
(subclass RemoteKeylessSystem Collection) | Cars.kif 3773-3773 | Remote keyless system is a subclass of collection |
(subclass RemoteKeylessSystem SecurityDevice) | Cars.kif 3772-3772 | Remote keyless system is a subclass of security device |
appearance as argument number 2 |
(termFormat EnglishLanguage RemoteKeylessSystem "remote keyless system") | domainEnglishFormat.kif 65404-65404 |
antecedent |