|
|
   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 |
| 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 |
|
|
|