Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Locked
|
|
|
| appearance as argument number 1 |
|
|
| (instance Locked RelationalAttribute) | Mid-level-ontology.kif 3295-3295 | Locked is an instance of relational attribute |
| (documentation Locked EnglishLanguage "An Attribute of Objects. A Locked Object is in some way restricted in movement, there is some movement, that the the Object can not performed, when it's locked.") | Mid-level-ontology.kif 3296-3297 | Locked is an instance of relational attribute |
| (externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/2/21/ Kathmandu-05.JPG") | pictureList.kif 10099-10099 | Locked is an instance of relational attribute |
| (externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/6/63/ Master_Padlock.jpg") | pictureList.kif 11357-11357 | Locked is an instance of relational attribute |
| (externalImage Locked "http://upload.wikimedia.org/wikipedia/commons/c/c6/ Locking_mechanism_on_box_recovered_from_the_Vasa.jpg") | pictureList.kif 11358-11358 | Locked is an instance of relational attribute |
| (externalImage Locked "http://upload.wikimedia.org/wikipedia/en/d/dc/Two_holes_no_waiting.JPG") | pictureList.kif 11359-11359 | Locked is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?X Locked)) (exists (?LOCK ?CLOSE ?MOVE) (and (instance ?LOCK Lock) (connected ?LOCK ?X) (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (instance ?MOVE Motion) (earlier (WhenFn ?CLOSE) ?T) (holdsDuring ?T (not (modalAttribute (patient ?MOVE ?X) Possibility)))))) |
Mid-level-ontology.kif 3299-3314 | If locked is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of lock (3) Z is connected to X (4) W is an instance of closing (5) Z is a patient of W (6) V is an instance of motion (7) the time of existence of W happens earlier than Y (8) the statement X is not a patient of V doesn't have the modal force of possibility holds during Y |
| (=> (attribute ?X Locked) (instance ?X Object)) |
Mid-level-ontology.kif 3316-3318 | If locked is an attribute of X, then X is an instance of object |
| consequent |
|
|
| (=> (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 (WhenFn ?CLOSE)) (attribute ?LOCK Locked)))) instrument ?X) (capability (KappaFn ?OPEN (and (instance ?OPEN Closing) (patient ?OPEN ?LOCK) (holdsDuring (ImmediateFutureFn (WhenFn ?OPEN)) (not (attribute ?LOCK Locked))))) instrument ?X))))) |
Mid-level-ontology.kif 3269-3293 | If X is an instance of key, then X has the purpose there exist Y, Z, W such that Y is an instance of lock, X is capable of doing the class described by Z as a instrument, and X is capable of doing the class described by W as a instrument |
| (=> (instance ?X FuelCapLock) (hasPurpose ?X (exists (?TANK ?HOLE ?T) (and (instance ?TANK GasTank) (hole ?HOLE ?TANK) (decreasesLikelihood (holdsDuring ?T (and (connected ?X ?HOLE) (attribute ?X Locked))) (holdsDuring ?T (exists (?STEAL ?FUEL) (and (instance ?STEAL Stealing) (instance ?FUEL Fuel) (located ?FUEL ?TANK) (patient ?STEAL ?FUEL))))))))) |
Cars.kif 953-971 | If X is an instance of fuel cap lock, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of gas tank (3) Z is a hole in Y (4) X is connected to Z (5) locked is an attribute of X holds during W decreases likelihood of there exist V (6) U such that V is an instance of stealing (7) U is an instance of fuel (8) U is located at Y (9) U is a patient of V holds during W |
| (=> (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 |
| (=> (instance ?X SteeringColumnLock) (hasPurpose ?X (exists (?SC ?P ?CAR ?T) (and (instance ?SC SteeringColumn) (instance ?CAR Automobile) (component ?SC ?CAR) (part ?X ?SC) (instance ?P Protecting) (instrument ?P ?X) (decreasesLikelihood (holdsDuring ?T (attribute ?X Locked)) (holdsDuring ?T (exists (?STEAL) (and (instance ?STEAL Stealing) (patient ?STEAL ?CAR))))))))) |
Cars.kif 3864-3882 | If X is an instance of steering column lock, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of steering column (3) W is an instance of automobile (4) Y is a component of W (5) X is a part of Y (6) Z is an instance of protecting (7) X is an instrument for Z (8) locked is an attribute of X holds during V decreases likelihood of there exists U such that U is an instance of stealing (9) W is a patient of U holds during V |
|
