consequent

(=>     (and         (holdsDuring ?T             (attribute ?H AVPUVerbalStatus))         (instance ?S Speaking)         (destination ?S ?H)         (during             (WhenFn ?S) ?T))     (exists (?IA)         (and             (instance ?IA IntentionalProcess)             (agent ?IA ?H)             (during                 (WhenFn ?IA) ?T)             (causes ?S ?IA))))	Medicine.kif 6466-6478	If AVPU verbal status is an attribute of an agent holds during a time interval and a process is an instance of speaking and the process ends up at the agent and the time of existence of the process takes place during the time interval, then there exists another process such that the other process is an instance of intentional process and the agent is an agent of the other process and the time of existence of the other process takes place during the time interval and the process causes the other process
(=>     (and         (instance ?A AutonomousAgent)         (holdsDuring ?T             (attribute ?A Motionless)))     (not         (exists (?P)             (and                 (instance ?P BodyMotion)                 (instance ?P IntentionalProcess)                 (agent ?P ?A)                 (during                     (WhenFn ?P) ?T)))))	Mid-level-ontology.kif 32143-32154	If an agent is an instance of agent and motionless is an attribute of the agent holds during a time interval, then there doesn't exist a process such that the process is an instance of body motion and the process is an instance of intentional process and the agent is an agent of the process and the time of existence of the process takes place during the time interval
(=>     (and         (instance ?DECIDE Deciding)         (agent ?DECIDE ?A)         (patient ?DECIDE ?S)         (instance ?S Set)         (result ?DECIDE ?X)         (instance ?X ContentBearingPhysical))     (containsFormula ?X         (holdsDuring             (FutureFn                 (WhenFn ?DECIDE))             (exists (?M)                 (and                     (element ?M ?S)                     (instance ?M IntentionalProcess)                     (agent ?M ?A))))))	Merge.kif 12193-12209	If a process is an instance of deciding and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of set and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing physical, then the content bearing physical contains the formula there exists another entity such that the other entity is an element of the entity and the other entity is an instance of intentional process and the agent is an agent of the other entity holds during after the time of existence of the process
(=>     (and         (instance ?DECIDE Deciding)         (agent ?DECIDE ?AGENT)         (instance ?S Set)         (patient ?DECIDE ?S)         (element ?M ?S))     (believes ?AGENT         (exists (?CLASS)             (and                 (instance ?M ?CLASS)                 (subclass ?CLASS IntentionalProcess)                 (capability ?CLASS agent ?AGENT)))))	Merge.kif 12161-12173	If a process is an instance of deciding and a cognitive agent is an agent of the process and a set is an instance of set and the set is a patient of the process and an entity is an element of the set, then the cognitive agent believes there exists another entity such that the entity is an instance of the other entity and the other entity is a subclass of intentional process and the cognitive agent is capable of doing the other entity as a agent
(=>     (and         (reservationStart ?TIME1 ?R)         (reservationEnd ?TIME2 ?R)         (reservingEntity ?CUST ?R)         (fulfillingEntity ?AGENT ?R))     (modalAttribute         (holdsDuring             (TimeIntervalFn ?TIME1 ?TIME2)             (exists (?P)                 (and                     (instance ?P IntentionalProcess)                     (agent ?P ?AGENT)                     (destination ?P ?CUST)))) Likely))	Dining.kif 711-724	If a reservation starts at a time point and the reservation ends at another time point and an agent reserves the reservation and another agent fulfills the reservation, then the statement there exists an entity such that the entity is an instance of intentional process and the other agent is an agent of the entity and the entity ends up at the agent holds during interval between the time point and the other time point has the modal force of likely
(=>     (attribute ?A Bored)     (exists (?DO)         (and             (instance ?DO IntentionalProcess)             (agent ?DO ?A)             (holdsDuring                 (WhenFn ?DO)                 (desires ?A                     (not                         (agent ?DO ?A)))))))	Mid-level-ontology.kif 21403-21412	If bored is an attribute of an agent, then there exists a process such that the process is an instance of intentional process and the agent is an agent of the process and the agent desires the agent is not an agent of the process holds during the time of existence of the process
(=>     (attribute ?HUMAN         (ProfessionalFn ?SOCIALROLE))     (exists (?WORK ?PROC)         (and             (instance ?WORK Working)             (agent ?WORK ?HUMAN)             (subProcess ?PROC ?WORK)             (instance ?PROC ?CLASS)             (subclass ?CLASS IntentionalProcess)             (hasSkillInRole ?CLASS ?SOCIALROLE ?HUMAN))))	Mid-level-ontology.kif 9447-9457	If profession a social role is an attribute of an agent, then there exist a process and another process such that the process is an instance of working and the agent is an agent of the process and the other process is a subprocess of the process and the other process is an instance of a third kind of process and a third kind of process is a subclass of intentional process and the agent has the skill to do the third kind of process in their role as the social role
(=>     (attribute ?X TourArrangementAndReservationServices)     (hasPurpose ?X         (exists (?PROC ?RESERVE)             (and                 (instance ?RESERVE TourReservation)                 (instance ?PROC IntentionalProcess)                 (agent ?PROC ?X)                 (or                     (result ?PROC ?RESERVE)                     (patient ?PROC ?RESERVE))))))	Hotel.kif 2347-2357	If tour arrangement and reservation services is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of tour reservation and the entity is an instance of intentional process and the object is an agent of the entity and the other entity is a result of the entity or the other entity is a patient of the entity
(=>     (attribute ?X TravelArrangementAndReservationServices)     (hasPurpose ?X         (exists (?PROC ?RESERVE)             (and                 (instance ?RESERVE TravelReservation)                 (instance ?PROC IntentionalProcess)                 (agent ?PROC ?X)                 (or                     (result ?PROC ?RESERVE)                     (patient ?PROC ?RESERVE))))))	naics.kif 10451-10461	If travel arrangement and reservation services is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of travel reservation and the entity is an instance of intentional process and the object is an agent of the entity and the other entity is a result of the entity or the other entity is a patient of the entity
(=>     (contestEntry ?ENT ?AGENT ?CONT)     (exists (?P ?J)         (and             (instance ?P IntentionalProcess)             (agent ?P ?AGENT)             (result ?P ?ENT)             (instance ?J Judging)             (patient ?J ?ENT))))	Music.kif 1086-1094	If a cognitive agent entered an entity in a contest, then there exist a process and another process such that the process is an instance of intentional process and the cognitive agent is an agent of the process and the entity is a result of the process and the other process is an instance of judging and the entity is a patient of the other process
(=>     (equal ?S         (RemixFn ?M ?A))     (exists (?P)         (and             (instance ?P IntentionalProcess)             (patient ?P ?M)             (agent ?P ?A)             (result ?P ?S)             (not                 (equal ?S ?M))             (not                 (copy ?S ?M)))))	Music.kif 891-900	If equal a music recording and the remix of another music recording by a cognitive agent, then there exists a process such that the process is an instance of intentional process and the other music recording is a patient of the process and the cognitive agent is an agent of the process and the music recording is a result of the process and equal the music recording and the other music recording and the music recording is not a copy of the other music recording
(=>     (holdsDuring ?T         (attribute ?H Coma))     (not         (exists (?IP)             (and                 (instance ?IP IntentionalProcess)                 (agent ?IP ?H)                 (during ?T                     (WhenFn ?IP))))))	Medicine.kif 5223-5232	If in a coma is an attribute of an agent holds during a time interval, then there doesn't exist a process such that the process is an instance of intentional process and the agent is an agent of the process and the time interval takes place during the time of existence of the process
(=>     (holdsDuring ?T         (attribute ?H Conscious))     (holdsDuring ?T         (capability IntentionalProcess agent ?H)))	Medicine.kif 430-434	If conscious is an attribute of an entity holds during a time position, then the entity is capable of doing intentional process as a agent holds during the time position
(=>     (inScopeOfInterest ?AGENT ?OBJECT)     (exists (?PROCESS)         (and             (instance ?PROCESS IntentionalProcess)             (agent ?PROCESS ?AGENT)             (patient ?PROCESS ?OBJECT))))	Merge.kif 2751-2757	If a cognitive agent is interested in an entity, then there exists a process such that the process is an instance of intentional process and the cognitive agent is an agent of the process and the entity is a patient of the process
(=>     (instance ?ORGANISM GeneticallyEngineeredOrganism)     (exists (?PROCESS)         (and             (instance ?PROCESS IntentionalProcess)             (result ?PROCESS ?ORGANISM))))	WMD.kif 239-244	If an entity is an instance of genetically engineered organism, then there exists a process such that the process is an instance of intentional process and the entity is a result of the process
(=>     (instance ?PM ProcessedMilk)     (exists (?P ?M)         (and             (instance ?P IntentionalProcess)             (instance ?M CowMilk)             (patient ?P ?M)             (result ?P ?PM))))	Food.kif 2839-2846	If an entity is an instance of processed milk, then there exist a process and another entity such that the process is an instance of intentional process and the other entity is an instance of cow milk and the other entity is a patient of the process and the entity is a result of the process
(=>     (instance ?R Robot)     (hasPurpose ?R         (exists (?PROC ?COMP)             (and                 (instance ?PROC ComputerProcess)                 (instance ?COMP ComputerProgram)                 (computerRunning ?PROC ?COMP)                 (patient ?PROC ?R)                 (holdsDuring                     (WhenFn ?PROC)                     (exists (?INT)                         (and                             (instance ?INT IntentionalProcess)                             (instrument ?INT ?R))))))))	engineering.kif 999-1013	If a physical is an instance of robot, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of computer process and the other entity is an instance of computer program and the entity is running on the other entity and the physical is a patient of the entity and there exists a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity holds during the time of existence of the entity
(=>     (instance ?SUBSTANCE SyntheticSubstance)     (exists (?PROCESS)         (and             (instance ?PROCESS IntentionalProcess)             (result ?PROCESS ?SUBSTANCE)             (instance ?SUBSTANCE Substance))))	Merge.kif 1082-1088	If an entity is an instance of synthetic substance, then there exists a process such that the process is an instance of intentional process and the entity is a result of the process and the entity is an instance of substance
(=>     (instance ?SVC WakeUpService)     (hasPurpose ?SVC         (exists (?WAKE ?CUST ?AGENT ?PROC)             (and                 (agent ?SVC ?AGENT)                 (experiencer ?SVC ?CUST)                 (instance ?PROC IntentionalProcess)                 (agent ?PROC ?AGENT)                 (experiencer ?PROC ?CUST)                 (instance ?WAKE WakingUp)                 (experiencer ?WAKE ?CUST)                 (result ?PROC ?WAKE)))))	Hotel.kif 2005-2017	If a physical is an instance of wake-up service, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an agent of the physical and the other entity experiences the physical and the fourth entity is an instance of intentional process and the third entity is an agent of the fourth entity and the other entity experiences the fourth entity and the entity is an instance of waking up and the other entity experiences the entity and the entity is a result of the fourth entity
(=>     (instance ?X AudioRecorder)     (hasPurpose ?X         (exists (?RS ?RECORD ?PROC)             (and                 (instance ?RS RadiatingSound)                 (instance ?PROC IntentionalProcess)                 (instrument ?PROC ?X)                 (patient ?PROC ?RS)                 (result ?PROC ?RECORD)                 (instance ?RECORD AudioRecording)))))	Mid-level-ontology.kif 28136-28146	If a physical is an instance of audio recorder, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of radiating sound and the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a patient of the third entity and the other entity is a result of the third entity and the other entity is an instance of audio recording
(=>     (instance ?X OperatorAssistedTelephoneCommunication)     (exists (?ORIGIN ?DEST ?OPERATOR)         (and             (origin ?X ?ORIGIN)             (destination ?X ?DEST)             (instance ?OPERATOR Human)             (hasPurpose ?OPERATOR                 (exists (?PROC)                     (and                         (instance ?PROC IntentionalProcess)                         (agent ?PROC ?OPERATOR)                         (subProcess ?PROC ?X)                         (holdsDuring                             (ImmediateFutureFn                                 (WhenFn ?PROC))                             (modalAttribute                                 (exists (?COMM)                                     (and                                         (instance ?COMM Communication)                                         (origin ?COMM ?ORIGIN)                                         (destination ?COMM ?DEST))) Possibility))))))))	Mid-level-ontology.kif 28929-28951	If a process is an instance of operator assisted telephone communication, then there exist an object, an entity and a physical such that the process originates at the object and the process ends up at the entity and the physical is an instance of human and the physical has the purpose there exists another entity such that the other entity is an instance of intentional process and the physical is an agent of the other entity and the other entity is a subprocess of the process and the statement there exists a third entity such that the third entity is an instance of communication and the third entity originates at the object and the third entity ends up at the entity has the modal force of possibility holds during immediately after the time of existence of the other entity
(=>     (instance ?X PreparedFood)     (exists (?PROC)         (and             (instance ?PROC IntentionalProcess)             (result ?PROC ?X))))	Food.kif 319-324	If an entity is an instance of prepared food, then there exists a process such that the process is an instance of intentional process and the entity is a result of the process
(=>     (instance ?X TapeRecorder)     (hasPurpose ?X         (exists (?AUDIO ?TAPE ?PROC)             (and                 (instance ?PROC IntentionalProcess)                 (instrument ?PROC ?X)                 (result ?PROC ?AUDIO)                 (instance ?AUDIO AudioRecording)                 (instance ?TAPE RecordingTape)                 (holdsDuring ?PROC                     (connected ?TAPE ?X))                 (before                     (BeginFn                         (WhenFn ?PROC))                     (BeginFn                         (WhenFn                             (part ?AUDIO ?TAPE))))))))	Media.kif 1338-1352	If a physical is an instance of tape recorder, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a result of the third entity and the entity is an instance of audio recording and the other entity is an instance of recording tape and the other entity is connected to the physical holds during the third entity and the beginning of the time of existence of the third entity happens before the beginning of the time of existence of the entity is a part of the other entity
(=>     (instance ?X UniformClothing)     (exists (?PROC ?DESIGN)         (and             (instance ?PROC IntentionalProcess)             (result ?PROC ?DESIGN)             (represents ?X ?DESIGN))))	Mid-level-ontology.kif 28577-28583	If an entity is an instance of uniform, then there exist a process and another entity such that the process is an instance of intentional process and the other entity is a result of the process and the entity expresses the other entity
(=>     (issuedBy ?CERT ?AGENT)     (exists (?P)         (and             (instance ?P IntentionalProcess)             (agent ?P ?AGENT)             (result ?P ?CERT))))	Mid-level-ontology.kif 17875-17881	If a cognitive agent is an issued by of a certificate, then there exists a process such that the process is an instance of intentional process and the cognitive agent is an agent of the process and the certificate is a result of the process
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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