consequent

(=>     (and         (attribute ?A AppraisalAsJustTreatment)         (instance ?AJT AppraisalProcess)         (agent ?AJT ?A))     (exists (?P ?A2)         (and             (instance ?P Process)             (refers ?AJT ?P)             (agent ?P ?A2)             (not                 (equal ?A ?A2))             (patient ?P ?A)             (wants ?A ?P))))	emotion.kif 374-387	If AppraisalAsJustTreatment is an attribute of a cognitive agent and the cognitive agentJT is an instance of AppraisalProcess and the cognitive agent is an agent of the cognitive agentJT, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentJT includes a reference to the other process and the cognitive agent2 is an agent of the other process and equal the cognitive agent and the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent wants the other process
(=>     (and         (attribute ?A AppraisalAsUnjustTreatment)         (instance ?AUJ AppraisalProcess)         (agent ?AUJ ?A))     (exists (?P ?A2)         (and             (instance ?P Process)             (refers ?AUJ ?P)             (agent ?P ?A2)             (not                 (equal ?A ?A2))             (patient ?P ?A)             (not                 (wants ?A ?P)))))	emotion.kif 349-363	If AppraisalAsUnjustTreatment is an attribute of a cognitive agent and the cognitive agentUJ is an instance of AppraisalProcess and the cognitive agent is an agent of the cognitive agentUJ, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentUJ includes a reference to the other process and the cognitive agent2 is an agent of the other process and equal the cognitive agent and the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent doesn't want the other process
(=>     (and         (customer ?CUST ?AGENT)         (propertyAmenity ?AGENT ?PHYS)         (subclass ?PHYS Object)         (instance ?X ?PHYS))     (confersRight         (exists (?PROC)             (and                 (instance ?PROC Process)                 (or                     (resource ?PROC ?X)                     (instrument ?PROC ?X)                     (patient ?PROC ?X))                 (or                     (agent ?PROC ?CUST)                     (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))	Hotel.kif 504-520	If customer a cognitive agent and an agent and propertyAmenity the agent and a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the agent allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
(=>     (and         (functionRoomAmenity ?FR ?PHY)         (instance ?RM ?FR)         (element ?RM             (PropertyFn ?HOTEL))         (instance ?RENT Renting)         (patient ?RENT ?RM)         (agent ?RENT ?HOTEL)         (destination ?RENT ?CUST)         (subclass ?PHY Object))     (modalAttribute         (exists (?O ?P)             (and                 (instance ?O ?PHY)                 (instance ?P Process)                 (or                     (resource ?P ?O)                     (instrument ?P ?O)                     (patient ?P ?O))                 (or                     (agent ?P ?CUST)                     (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 815-836	If functionRoomAmenity a kind of HotelFunctionRoom and a kind of physical and an entity is an instance of a kind of HotelFunctionRoom and the entity is an element of belongings of an agent and a process is an instance of Renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of Possibility
(=>     (and         (instance ?EV Evacuation)         (origin ?EV ?OR)         (agent ?EV ?A))     (exists (?P)         (and             (instance ?P Process)             (geographicSubregion ?OR                 (WhereFn ?P                     (BeginFn                         (WhenFn ?EV))))             (causes ?P ?EV)             (believes ?A                 (attribute ?P Dangerous)))))	MilitaryProcesses.kif 2550-2564	If a process is an instance of Evacuation and the process originates at a geographic area and a cognitive agent is an agent of the process, then there exists another process such that the other process is an instance of process and geographicSubregion the geographic area and the place where the other process was at the beginning of the time of existence of the process and the other process causes the process and the cognitive agent believes Dangerous is an attribute of the other process
(=>     (and         (instance ?EXPERIMENT Experimenting)         (instance ?SUBJECT Human)         (experimentalSubject ?EXPERIMENT ?SUBJECT))     (exists (?PROCESS)         (and             (instance ?PROCESS Process)             (experiencer ?PROCESS ?SUBJECT)             (or                 (experimentalControlProcess ?EXPERIMENT ?PROCESS)                 (experimentalVariableProcess ?EXPERIMENT ?PROCESS)))))	UXExperimentalTerms.kif 3922-3933	If an Experimenting is an instance of Experimenting and a human is an instance of human and experimentalSubject the Experimenting and the human, then there exists a process such that the process is an instance of process and the human experiences the process and experimentalControlProcess the Experimenting and the process or experimentalVariableProcess the Experimenting and the process
(=>     (and         (instance ?HP HearingProtection)         (instance ?PERSON Human)         (wears ?PERSON ?HP))     (hasPurpose ?HP         (exists (?PROC ?INJ ?I)             (and                 (instance ?PROC Process)                 (subclass ?INJ                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?SOUND ?HEAR ?HUMAN ?T)                                 (and                                     (instance ?SOUND RadiatingSound)                                     (instance ?HEAR Hearing)                                     (instance ?HUMAN Human)                                     (patient ?HEAR ?SOUND)                                     (experiencer ?HEAR ?HUMAN)                                     (causes ?HEAR ?I)                                     (experiencer ?I ?HUMAN)                                     (=>                                         (holdsDuring ?T                                             (experiencer ?I ?PERSON))                                         (not                                             (holdsDuring ?T                                                 (patient ?PROC ?PERSON)))))))))                 (prevents ?PROC ?INJ)                 (instrument ?PROC ?HP)))))	Cars.kif 3508-3537	If a WearableItem is an instance of HearingProtection and an animal is an instance of human and the animal wears the WearableItem, then the WearableItem has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity and the WearableItem is an instrument for the entity
(=>     (and         (instance ?SH SafetyHarness)         (instance ?PERSON Animal)         (wears ?PERSON ?SH))     (hasPurpose ?SH         (exists (?PROC ?INJ ?I)             (and                 (instance ?PROC Process)                 (instrument ?PROC ?SH)                 (patient ?PROC ?PERSON)                 (subclass ?INJ                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?F ?H ?T)                                 (and                                     (instance ?H Human)                                     (experiencer ?I ?H)                                     (instance ?F Falling)                                     (experiencer ?F ?H)                                     (causes ?F ?I)                                     (=>                                         (holdsDuring ?T                                             (experiencer ?I ?PERSON))                                         (not                                             (holdsDuring ?T                                                 (patient ?PROC ?PERSON)))))))))                 (prevents ?PROC ?INJ)))))	Cars.kif 3450-3478	If a WearableItem is an instance of SafetyHarness and an animal is an instance of animal and the animal wears the WearableItem, then the WearableItem has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the WearableItem is an instrument for the entity and the animal is a patient of the entity and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity
(=>     (and         (instance ?TEST MultivariateTest)         (subProcess ?EXPERIMENT1 ?TEST)         (subProcess ?EXPERIMENT2 ?TEST)         (instance ?EXPERIMENT1 Experimenting)         (instance ?EXPERIMENT2 Experimenting)         (instance ?VARIABLE1 Process)         (instance ?VARIABLE2 Process)         (experimentalVariableProcess ?EXPERIMENT1 ?VARIABLE1)         (experimentalVariableProcess ?EXPERIMENT2 ?VARIABLE2))     (exists (?PROCESS)         (and             (instance ?PROCESS Process)             (subProcess ?VARIABLE1 ?PROCESS)             (subProcess ?VARIABLE2 ?PROCESS)             (not                 (equal ?VARIABLE1 ?VARIABLE2)))))	UXExperimentalTerms.kif 4500-4517	If a process is an instance of MultivariateTest and an Experimenting is a subprocess of the process and another Experimenting is a subprocess of the process and the Experimenting is an instance of Experimenting and the other Experimenting is an instance of Experimenting and another process is an instance of process and a third process is an instance of process and experimentalVariableProcess the Experimenting and the other process and experimentalVariableProcess the other Experimenting and the third process, then there exists a fourth process such that the fourth process is an instance of process and the other process is a subprocess of the fourth process and the third process is a subprocess of the fourth process and equal the other process and the third process
(=>     (and         (instance ?TEXT DeathCertificate)         (instance ?D Death)         (instance ?A Human)         (experiencer ?D ?A))     (containsFormula ?TEXT         (exists (?DAY ?P ?N ?PROC)             (and                 (deathdate ?A ?DAY)                 (instance ?DAY Day)                 (deathplace ?A ?P)                 (instance ?P GeographicArea)                 (represents ?N ?A)                 (instance ?N Name)                 (causes ?PROC ?D)                 (instance ?PROC Process)))))	Biography.kif 287-303	If a ContentBearingPhysical is an instance of DeathCertificate and a process is an instance of death and an agent is an instance of human and the agent experiences the process, then containsFormula the ContentBearingPhysical and there exist the processAY, another entity,, , a third entity and the other entityROC such that deathdate the agent and the processAY and the processAY is an instance of day and deathplace the agent and the other entity and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of Name and the other entityROC causes the process and the other entityROC is an instance of process
(=>     (and         (instance ?X BreakingRecord)         (agent ?X ?A1))     (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)         (and             (instance ?AC Set)             (element ?A1 ?AC)             (subclass ?PC Process)             (instance ?L Region)             (instance ?TP TimePoint)             (instance ?Q Quantity)             (instance ?P1 ?PC)             (refers ?X ?Q)             (refers ?Q ?P1)             (playsRoleInEvent ?A1 ?ROLE ?P1)             (eventLocated ?P1 ?L)             (not                 (exists (?A2 ?P2)                     (and                         (instance ?A2 ?AC)                         (not                             (equal ?A2 ?A1))                         (instance ?P2 ?PC)                         (holdsDuring                             (TimeIntervalFn ?TP                                 (EndFn                                     (WhenFn ?X)))                             (and                                 (playsRoleInEvent ?A2 ?ROLE ?P2)                                 (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 31908-31938	If a process is an instance of BreakingRecord and an agent is an agent of the process, then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and playsRoleInEvent the agent, the case role and the other process and event located the other process and the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and equal the other entity and the agent and the third entity is an instance of the class and playsRoleInEvent the other entity, the case role and the third entity and event located the third entity and the object holds during interval between the time point and the end of the time of existence of the process
(=>     (and         (instance ?X Respirator)         (instance ?PERSON Animal)         (wears ?PERSON ?X))     (hasPurpose ?X         (exists (?INHAL ?INJ ?PROTECT ?I)             (and                 (instance ?PROTECT Process)                 (instrument ?PROTECT ?X)                 (prevents ?PROTECT ?INJ)                 (subclass ?INJ                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?H)                                 (and                                     (instance ?H Human)                                     (patient ?I ?H)                                     (instance ?INHAL Inhaling)                                     (agent ?INHAL ?H)                                     (causes ?I ?INHAL))))))))))	Cars.kif 3592-3613	If a WearableItem is an instance of Respirator and an animal is an instance of animal and the animal wears the WearableItem, then the WearableItem has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of process and the WearableItem is an instrument for the third entity and the third entity prevents the occurrence of the other entity and the other entity is a subclass of the class described by the fourth entity
(=>     (and         (instance ?X SurveillanceSystem)         (member ?X ?VIDEO)         (member ?X ?DISPLAY)         (located ?VIDEO ?LOC1)         (instance ?VIDEO Camera)         (located ?DISPLAY ?LOC2)         (not             (equal ?LOC1 ?LOC2))         (instance ?DISPLAY VideoDisplay))     (hasPurpose ?X         (exists (?PROC ?VID ?RL ?CAPTURE)             (and                 (instance ?PROC Process)                 (eventLocated ?PROC ?LOC1)                 (represents ?VID ?PROC)                 (instrument ?CAPTURE Camera)                 (result ?CAPTURE ?VID)                 (instance ?RL RadiatingLight)                 (instrument ?RL ?DISPLAY)                 (patient ?RL ?VID)                 (before                     (BeginFn ?PROC)                     (BeginFn ?CAPTURE))                 (before                     (BeginFn ?CAPTURE)                     (BeginFn ?RL))))))	Mid-level-ontology.kif 28858-28884	If a physical is an instance of SurveillanceSystem and the physical is a member of a collection and the physical is a member of another collection and the collection is located at an object and the collection is an instance of Camera and the other collection is located at another object and equal the object and the other object and the other collection is an instance of VideoDisplay, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of process and event located the entity and the object and the other entity expresses the entity and Camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
(=>     (and         (issuedBy ?TICKET ?AGENT)         (instance ?TICKET Ticket)         (possesses ?CUST ?TICKET))     (confersNorm ?AGENT         (exists (?T)             (holdsDuring ?T                 (exists (?P)                     (and                         (instance ?P Process)                         (agent ?P ?AGENT)                         (experiencer ?P ?CUST))))) Permission))	Mid-level-ontology.kif 17915-17927	If issuedBy a certificate and a cognitive agent and the certificate is an instance of Ticket and an agent possesses the certificate, then confersNorm the cognitive agent, there exists an entity such that there exists another entity such that the other entity is an instance of process and the cognitive agent is an agent of the other entity and the agent experiences the other entity holds during the entity and Permission
(=>     (and         (memberMeasure ?S ?M ?Q)         (instance ?S Set)         (element ?O ?S)         (instance ?P Process)         (agent ?P ?O))     (frequency Process ?Q))	Mid-level-ontology.kif 33247-33254	If memberMeasure a set, a MeasurementAttribute and a time duration and the set is an instance of set and an agent is an element of the set and a process is an instance of process and the agent is an agent of the process, then process occurs every the time duration
(=>     (and         (memberMeasure ?S Frequency ?Q)         (instance ?S Class)         (instance ?O ?S)         (instance ?P Process)         (agent ?P ?O))     (frequency Process ?Q))	Mid-level-ontology.kif 33256-33263	If memberMeasure a class, Frequency and a time duration and the class is an instance of class and an agent is an instance of the class and a process is an instance of process and the agent is an agent of the process, then process occurs every the time duration
(=>     (attribute ?H NewsReporter)     (hasPurpose ?H         (exists (?EV ?T ?NEWS)             (and                 (instance ?EV Process)                 (overlapsTemporally                     (WhenFn ?EV)                     (WhenFn ?H))                 (instance ?T ?NEWS)                 (or                     (subclass ?NEWS Newspaper)                     (subclass ?NEWS NewsProgram))                 (authors ?H ?NEWS)                 (refers ?T ?EV)))))	Mid-level-ontology.kif 22674-22688	If NewsReporter 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 process and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of Newspaper or the third entity is a subclass of NewsProgram and the object is the author of the third entity and the other entity includes a reference to the entity
(=>     (attribute ?PROC ServiceInEconomics)     (exists (?S)         (and             (instance ?PROC Process)             (hasPurpose ?PROC                 (and                     (instance ?S Selling)                     (patient ?S ?PROC))))))	Economy.kif 6886-6894	If ServiceInEconomics is an attribute of an object, then there exists an entity such that the object is an instance of process and the object has the purpose the entity is an instance of selling and the object is a patient of the entity
(=>     (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 OpenLayout 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 ?TEST ABTest)     (exists (?PROCESS)         (and             (instance ?PROCESS Process)             (experimentalVariableProcess ?TEST ?PROCESS))))	UXExperimentalTerms.kif 4431-4436	If ABTest is an attribute of an object, then there exists a process such that the process is an instance of process and experimentalVariableProcess the object and the process
(=>     (businessUnit ?BU ?ORG)     (hasPurpose ?BU         (exists (?PROCESS)             (and                 (instance ?PROCESS Process)                 (agent ?PROCESS ?BU)                 (benefits ?PROCESS ?ORG)))))	UXExperimentalTerms.kif 2563-2570	If businessUnit an organization and a Business, then the organization has the purpose there exists an entity such that the entity is an instance of process and the organization is an agent of the entity and the Business is a beneficiary of the entity
(=>     (dateUsed ?OBJECT ?DATE ?AGENT)     (exists (?PROCESS)         (and             (instance ?PROCESS Process)             (patient ?PROCESS ?OBJECT)             (agent ?PROCESS ?AGENT)             (uses ?OBJECT ?AGENT)             (overlapsTemporally ?DATE                 (WhenFn ?PROCESS)))))	Mid-level-ontology.kif 991-999	If dateUsed an object, a time interval and an agent, then there exists a process such that the process is an instance of process and the object is a patient of the process and the agent is an agent of the process and the agent uses the object and the time of existence of the process overlaps the time interval
(=>     (equal ?GNP         (GrossNationalProductFn ?GPA ?Y))     (exists (?PRODANDSERV)         (and             (instance ?PRODANDSERV Collection)             (monetaryValue ?PRODANDSERV ?GNP)             (=>                 (and                     (instance ?M Manufacture)                     (result ?M ?PRODUCT)                     (agent ?M ?MAKER)                     (member ?MAKER                         (CitizenryFn ?GPA))                     (finishesDuring                         (WhenFn ?M) ?Y))                 (member ?PRODUCT ?PRODANDSERV))             (=>                 (and                     (instance ?SERVICE Process)                     (attribute ?SERVICE ServiceInEconomics)                     (agent ?SERVICE ?PROVIDER)                     (member ?PROVIDER                         (CitizenryFn ?GPA))                     (finishesDuring                         (WhenFn ?SERVICE) ?Y))                 (member ?SERVICE ?PRODANDSERV)))))	Economy.kif 1029-1050	If equal a currency measure and GrossNationalProductFn a geopolitical area and a year, then there exists a collection such that the collection is an instance of collection and value of the collection is the currency measure and if a process is an instance of manufacture and a physical is a result of the process and the processAKER is an agent of the process and the processAKER is a member of CitizenryFn the geopolitical area and finishesDuring the time of existence of the process and the year, then the physical is a member of the collection and if an object is an instance of process and ServiceInEconomics is an attribute of the object and another agent is an agent of the object and the other agent is a member of CitizenryFn the geopolitical area and finishesDuring the time of existence of the object and the year, then the object is a member of the collection
(=>     (exclusiveEvent ?EXP ?PROC)     (exists (?EVP ?AGENT)         (and             (instance ?EVP Process)             (instance ?AGENT AutonomousAgent)             (treatedUser ?AGENT ?EXP)             (experimentalVariableProcess ?EXP ?EVP)             (experiencer ?PROC ?AGENT)             (experiencer ?EVP ?AGENT)             (earlier                 (WhenFn ?EVP)                 (WhenFn ?PROC)))))	UXExperimentalTerms.kif 4344-4354	If exclusiveEvent an Experimenting and a process, then there exist another process and a human such that the other process is an instance of process and the human is an instance of agent and treatedUser the human and the Experimenting and experimentalVariableProcess the Experimenting and the other process and the human experiences the process and the human experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process
(=>     (holdsDuring ?T         (attribute ?X SafetyPosition))     (holdsDuring ?T         (hasPurpose ?X             (exists (?P ?H ?I ?T2)                 (and                     (instance ?H Human)                     (instance ?P Process)                     (patient ?P ?H)                     (agent ?P ?X)                     (prevents ?P                         (KappaFn ?I                             (and                                 (instance ?I Injuring)                                 (=>                                     (holdsDuring ?T2                                         (experiencer ?I ?H))                                     (not                                         (holdsDuring ?T2                                             (patient ?P ?H))))))))))))	Mid-level-ontology.kif 32627-32647	If SafetyPosition is an attribute of an entity holds during a time position, then the entity has the purpose there exist another entity, a third entity,, , a fourth entity and the time position2 such that the third entity is an instance of human and the other entity is an instance of process and the third entity is a patient of the other entity and the entity is an agent of the other entity and the other entity prevents the occurrence of the class described by the fourth entity holds during the time position
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