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 25783-25784 | |
(subclass ElectronicLock Lock) | Mid-level-ontology.kif 25782-25782 | ElectronicLock 是 锁 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage ElectronicLock "electronic lock") | Mid-level-ontology.kif 25785-25785 |
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 25787-25798 |