consequent

(=>     (and         (attribute ?ACTOR VoiceActor)         (instance ?DRAMA DramaticActing)         (agent ?DRAMA ?ACTOR)         (instance ?SPEAK LinguisticCommunication)         (agent ?SPEAK ?ACTOR)         (subProcess ?SPEAK ?DRAMA))     (and         (not             (exists (?S ?VIEWER)                 (and                     (instance ?S Seeing)                     (patient ?S ?ACTOR)                     (agent ?S ?VIEWER))))         (exists (?H ?VIEWER)             (and                 (instance ?H Hearing)                 (patient ?H ?ACTOR)                 (agent ?H ?VIEWER)))))	Biography.kif 765-784	If voice actor is an attribute of an agent and a process is an instance of dramatic acting and the agent is an agent of the process and another process is an instance of linguistic communication and the agent is an agent of the other process and the other process is a subprocess of the process, then there don't exist a third process and another agent such that the third process is an instance of seeing and the agent is a patient of the third process and the other agent is an agent of the third process and there exist a fourth process and the other agent such that the fourth process is an instance of hearing and the agent is a patient of the fourth process and the other agent is an agent of the fourth process
(=>     (and         (instance ?C Concealing)         (patient ?C ?OBJ))     (hasPurpose ?C         (not             (exists (?S)                 (and                     (instance ?S Seeing)                     (patient ?S ?OBJ))))))	Mid-level-ontology.kif 6422-6431	If a process is an instance of concealing and an entity is a patient of the process, then the process has the purpose there doesn't exist another entity such that the other entity is an instance of seeing and the entity is a patient of the other entity
(=>     (and         (viewType ?ROOM ?OBJ)         (instance ?ROOM Room)         (instance ?INST ?OBJ)         (orientation ?INST ?ROOM Outside))     (modalAttribute         (exists (?HUMAN ?SEE)             (and                 (instance ?HUMAN Human)                 (located ?HUMAN ?ROOM)                 (instance ?SEE Seeing)                 (patient ?SEE ?INST)                 (agent ?SEE ?HUMAN))) Possibility))	Hotel.kif 962-975	If a person in an object can see a kind of physical and the object is an instance of room and another object is an instance of a kind of physical and the other object is outside to the object, then the statement there exist an entity and another entity such that the entity is an instance of human and the entity is located at the object and the other entity is an instance of seeing and the other object is a patient of the other entity and the entity is an agent of the other entity has the modal force of possibility
(=>     (attribute ?AGENT Blind)     (not         (capability Seeing agent ?AGENT)))	Mid-level-ontology.kif 21336-21338	If blindness is an attribute of an object, then the object is not capable of doing seeing as a agent
(=>     (attribute ?O Translucent)     (modalAttribute         (not             (exists (?S ?A ?D)                 (and                     (instance ?S Seeing)                     (agent ?S ?A)                     (destination ?S ?D)                     (between ?O ?A ?D)))) Likely))	Mid-level-ontology.kif 16502-16512	If translucent is an attribute of an object, then the statement there don't exist an entity, another entity and a third entity such that the entity is an instance of seeing and the other entity is an agent of the entity and the entity ends up at the third entity and the other entity is between the object and the third entity has the modal force of likely
(=>     (attribute ?O Transparent)     (modalAttribute         (exists (?S ?A ?D)             (and                 (instance ?S Seeing)                 (agent ?S ?A)                 (destination ?S ?D)                 (between ?O ?A ?D))) Possibility))	Mid-level-ontology.kif 16486-16495	If transparent is an attribute of an object, then the statement there exist an entity, another entity and a third entity such that the entity is an instance of seeing and the other entity is an agent of the entity and the entity ends up at the third entity and the other entity is between the object and the third entity has the modal force of possibility
(=>     (attribute ?ROOM OpenLayout)     (and         (instance ?ROOM Room)         (exists (?R1 ?R2 ?H)             (and                 (instance ?R1 Region)                 (instance ?R2 Region)                 (located ?R1 ?ROOM)                 (located ?R2 ?ROOM)                 (not                     (equal ?R1 ?R2))                 (orientation ?R1 ?R2 Adjacent)                 (exists (?P1 ?P2)                     (and                         (instance ?P1 Process)                         (instance ?P2 Process)                         (hasPurpose ?R1 ?P1)                         (hasPurpose ?R2 ?P2)))                 (=>                     (and                         (instance ?H AutonomousAgent)                         (located ?H ?R2))                     (and                         (capability Seeing agent ?H)                         (capability Seeing patient ?R1)))))))	Dining.kif 956-980	If open layout is an attribute of an object, then the object is an instance of room and there exist another object, a third object and a fourth object such that the other object is an instance of region and the third object is an instance of region and the other object is located at the object and the third object is located at the object and equal the other object and the third object and the other object is adjacent to the third object and there exist a formula and another formula such that the formula is an instance of process and the other formula is an instance of process and the other object has the purpose the formula and the third object has the purpose the other formula and if the fourth object is an instance of agent and the fourth object is located at the third object, then the fourth object is capable of doing seeing as a agent and the other object is capable of doing seeing as a patient
(=>     (attribute ?X ArtsAndRecreationTicketingServices)     (hasPurpose ?X         (exists (?SELL ?TICKET ?CUST)             (and                 (instance ?SELL Selling)                 (patient ?SELL ?TICKET)                 (agent ?SELL ?X)                 (instance ?TICKET Ticket)                 (destination ?SELL ?CUST)                 (hasPurpose ?TICKET                     (confersRight                         (exists (?WATCH ?PERF)                             (and                                 (instance ?WATCH Seeing)                                 (agent ?WATCH ?CUST)                                 (patient ?WATCH ?PERF)                                 (or                                     (instance ?PERF Performance)                                     (instance ?PERF Sport)))) ?X ?CUST))))))	Hotel.kif 2364-2383	If arts and recreation tickets is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of selling and the other entity is a patient of the entity and the object is an agent of the entity and the other entity is an instance of ticket and the entity ends up at the third entity and the other entity has the purpose the object allows the third entity to perform task of the type there exist a fourth entity and a fifth entity such that the fourth entity is an instance of seeing and the third entity is an agent of the fourth entity and the fifth entity is a patient of the fourth entity and the fifth entity is an instance of performance or the fifth entity is an instance of sport
(=>     (instance ?CLOUD Cloud)     (capability Seeing patient ?CLOUD))	Merge.kif 14929-14931	If an object is an instance of cloud, then the object is capable of doing seeing as a patient
(=>     (instance ?D OpticalDevice)     (hasPurpose ?D         (exists (?S)             (and                 (instance ?S Seeing)                 (instrument ?S ?D)))))	Mid-level-ontology.kif 2960-2966	If a physical is an instance of optical device, then the physical has the purpose there exists an entity such that the entity is an instance of seeing and the physical is an instrument for the entity
(=>     (instance ?E Exhaust)     (modalAttribute         (capability Seeing patient ?E) Possibility))	Cars.kif 1161-1165	If an entity is an instance of exhaust, then the statement the entity is capable of doing seeing as a patient has the modal force of possibility
(=>     (instance ?E Exhaust)     (modalAttribute         (not             (capability Seeing patient ?E)) Possibility))	Cars.kif 1167-1172	If an entity is an instance of exhaust, then the statement the entity is not capable of doing seeing as a patient has the modal force of possibility
(=>     (instance ?EYE Eye)     (capability Seeing instrument ?EYE))	Mid-level-ontology.kif 13435-13437	If an object is an instance of eye, then the object is capable of doing seeing as a instrument
(=>     (instance ?SV SafetyVest)     (hasPurpose ?SV         (exists (?PERSON ?SPECTATOR)             (and                 (instance ?PERSON Animal)                 (instance ?SPECTATOR Human)                 (increasesLikelihood                     (wears ?PERSON ?SV)                     (exists (?SEE)                         (and                             (instance ?SEE Seeing)                             (patient ?SEE ?PERSON)                             (experiencer ?SEE ?SPECTATOR))))                 (decreasesLikelihood                     (exists (?SEE)                         (and                             (instance ?SEE Seeing)                             (patient ?SEE ?PERSON)                             (experiencer ?SEE ?SPECTATOR)))                     (exists (?INJ)                         (and                             (instance ?INJ Injuring)                             (agent ?INJ ?SPECTATOR)                             (patient ?INJ ?PERSON))))))))	Cars.kif 3619-3643	If a physical is an instance of safety vest, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is an instance of human and the entity wears the physical increases likelihood of there exists a third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity and there exists the third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity decreases likelihood of there exists a fourth entity such that the fourth entity is an instance of injuring and the other entity is an agent of the fourth entity and the entity is a patient of the fourth entity
(=>     (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)     (exists (?SEEING)         (and             (instance ?SEEING Seeing)             (agent ?SEEING ?AGENT)             (during                 (WhenFn ?SEEING) ?TIME)             (located ?SEEING ?PLACE)             (patient ?SEEING ?OBJ))))	Justice.kif 51-59	If an object is observed at time in place an agent for a time interval with another object, then there exists a process such that the process is an instance of seeing and the agent is an agent of the process and the time of existence of the process takes place during the time interval and the process is located at the other object and the object is a patient of the process
(=>     (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)     (playsRoleInEventOfType ?AGENT agent Seeing ?TIME ?PLACE))	Justice.kif 75-77	If an object is observed at time in place an agent for a time position with another object, then the agent plays role in event of type agent for seeing with the time position and the other object
(=>     (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)     (playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE))	Justice.kif 71-73	If an object is observed at time in place an agent for a time position with another object, then the object plays role in event of type patient for seeing with the time position and the other object

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 is open source software produced by Articulate Software and its partners