Key
|
|
appearance as argument number 1 |
(documentation Key EnglishLanguage "A Device which opens and closes a Lock.") | Mid-level-ontology.kif 2661-2661 | |
(externalImage Key "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_3/ key_2.png") | pictureList.kif 537-537 | |
(externalImage Key "http://upload.wikimedia.org/wikipedia/commons/5/5f/Key.agr.jpg") | pictureList.kif 120-120 | |
(subclass Key SecurityDevice) | Mid-level-ontology.kif 2660-2660 |
appearance as argument number 2 |
(termFormat ChineseLanguage Key "键") | domainEnglishFormat.kif 32353-32353 | |
(termFormat ChineseTraditionalLanguage Key "鍵") | domainEnglishFormat.kif 32352-32352 | |
(termFormat EnglishLanguage Key "key") | domainEnglishFormat.kif 32351-32351 |
antecedent |
(=> (instance ?X Key) (hasPurpose ?X (exists (?LOCK ?CLOSE ?OPEN) (and (instance ?LOCK Lock) (capability (KappaFn ?CLOSE (and (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (holdsDuring (ImmediateFutureFn ?CLOSE) (attribute ?LOCK Locked)))) instrument ?X) (capability (KappaFn ?OPEN (and (instance ?OPEN Closing) (patient ?OPEN ?LOCK) (holdsDuring (ImmediateFutureFn ?OPEN) (not (attribute ?LOCK Locked))))) instrument ?X))))) |
Mid-level-ontology.kif 2663-2685 |
consequent |
(=> (instance ?X RemoteKeylessSystem) (exists (?KEY ?LOCK ?CLOSE ?OPEN) (and (instance ?KEY Key) (instance ?KEY RemoteControl) (member ?KEY ?X) (instance ?LOCK Lock) (member ?LOCK ?X) (capability (KappaFn ?CLOSE (and (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (holdsDuring (ImmediateFutureFn ?CLOSE) (attribute ?LOCK Locked)))) instrument ?KEY) (capability (KappaFn ?OPEN (and (instance ?OPEN Closing) (patient ?OPEN ?LOCK) (holdsDuring (ImmediateFutureFn ?OPEN) (not (attribute ?LOCK Locked))))) instrument ?KEY)))) |
Cars.kif 3760-3785 |