consequent

(=>     (and         (attribute ?OBJ ?ATR)         (instance ?ATR SubjectiveAssessmentAttribute))     (exists (?TIME ?JUDGE ?AGENT)         (and             (instance ?JUDGE Judging)             (agent ?JUDGE ?AGENT)             (patient ?JUDGE ?OBJ)             (result ?JUDGE                 (attribute ?OBJ ?ATR))             (holdsDuring ?TIME                 (believes ?AGENT                     (property ?OBJ ?ATR))))))	Merge.kif 17529-17542	If an attribute is an attribute of an object and the attribute is an instance of subjective assessment attribute, then there exist a time position, a process and an agent such that the process is an instance of judging and the agent is an agent of the process and the object is a patient of the process and the attribute is an attribute of the object is a result of the process and the agent believes the object the attribute the attribute holds during the time position
(=>     (and         (instance ?D Demonstration)         (agent ?D ?G)         (member ?A1 ?G)         (member ?A2 ?G))     (exists (?P)         (and             (believes ?A1 ?P)             (believes ?A2 ?P))))	MilitaryProcesses.kif 2707-2716	If a process is an instance of demonstration and an agent is an agent of the process and a cognitive agent is a member of the agent and another cognitive agent is a member of the agent, then there exists a formula such that the cognitive agent believes the formula and the other cognitive agent believes the formula
(=>     (and         (instance ?DAMAGE Damaging)         (agent ?DAMAGE ?PROP)         (destination ?DAMAGE ?DEST)         (instance ?DEST CognitiveAgent))     (believes ?DEST         (attribute ?PROP Dangerous)))	MilitaryPersons.kif 228-235	If a process is an instance of damaging and an agent is an agent of the process and the process ends up at a cognitive agent and the cognitive agent is an instance of cognitive agent, then the cognitive agent believes dangerous is an attribute of the agent
(=>     (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 12186-12198	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         (instance ?EF Exfiltration)         (agent ?EF ?AGENT))     (exists (?PRET ?ENEMY)         (and             (instance ?PRET Pretending)             (agent ?PRET ?AGENT)             (patient ?PRET ?ENEMY)             (hasPurpose ?PRET                 (believes ?ENEMY                     (not                         (exists (?EF0)                             (equal ?EF0 ?EF))))))))	MilitaryProcesses.kif 257-270	If a process is an instance of exfiltration and an agent is an agent of the process, then there exist another process and an entity such that the other process is an instance of pretending and the agent is an agent of the other process and the entity is a patient of the other process and the other process has the purpose the entity believes there doesn't exist the process0 such that equal the process0 and the process
(=>     (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 evacuating 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 the geographic area is a geographic subregion of 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 ?EVP Process)         (instance ?AGENT AutonomousAgent)         (instance ?EXP Experimenting)         (treatedUser ?AGENT ?EXP)         (experimentalVariableProcess ?EXP ?EVP)         (experiencer ?PROC ?AGENT)         (experiencer ?EVP ?AGENT)         (exclusiveEvent ?EXP ?PROC))     (exists (?EXPERIMENTER)         (and             (instance ?EXPERIMENTER AutonomousAgent)             (experimenter ?EXP ?EXPERIMENTER)             (believes ?EXPERIMENTER                 (modalAttribute                     (causes ?EVP ?PROC) Likely)))))	UXExperimentalTerms.kif 4356-4373	If a process is an instance of process and a human is an instance of agent and an experimenting is an instance of experimenting and the human is a treated used in the experimenting and the process is a process in the experimenting and the human experiences another process and the human experiences the process and the experimenting causes the other process, then there exists the experimentingERIMENTER such that the experimentingERIMENTER is an instance of agent and the experimentingERIMENTER is the experimenter in the experimenting and the experimentingERIMENTER believes the statement the process causes the other process has the modal force of likely
(=>     (and         (instance ?GROUP PoliticalPressureGroup)         (hasPurpose ?GROUP ?FORMULA)         (agentOperatesInArea ?GROUP ?AREA)         (instance ?AREA Nation))     (desires ?GROUP         (believes             (GovernmentFn ?AREA) ?FORMULA)))	Government.kif 2323-2330	If a cognitive agent is an instance of political pressure group and the cognitive agent has the purpose a formula and a geographic area is an agent operates in area of the cognitive agent and the geographic area is an instance of nation, then the cognitive agent desires the government of the geographic area believes the formula
(=>     (and         (instance ?H Hurricane)         (instance ?SS SSHWS5)         (eventLocated ?H ?AREA)         (believes ?A             (property ?H ?SS)))     (exists (?WIND)         (and             (greaterThan ?WIND 157.0)             (believes ?A                 (equal                     (MeasureFn ?WIND MilesPerHour)                     (Mean1MinuteWindSpeedFn ?AREA                         (WhenFn ?H)))))))	Weather.kif 3767-3781	If a process is an instance of hurricane and an entity is an instance of SSHWS5 and the process is located at an object and a cognitive agent believes the process the attribute the entity, then there exists a real number such that the real number is greater than 157.0 and the cognitive agent believes equal the real number miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
(=>     (and         (instance ?H Hurricane)         (instance ?SS SSHWSAttribute)         (eventLocated ?H ?AREA)         (believes ?A             (property ?H ?SS))         (speedScaleAttributeMinMax ?SS             (MeasureFn ?MIN ?U)             (MeasureFn ?MAX ?U))         (instance ?U UnitOfMeasure))     (exists (?WIND)         (and             (greaterThanOrEqualTo ?WIND ?MIN)             (lessThanOrEqualTo ?WIND ?MAX)             (believes ?A                 (equal                     (MeasureFn ?WIND ?U)                     (Mean1MinuteWindSpeedFn ?AREA                         (WhenFn ?H)))))))	Weather.kif 3689-3708	If a process is an instance of hurricane and a speed scale attribute is an instance of Saffir Simpson Hurrican wind scale and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes equal the third real number the unit of measure(s) and Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
(=>     (and         (instance ?INTERPRET Interpreting)         (agent ?INTERPRET ?AGENT)         (patient ?INTERPRET ?CONTENT)         (instance ?CONTENT ContentBearingObject))     (exists (?PROP)         (holdsDuring             (EndFn                 (WhenFn ?INTERPRET))             (believes ?AGENT                 (containsInformation ?CONTENT ?PROP)))))	Merge.kif 11023-11030	If a process is an instance of interpreting 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 content bearing object, then there exists another entity such that the agent believes the entity contains information the other entity holds during the end of the time of existence of the process
(=>     (and         (instance ?JUDGE Judging)         (agent ?JUDGE ?AGENT)         (result ?JUDGE ?P))     (and         (holdsDuring             (BeginFn                 (WhenFn ?JUDGE))             (not                 (believes ?AGENT ?P)))         (holdsDuring             (EndFn                 (WhenFn ?JUDGE))             (believes ?AGENT ?P))))	Merge.kif 12264-12278	If a process is an instance of judging and an agent is an agent of the process and an entity is a result of the process, then the agent doesn't believe the entity holds during the beginning of the time of existence of the process and the agent believes the entity holds during the end of the time of existence of the process
(=>     (and         (instance ?M Misdiagnosing)         (agent ?M ?D)         (refers ?M ?P)         (instance ?P Human))     (exists (?DIS)         (and             (containsFormula ?M                 (attribute ?P ?DIS))             (instance ?DIS DiseaseOrSyndrome)             (believes ?D                 (attribute ?P ?DIS))             (truth                 (attribute ?P ?DIS) False))))	Medicine.kif 4201-4216	If a process is an instance of misdiagnosing and a cognitive agent is an agent of the process and the process includes a reference to an entity and the entity is an instance of human, then there exists the cognitive agentIS such that the process contains the formula the cognitive agentIS is an attribute of the entity and the cognitive agentIS is an instance of disease or syndrome and the cognitive agent believes the cognitive agentIS is an attribute of the entity and the cognitive agentIS is an attribute of the entity is false
(=>     (and         (instance ?N Nausea)         (experiencer ?N ?H))     (believes ?H         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?N))             (exists (?V)                 (and                     (instance ?V Vomiting)                     (experiencer ?V ?H))))))	Mid-level-ontology.kif 23040-23051	If a process is an instance of nausea and a cognitive agent experiences the process, then the cognitive agent believes there exists an entity such that the entity is an instance of vomiting and the cognitive agent experiences the entity holds during immediately after the time of existence of the process
(=>     (and         (instance ?STATE Stating)         (agent ?STATE ?AGENT)         (patient ?STATE ?FORMULA)         (instance ?FORMULA Formula))     (holdsDuring         (WhenFn ?STATE)         (believes ?AGENT ?FORMULA)))	Merge.kif 13318-13324	If a process is an instance of stating 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 formula, then the agent believes the entity holds during the time of existence of the process
(=>     (and         (instance ?STATE TellingALie)         (agent ?STATE ?AGENT)         (patient ?STATE ?STATEMENT))     (holdsDuring         (WhenFn ?STATE)         (believes ?AGENT             (truth ?STATEMENT False))))	Mid-level-ontology.kif 915-922	If a process is an instance of telling a lie and an agent is an agent of the process and the processMENT is a patient of the process, then the agent believes the processMENT is false holds during the time of existence of the process
(=>     (and         (instance ?T TemperatureFallingExperiencedAsFeelingCold)         (located ?T ?L)         (experiencer ?T ?A))     (holdsDuring         (WhenFn ?T)         (believes ?A             (attribute ?L ColdTemperature))))	emotion.kif 1551-1558	If a process is an instance of temperature falling (experienced as feeling cold) and the process is located at an object and an agent experiences the process, then the agent believes cold is an attribute of the object holds during the time of existence of the process
(=>     (and         (instance ?T TemperatureRisingExperiencedAsFeelingWarm)         (located ?T ?L)         (experiencer ?T ?A))     (holdsDuring         (WhenFn ?T)         (believes ?A             (attribute ?L WarmTemperature))))	emotion.kif 1569-1576	If a process is an instance of temperature rising (experienced as feeling warm) and the process is located at an object and an agent experiences the process, then the agent believes warm is an attribute of the object holds during the time of existence of the process
(=>     (and         (instance ?T Tornado)         (instance ?EF EF5)         (eventLocated ?T ?AREA)         (believes ?A             (property ?T ?EF)))     (exists (?GUST)         (and             (greaterThan ?GUST 200.0)             (believes ?A                 (equal                     (MeasureFn ?GUST MilesPerHour)                     (ThreeSecondGustSpeedFn ?AREA                         (WhenFn ?T)))))))	Weather.kif 3515-3529	If a process is an instance of tornado and an entity is an instance of EF5 and the process is located at an object and a cognitive agent believes the process the attribute the entity, then there exists a real number such that the real number is greater than 200.0 and the cognitive agent believes equal the real number miles per hour(s) and ThreeSecondSpeedGustFn ending at the time of existence of the process in the object
(=>     (and         (instance ?T Tornado)         (instance ?EF EFScaleAttribute)         (eventLocated ?T ?AREA)         (believes ?A             (property ?T ?EF))         (speedScaleAttributeMinMax ?EF             (MeasureFn ?MIN MilesPerHour)             (MeasureFn ?MAX MilesPerHour)))     (exists (?GUST)         (and             (greaterThanOrEqualTo ?GUST ?MIN)             (lessThanOrEqualTo ?GUST ?MAX)             (believes ?A                 (equal                     (MeasureFn ?GUST MilesPerHour)                     (ThreeSecondGustSpeedFn ?AREA                         (WhenFn ?T)))))))	Weather.kif 3420-3438	If a process is an instance of tornado and a speed scale attribute is an instance of enhanced fuijita scale attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number miles per hour(s) and another real number miles per hour(s) are the min and max speed of the speed scale attribute, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes equal the third real number miles per hour(s) and ThreeSecondSpeedGustFn ending at the time of existence of the process in the object
(=>     (and         (instance ?TEXT ?CLASS)         (subclass ?CLASS FactualText)         (authors ?AGENT ?CLASS)         (subsumesContentInstance ?TEXT ?CONTENT)         (instance ?CONTENT Formula))     (believes ?AGENT ?CONTENT))	Merge.kif 15575-15582	If a content bearing physical is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of factual text and a cognitive agent is the author of the kind of content bearing object and the content bearing physical subsumes the content of a formula and the formula is an instance of formula, then the cognitive agent believes the formula
(=>     (and         (instance ?TEXT ?CLASS)         (subclass ?CLASS FictionalText)         (authors ?AGENT ?CLASS))     (exists (?CONTENT)         (and             (subsumesContentInstance ?TEXT ?CONTENT)             (instance ?CONTENT Formula)             (not                 (believes ?AGENT ?CONTENT)))))	Merge.kif 15606-15615	If a content bearing physical is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of fictional text and a cognitive agent is the author of the kind of content bearing object, then there exists a formula such that the content bearing physical subsumes the content of the formula and the formula is an instance of formula and the cognitive agent doesn't believe the formula
(=>     (and         (instance ?THREATEN Threatening)         (patient ?THREATEN ?PROP)         (destination ?THREATEN ?DEST))     (believes ?DEST         (attribute ?PROP Dangerous)))	MilitaryPersons.kif 212-218	If a process is an instance of threatening and an entity is a patient of the process and the process ends up at a cognitive agent, then the cognitive agent believes dangerous is an attribute of the entity
(=>     (and         (instance ?W Wind)         (instance ?BN BeaufortNumber12)         (eventLocated ?W ?AREA)         (believes ?A             (property ?W ?BN)))     (exists (?SPEED)         (and             (greaterThan ?SPEED 73.0)             (believes ?A                 (surfaceWindSpeed ?AREA                     (MeasureFn ?SPEED MilesPerHour))))))	Weather.kif 472-484	If a process is an instance of wind and an entity is an instance of Beaufort number 12 and the process is located at an object and a cognitive agent believes the process the attribute the entity, then there exists a real number such that the real number is greater than 73.0 and the cognitive agent believes the real number miles per hour(s) is a surface wind speed of the object
(=>     (and         (instance ?W Wind)         (instance ?BN BeaufortNumberAttribute)         (eventLocated ?W ?AREA)         (believes ?A             (property ?W ?BN))         (speedScaleAttributeMinMax ?BN             (MeasureFn ?MIN ?U)             (MeasureFn ?MAX ?U))         (instance ?U UnitOfMeasure))     (exists (?SPEED)         (and             (greaterThanOrEqualTo ?SPEED ?MIN)             (lessThanOrEqualTo ?SPEED ?MAX)             (believes ?A                 (surfaceWindSpeed ?AREA                     (MeasureFn ?SPEED ?U))))))	Weather.kif 337-354	If a process is an instance of wind and a speed scale attribute is an instance of Beaufort number attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is a surface wind speed of the object
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