ElectronicLock |
appearance as argument number 1 |
(documentation ElectronicLock EnglishLanguage "ElectronicLock is a type of Lock that depends on some ElectronicSignalling process to open") | Mid-level-ontology.kif 25816-25817 | |
(subclass ElectronicLock Lock) | Mid-level-ontology.kif 25815-25815 |
appearance as argument number 2 |
(termFormat EnglishLanguage ElectronicLock "electronic lock") | Mid-level-ontology.kif 25818-25818 |
antecedent |
(=> (instance ?LOCK ElectronicLock) (hasPurpose ?LOCK (exists (?ES ?PROC) (and (instance ?ES ElectronicSignalling) (destination ?ES ?LOCK) (instance ?PROC Opening) (instrument ?PROC ?LOCK) (before (BeginFn (WhenFn ?ES)) (BeginFn (WhenFn ?PROC))))))) |
Mid-level-ontology.kif 25820-25831 |