consequent

(=>     (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 ?LOCK ElectronicLock)     (hasPurpose ?LOCK         (exists (?ES ?PROC)             (and                 (instance ?ES ElectronicSignalling)                 (destination ?ES ?LOCK)                 (instance ?PROC Opening)                 (instrument ?PROC ?LOCK)                 (before                     (BeginFn                         (WhenFn ?ES))                     (BeginFn                         (WhenFn ?PROC)))))))	Mid-level-ontology.kif 28355-28366	If X is an instance of electronic lock, then X has the purpose there exist Y, Z such that Y is an instance of electronic signalling, Y ends up at X, Z is an instance of opening, X is an instrument for Z, and the beginning of the time of existence of Y happens before the beginning of the time of existence of Z
(=>     (instance ?VD VehicleDoor)     (hasPurpose ?VD         (exists (?O)             (and                 (instance ?O Opening)                 (patient ?O ?VD)))))	Mid-level-ontology.kif 32012-32018	If X is an instance of vehicle door, then X has the purpose there exists Y such that Y is an instance of opening 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 ?MHCV ManifoldHeatControlValve)     (hasPurpose ?MHCV         (exists (?H ?O ?E ?FV ?T)             (and                 (instance ?H Heating)                 (instance ?O Opening)                 (instance ?E Exhaust)                 (instance ?T Transfer)                 (instance ?FV FuelVapor)                 (patient ?O ?MHCV)                 (instrument ?H ?E)                 (patient ?H ?FV)                 (path ?T ?MHCV)                 (causes ?O ?T)                 (causes ?T ?H)))))	Cars.kif 3152-3167	If X is an instance of manifold heat control valve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of heating (3) Z is an instance of opening (4) W is an instance of exhaust (5) U is an instance of transfer (6) V is an instance of fuel vapor (7) X is a patient of Z (8) W is an instrument for Y (9) V is a patient of Y (10) X is path along which U occurs (11) Z causes U (12) U causes Y
(=>     (instance ?RA RockerArm)     (hasPurpose ?RA         (exists (?P1 ?C ?P2 ?V ?O ?FSE)             (and                 (instance ?P1 Pushing)                 (instance ?C Cam)                 (instance ?P2 Pushing)                 (instance ?V Valve)                 (instance ?O Opening)                 (instance ?FSE FourStrokeEngine)                 (part ?RA ?FSE)                 (part ?C ?FSE)                 (part ?V ?FSE)                 (instrument ?P1 ?C)                 (destination ?P1 ?RA)                 (instrument ?P2 ?RA)                 (destination ?P2 ?V)                 (causes ?P1 ?P2)                 (causes ?P2 ?O)                 (patient ?O ?V)))))	Cars.kif 3713-3733	If X is an instance of rocker arm, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of pushing (3) Z is an instance of cam (4) W is an instance of pushing (5) V is an instance of valve (6) U is an instance of opening (7) T is an instance of four stroke engine (8) X is a part of T (9) Z is a part of T (10) V is a part of T (11) Z is an instrument for Y (12) Y ends up at X (13) X is an instrument for W (14) W ends up at V (15) Y causes W (16) W causes U (17) V is a patient of U
(=>     (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 ?CO CanOpener)     (hasPurpose ?CO         (exists (?OPEN ?C)             (and                 (instance ?C Can)                 (instance ?OPEN Opening)                 (patient ?OPEN ?C)                 (instrument ?OPEN ?CO)))))	Society.kif 699-707	If X is an instance of CanOpener, then X has the purpose there exist Y, Z such that Z is an instance of Can, Y is an instance of opening, Z is a patient of Y, and X is an instrument for Y
(=>     (and         (instance ?J JawDropping)         (agent ?J ?A)         (instance ?M Mouth)         (part ?M ?A))     (exists (?O)         (and             (instance ?O Opening)             (subProcess ?O ?J)             (patient ?O ?M)             (holdsDuring                 (BeginFn                     (WhenFn ?O))                 (attribute ?M Closed))             (holdsDuring                 (EndFn                     (WhenFn ?O))                 (attribute ?M Open)))))	emotion.kif 2157-2175	If X is an instance of jaw dropping, Y is an agent of X, Z is an instance of mouth, and Z is a part of Y, then there exists W such that W is an instance of opening, W is a subprocess of X, Z is a patient of W, closed is an attribute of Z holds during the beginning of the time of existence of W, and open is an attribute of Z holds during the end of the time of existence of W

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