Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RemoteKeylessSystem(remote keyless system) |
| appearance as argument number 1 |
|
| (subclass RemoteKeylessSystem SecurityDevice) | Cars.kif 3639-3639 | Remote keyless system is a subclass of security device |
| (subclass RemoteKeylessSystem CollectionOfObjects) | Cars.kif 3640-3640 | Remote keyless system is a subclass of collection |
| (documentation RemoteKeylessSystem EnglishLanguage "A SecurityDevice that consists of two parts a Key and a matching Lock. The Key is also a RemoteControl that controls the &Ľock.") | Cars.kif 3641-3641 | Remote keyless system is a subclass of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RemoteKeylessSystem "remote keyless system") | domainEnglishFormat.kif 65407-65407 |
| antecedent |
|
|
| (=> (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 (WhenFn ?CLOSE)) (attribute ?LOCK Locked)))) instrument ?KEY) (capability (KappaFn ?OPEN (and (instance ?OPEN Closing) (patient ?OPEN ?LOCK) (holdsDuring (ImmediateFutureFn (WhenFn ?OPEN)) (not (attribute ?LOCK Locked))))) instrument ?KEY)))) |
Cars.kif 3642-3669 | If X is an instance of remote keyless system, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of key (3) Y is an instance of remote control (4) Y is a member of X (5) Z is an instance of lock (6) Z is a member of X (7) Y is capable of doing the class described by W as a instrument (8) Y is capable of doing the class described by V as a instrument |
|