consequent

! [V__CLOUD] : ((s__instance(V__CLOUD,s__Cloud) =>      s__capability(s__Seeing,s__patient,V__CLOUD)) )	Merge.kif 15066-15068	If X is an instance of cloud, then X is capable of doing seeing as a patient
! [V__D : $i] : ((s__instance(V__D, s__OpticalDevice) => s__hasPurpose(V__D, ( ? [V__S:$i] : ((s__instance(V__S, s__Seeing) & s__instrument(V__S, V__D)))))))	Mid-level-ontology.kif 3096-3102	If X is an instance of optical device, then X has the purpose there exists Y such that Y is an instance of seeing and X is an instrument for Y
! [V__C : $i,V__OBJ : $i] : (((s__instance(V__C, s__Concealing) & s__patient(V__C, V__OBJ)) => s__hasPurpose(V__C, ~(( ? [V__S:$i] : ((s__instance(V__S, s__Seeing) & s__patient(V__S, V__OBJ))))))))	Mid-level-ontology.kif 6608-6617	If X is an instance of concealing and Y is a patient of X, then X has the purpose there doesn't exist Z such that Z is an instance of seeing and Y is a patient of Z
! [V__AUDITORIUM : $i,V__PERSON : $i,V__SEAT : $i,V__SEEING : $i,V__STAGE : $i] : (((s__instance(V__SEAT, s__AuditoriumSeat) & s__part(V__SEAT, V__AUDITORIUM) & s__part(V__STAGE, V__AUDITORIUM) & s__instance(V__AUDITORIUM, s__Auditorium) & s__instance(V__STAGE, s__PerformanceStage) & s__located(V__PERSON, V__SEAT) & s__instance(V__PERSON, s__Human)) => s__capability(s__KappaFn(V__SEEING, (s__instance(V__SEEING, s__Seeing) & s__patient(V__SEEING, V__STAGE))), s__agent, V__PERSON)))	Mid-level-ontology.kif 8648-8661	If All of the following hold: (1) X is an instance of auditorium seat (2) X is a part of Y (3) Z is a part of Y (4) Y is an instance of auditorium (5) Z is an instance of performance stage (6) W is located at X (7) W is an instance of human, then W is capable of doing the class described by V as a agent
! [V__EYE] : ((s__instance(V__EYE,s__Eye) =>      s__capability(s__Seeing,s__instrument,V__EYE)) )	Mid-level-ontology.kif 13617-13619	If X is an instance of eye, then X is capable of doing seeing as a instrument
! [V__O : $i] : ((s__attribute(V__O, s__Transparent) => s__modalAttribute(( ? [V__S:$i, V__A:$i, V__D:$i] : ((s__instance(V__S, s__Seeing) & s__agent(V__S, V__A) & s__destination(V__S, V__D) & s__between(V__O, V__A, V__D)))), s__Possibility)))	Mid-level-ontology.kif 16699-16708	If transparent is an attribute of X, then the statement there exist Y, Z, W such that Y is an instance of seeing, Z is an agent of Y, Y ends up at W, Z is between X, and W has the modal force of possibility
! [V__O : $i] : ((s__attribute(V__O, s__Translucent) => s__modalAttribute(~(( ? [V__S:$i, V__A:$i, V__D:$i] : ((s__instance(V__S, s__Seeing) & s__agent(V__S, V__A) & s__destination(V__S, V__D) & s__between(V__O, V__A, V__D))))), s__Likely)))	Mid-level-ontology.kif 16715-16725	If translucent is an attribute of X, then the statement there don't exist Y, Z, W such that Y is an instance of seeing, Z is an agent of Y, Y ends up at W, Z is between X, and W has the modal force of likely
! [V__AGENT] : ((s__instance(V__AGENT,s__Object) =>      (s__attribute(V__AGENT,s__Blind) =>        ~(s__capability(s__Seeing,s__agent,V__AGENT)))) )	Mid-level-ontology.kif 21676-21678	If blindness is an attribute of X, then X is not capable of doing seeing as a agent
! [V__O,V__H] : (((s__instance(V__O,s__OpeningEye) &        s__agent(V__O,V__H)      &      s__instance(V__H,s__Human) &      ~(s__attribute(V__H,s__Blind)))    =>    (? [V__S,V__R] :      ((s__instance(V__S,s__Seeing) &          s__agent(V__S,V__H)        &        s__patient(V__S,V__R)      &      s__instance(V__R,s__RadiatingVisibleLight) &      s__during(s__WhenFn(V__S)   ,s__WhenFn(V__O)))))) )	Mid-level-ontology.kif 22112-22127	If X is an instance of opening eye, Y is an agent of X, Y is an instance of human, and blindness is not an attribute of Y, then there exist Z, W such that Z is an instance of seeing, Y is an agent of Z, W is a patient of Z, W is an instance of radiating visible light, and the time of existence of Z takes place during the time of existence of X
! [V__ACTOR,V__DRAMA,V__SPEAK] : ((s__instance(V__ACTOR,s__AutonomousAgent) =>      ((s__attribute(V__ACTOR,s__VoiceActor) &          s__instance(V__DRAMA,s__DramaticActing) &          s__agent(V__DRAMA,V__ACTOR)        &        s__instance(V__SPEAK,s__LinguisticCommunication) &        s__agent(V__SPEAK,V__ACTOR)      &      s__subProcess(V__SPEAK,V__DRAMA)) => (~((? [V__S,V__VIEWER] :        ((s__instance(V__VIEWER,s__AutonomousAgent) &            (s__instance(V__S,s__Seeing) &              s__patient(V__S,V__ACTOR)            &            s__agent(V__S,V__VIEWER)))))) & (? [V__H,V__VIEWER] : ((s__instance(V__VIEWER,s__AutonomousAgent) &      (s__instance(V__H,s__Hearing) &        s__patient(V__H,V__ACTOR)      &      s__agent(V__H,V__VIEWER)))))))) )	Biography.kif 760-779	If All of the following hold: (1) voice actor is an attribute of X (2) Y is an instance of dramatic acting (3) X is an agent of Y (4) Z is an instance of linguistic communication (5) X is an agent of Z (6) Z is a subprocess of Y, then there don't exist W, V such that W is an instance of seeing, X is a patient of W, and V is an agent of W and there exist U, V such that U is an instance of hearing, X is a patient of U, and V is an agent of U
! [V__E : $i] : ((s__instance(V__E, s__Exhaust) => s__modalAttribute(s__capability(s__Seeing, s__patient, V__E), s__Possibility)))	Cars.kif 1099-1103	If X is an instance of exhaust, then the statement X is capable of doing seeing as a patient has the modal force of possibility
! [V__E : $i] : ((s__instance(V__E, s__Exhaust) => s__modalAttribute(~(s__capability(s__Seeing, s__patient, V__E)), s__Possibility)))	Cars.kif 1105-1110	If X is an instance of exhaust, then the statement X is not capable of doing seeing as a patient has the modal force of possibility
! [V__SV : $i] : ((s__instance(V__SV, s__SafetyVest) => s__hasPurpose(V__SV, ( ? [V__PERSON:$i, V__SPECTATOR:$i] : ((s__instance(V__PERSON, s__Animal) & s__instance(V__SPECTATOR, s__Human) & s__increasesLikelihood(s__wears(V__PERSON, V__SV), ( ? [V__SEE:$i] : ((s__instance(V__SEE, s__Seeing) & s__patient(V__SEE, V__PERSON) & s__experiencer(V__SEE, V__SPECTATOR))))) & s__decreasesLikelihood(( ? [V__SEE:$i] : ((s__instance(V__SEE, s__Seeing) & s__patient(V__SEE, V__PERSON) & s__experiencer(V__SEE, V__SPECTATOR)))), ( ? [V__INJ:$i] : ((s__instance(V__INJ, s__Injuring) & s__agent(V__INJ, V__SPECTATOR) & s__patient(V__INJ, V__PERSON)))))))))))	Cars.kif 3422-3446	If X is an instance of safety vest, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of animal (3) Z is an instance of human (4) Y wears X increases likelihood of there exists W such that W is an instance of seeing (5) Y is a patient of W (6) Z experiences W (7) there exists W such that W is an instance of seeing (8) Y is a patient of W (9) Z experiences W decreases likelihood of there exists V such that V is an instance of injuring (10) Z is an agent of V (11) Y is a patient of V
! [V__INST : $i,V__OBJ : $i,V__ROOM : $i] : (((s__viewType(V__ROOM, V__OBJ) & s__instance(V__ROOM, s__Room) & s__instance(V__INST, V__OBJ) & s__orientation(V__INST, V__ROOM, s__Outside)) => s__modalAttribute(( ? [V__HUMAN:$i, V__SEE:$i] : ((s__instance(V__HUMAN, s__Human) & s__located(V__HUMAN, V__ROOM) & s__instance(V__SEE, s__Seeing) & s__patient(V__SEE, V__INST) & s__agent(V__SEE, V__HUMAN)))), s__Possibility)))	Hotel.kif 962-975	If a person in X can see Y, X is an instance of room, Z is an instance of Y, and Z is outside of to X, then the statement there exist W, V such that W is an instance of human, W is located at X, V is an instance of seeing, Z is a patient of V, and W is an agent of V has the modal force of possibility
! [V__X : $i] : ((s__attribute(V__X, s__ArtsAndRecreationTicketingServices) => s__hasPurpose(V__X, ( ? [V__SELL:$i, V__TICKET:$i, V__CUST:$i] : ((s__instance(V__SELL, s__Selling) & s__patient(V__SELL, V__TICKET) & s__agent(V__SELL, V__X) & s__instance(V__TICKET, s__Ticket) & s__destination(V__SELL, V__CUST) & s__hasPurpose(V__TICKET, s__confersRight(V__X, V__CUST, ( ? [V__WATCH:$i, V__PERF:$i] : ((s__instance(V__WATCH, s__Seeing) & s__agent(V__WATCH, V__CUST) & s__patient(V__WATCH, V__PERF) & (s__instance(V__PERF, s__Performance) | s__instance(V__PERF, s__Sport)))))))))))))	Hotel.kif 2371-2390	If arts and recreation tickets is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of selling (3) Z is a patient of Y (4) X is an agent of Y (5) Z is an instance of ticket (6) Y ends up at W (7) Z has the purpose W allows there exist V (8) U such that V is an instance of seeing (9) W is an agent of V (10) U is a patient of V (11) U is an instance of performance or U is an instance of sport to perform task of the type X
! [V__OBJ,V__AGENT,V__TIME,V__PLACE] : (((s__instance(V__OBJ,s__Object) &        s__instance(V__AGENT,s__AutonomousAgent) &        s__instance(V__TIME,s__TimeInterval) &        s__instance(V__PLACE,s__Object))      =>      (s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE)      =>      (? [V__SEEING] :        ((s__instance(V__SEEING,s__Seeing) &            s__agent(V__SEEING,V__AGENT)          &          s__during(s__WhenFn(V__SEEING)       ,V__TIME)      &      s__located(V__SEEING,V__PLACE)    &    s__patient(V__SEEING,V__OBJ)))))) )	Justice.kif 51-59	If X is observed at time in place Y for Z with W, then there exists V such that V is an instance of seeing, Y is an agent of V, the time of existence of V takes place during Z, V is located at W, and X is a patient of V
! [V__OBJ,V__AGENT,V__TIME,V__PLACE] : (((s__instance(V__OBJ,s__Object) &        s__instance(V__AGENT,s__AutonomousAgent) &        s__instance(V__TIME,s__TimePosition) &        s__instance(V__PLACE,s__Object))      =>      (s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE)      =>      s__playsRoleInEventOfType(V__OBJ,s__patient,s__Seeing,V__TIME,V__PLACE))) )	Justice.kif 71-73	If X is observed at time in place Y for Z with W, then X plays role in event of type patient for seeing with Z and W
! [V__OBJ,V__AGENT,V__TIME,V__PLACE] : (((s__instance(V__OBJ,s__Object) &        s__instance(V__AGENT,s__AutonomousAgent) &        s__instance(V__TIME,s__TimePosition) &        s__instance(V__PLACE,s__Object))      =>      (s__observedAtTimeInPlace(V__OBJ,V__AGENT,V__TIME,V__PLACE)      =>      s__playsRoleInEventOfType(V__AGENT,s__agent,s__Seeing,V__TIME,V__PLACE))) )	Justice.kif 75-77	If X is observed at time in place Y for Z with W, then Y plays role in event of type agent for seeing with Z and W
! [V__A : $i,V__G : $i,V__T : $i] : (((s__instance(V__G, s__Public) & s__member(V__A, V__G) & s__holdsDuring(V__T, s__attribute(V__A, s__Embarrassment))) => s__disapproves(V__A, ( ? [V__P:$i, V__S:$i] : ((s__instance(V__P, s__Process) & s__agent(V__P, V__A) & s__instance(V__S, s__Seeing) & s__patient(V__S, V__P) & s__agent(V__S, V__G) & s__meetsTemporally(s__WhenFn(V__P), V__T)))))))	emotion.kif 1549-1564	If X is an instance of public, Y is a member of X, and embarrassment is an attribute of Y holds during Z, then All of the following hold: (1) there exist W (2) V such that W is an instance of process (3) Y is an agent of W (4) V is an instance of seeing (5) W is a patient of V (6) X is an agent of V (7) the time of existence of W meets Z is a disapproves 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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners