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
(=>     (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
(=>     (instance ?L Lid)     (exists (?C)         (and             (instance ?C Container)             (part ?L ?C)             (capability Closing instrument ?L)             (capability Opening instrument ?L)             (top ?L ?C))))	Mid-level-ontology.kif 4665-4673	If X is an instance of lid, then there exists Y such that Y is an instance of container, X is a part of Y, X is capable of doing closing as a instrument, X is capable of doing opening as a instrument, and the top of Y is X
(=>     (instance ?VD VehicleDoor)     (hasPurpose ?VD         (exists (?C)             (and                 (instance ?C Closing)                 (patient ?C ?VD)))))	Mid-level-ontology.kif 32020-32026	If X is an instance of vehicle door, then X has the purpose there exists Y such that Y is an instance of closing and X is a patient of Y
(=>     (and         (instance ?VD VehicleDoor)         (attribute ?VD DeviceNormal))     (and         (capability Opening patient ?VD)         (capability Closing patient ?VD)))	Mid-level-ontology.kif 32028-32034	If X is an instance of vehicle door and device normal is an attribute of X, then X is capable of doing opening as a patient and X is capable of doing closing as a patient
(=>     (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 ?HS HeatSealer)     (hasPurpose ?HS         (exists (?CLOSE ?PLAST ?CONT ?HEAT)             (and                 (instance ?CONT Container)                 (instance ?PLAST Plastic)                 (instance ?CLOSE Closing)                 (instance ?HEAT Heating)                 (instrument ?CLOSE ?HS)                 (instrument ?CLOSE ?PLAST)                 (agent ?HEAT ?HS)                 (patient ?HEAT ?PLAST)                 (result ?HEAT ?CLOSE)                 (patient ?CLOSE ?CONT)))))	Economy.kif 5512-5526	If X is an instance of heat sealer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of container (3) Z is an instance of plastic (4) Y is an instance of closing (5) V is an instance of heating (6) X is an instrument for Y (7) Z is an instrument for Y (8) X is an agent of V (9) Z is a patient of V (10) Y is a result of V (11) W is a patient of Y
(=>     (attribute ?X Doorman)     (hasPurpose ?X         (exists (?DOOR ?PROC)             (and                 (instance ?DOOR Door)                 (agent ?PROC ?X)                 (patient ?PROC ?DOOR)                 (or                     (instance ?PROC Opening)                     (instance ?PROC Closing))))))	Hotel.kif 2446-2456	If doorman is an attribute of X, then X has the purpose there exist Y, Z such that Y is an instance of door, X is an agent of Z, Y is a patient of Z, and Z is an instance of opening or Z is an instance of closing
(=>     (instance ?CS ChestSeal)     (hasPurpose ?CS         (exists (?C ?CH ?I ?H)             (and                 (instance ?C Closing)                 (instrument ?C ?CS)                 (located ?C ?CH)                 (instance ?CH Chest)                 (instance ?H HoleRegion)                 (equal ?CH                     (HoleHostFn ?H))                 (instance ?I Injuring)                 (located ?I ?CH)                 (earlier                     (WhenFn ?I)                     (WhenFn ?C))))))	Medicine.kif 807-823	If X is an instance of chest seal, 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 closing (3) X is an instrument for Y (4) Y is located at Z (5) Z is an instance of chest (6) V is an instance of hole (7) equal Z (8) the host of the hole V (9) W is an instance of injuring (10) W is located at Z (11) the time of existence of W happens earlier than the time of existence of Y

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners