Key
|
|
appearance as argument number 1 |
(documentation Key EnglishLanguage "A Device which opens and closes a Lock.") | Mid-level-ontology.kif 2668-2668 | |
(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 2667-2667 | 子類 鍵 and 安全裝置 |
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 2670-2692 |
|
consequent |