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 25771-25772 | |
(subclass ElectronicLock Lock) | Mid-level-ontology.kif 25770-25770 | ElectronicLock ist eine teilkategorie von Lock |
appearance as argument number 2 |
(termFormat EnglishLanguage ElectronicLock "electronic lock") | Mid-level-ontology.kif 25773-25773 |
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 25775-25786 |
|