|
|
   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 | ElectronicLock は Lock の subclass では %n |
| 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 |
|
|
|
|