(=>     (and         (instance ?X SuicideBombing)         (agent ?X ?P))     (believes ?P         (holdsDuring             (FutureFn                 (WhenFn ?X))             (attribute ?P Dead))))	Mid-level-ontology.kif 23754-23762	If a process is an instance of suicide bombing and a cognitive agent is an agent of the process, then the cognitive agent believes dead is an attribute of the cognitive agent holds during after the time of existence of the process
(=>     (and         (subclass ?PLATFORM PartyPlatform)         (authors ?PARTY ?PLATFORM)         (instance ?PARTY PoliticalParty)         (instance ?INST ?PLATFORM)         (containsFormula ?INST ?P))     (believes ?PARTY ?P))	Government.kif 2292-2299	If a kind of content bearing object is a subclass of party platform and a cognitive agent is the author of a kind of content bearing object and the cognitive agent is an instance of political party and a content bearing physical is an instance of the kind of content bearing object and the content bearing physical contains the formula a formula, then the cognitive agent believes the formula
(=>     (approves ?AGENT1 ?AGENT2)     (exists (?PROP)         (believes ?AGENT1             (conforms ?AGENT2 ?PROP))))	Mid-level-ontology.kif 28854-28858	If a cognitive agent approves another cognitive agent, then there exists an entity such that the cognitive agent believes the other cognitive agent conforms to the entity
(=>     (attribute ?DEIST Deist)     (believes ?DEIST         (exists (?GOD)             (equal ?GOD God))))	People.kif 742-746	If deist is an attribute of a cognitive agent, then the cognitive agent believes there exists an entity such that the entity is equal to god
(=>     (diseaseCandidate ?H ?D)     (exists (?DOC)         (believes ?DOC             (modalAttribute                 (attribute ?H ?D) Possibility))))	Medicine.kif 1932-1938	If a human may have a disease or syndrome, then there exists the disease or syndromeOC such that the disease or syndromeOC believes the statement the disease or syndrome is an attribute of the human has the modal force of possibility
(=>     (distrusts ?A1 ?A2 ?P)     (believes ?A1         (modalAttribute             (exists (?PI)                 (and                     (instance ?PI ?P)                     (agent ?PI ?A2))) Unlikely)))	Law.kif 428-436	If a cognitive agent distrusts an agent will do a kind of intentional process, then the cognitive agent believes the statement there exists a kind of intentional processI such that the kind of intentional processI is an instance of the kind of intentional process and the agent is an agent of the kind of intentional processI has the modal force of unlikely
(=>     (doubts ?AGENT ?FORMULA)     (not         (believes ?AGENT ?FORMULA)))	Mid-level-ontology.kif 8581-8583	If a formula is a doubts of a cognitive agent, then the cognitive agent doesn't believe the formula
(=>     (holdsDuring ?T         (attribute ?A Fear))     (believes ?A         (modalAttribute             (exists (?P)                 (and                     (not                         (wants ?A ?P))                     (before ?T                         (WhenFn ?P)))) Likely)))	emotion.kif 1025-1036	If angst is an attribute of a cognitive agent holds during a time position, then the cognitive agent believes the statement there exists an entity such that the cognitive agent doesn't want the entity and the time position happens before the time of existence of the entity has the modal force of likely
(=>     (holdsDuring ?T         (attribute ?H Antivaxxer))     (believes ?H         (exists (?V ?D)             (and                 (instance ?V Vaccination)                 (instance ?D Damaging)                 (causes ?V ?D)))))	Medicine.kif 3824-3832	If anti-vaxxer is an attribute of a cognitive agent holds during a time position, then the cognitive agent believes there exist an entity and another entity such that the entity is an instance of vaccination and the other entity is an instance of damaging and the entity causes the other entity
(=>     (holdsDuring ?T         (attribute ?H Dizzy))     (holdsDuring ?T         (believes ?H             (=>                 (exists (?T2)                     (and                         (during ?T2 ?T)                         (holdsDuring ?T2                             (attribute ?H Standing))))                 (exists (?F)                     (and                         (instance ?F Falling)                         (experiencer ?F ?H)                         (meetsTemporally ?T2                             (WhenFn ?F))))))))	Mid-level-ontology.kif 17798-17814	If dizziness is an attribute of an entity holds during a time position, then the entity believes if there exists the time position2 such that the time position2 takes place during the time position and standing is an attribute of the entity holds during the time position2, then there exists a third entity such that the third entity is an instance of falling and the entity experiences the third entity and the time position2 meets the time of existence of the third entity holds during the time position
(=>     (holdsDuring ?T1         (expects ?AGENT ?FORMULA))     (exists (?T2)         (and             (holdsDuring ?T1                 (believes ?AGENT                     (holdsDuring ?T2 ?FORMULA)))             (earlier ?T1 ?T2))))	Merge.kif 10718-10726	If an entity expects another entity will be true holds during a time interval, then there exists another time interval such that the entity believes the other entity holds during the other time interval holds during the time interval and the time interval happens earlier than the other time interval
(=>     (instance ?GROUP BeliefGroup)     (exists (?BELIEF)         (forall (?MEMB)             (=>                 (member ?MEMB ?GROUP)                 (believes ?MEMB ?BELIEF)))))	Merge.kif 16756-16762	If a collection is an instance of belief group, then there exists a formula such that for all a cognitive agent if the cognitive agent is a member of the collection, then the cognitive agent believes the formula
(=>     (instance ?PRETEND Pretending)     (exists (?PERSON ?PROP)         (and             (hasPurpose ?PRETEND                 (believes ?PERSON ?PROP))             (truth ?PROP False))))	Merge.kif 13166-13171	If a physical is an instance of pretending, then there exist an entity and a sentence such that the physical has the purpose the entity believes the sentence and the sentence is false
(=>     (instance ?WF WeatherForecast)     (containsInformation ?WF         (exists (?A)             (believes ?A                 (exists (?WP)                     (and                         (instance ?WP WeatherProcess)                         (during                             (ImmediateFutureFn                                 (WhenFn ?WF))                             (WhenFn ?WP))))))))	Weather.kif 3601-3611	If a content bearing physical is an instance of weather forecast, then the content bearing physical contains information there exists an entity such that the entity believes there exists another entity such that the other entity is an instance of weather process and immediately after the time of existence of the content bearing physical takes place during the time of existence of the other entity
(=>     (knows ?AGENT ?FORMULA)     (believes ?AGENT ?FORMULA))	Merge.kif 2831-2833	If a cognitive agent knows a formula, then the cognitive agent believes the formula
(=>     (medicine ?MC ?D)     (exists (?DOC)         (and             (instance ?DOC MedicalDoctor)             (believes ?DOC                 (exists (?T ?H ?M)                     (and                         (instance ?M ?MC)                         (instance ?T TherapeuticProcess)                         (instance ?H Human)                         (patientMedical ?H ?DOC)                         (resource ?T ?M)                         (benefits ?T ?H)))))))	Mid-level-ontology.kif 10981-10994	If a kind of medicine is medicine for a disease or syndrome, then there exists the disease or syndromeOC such that the disease or syndromeOC is an instance of medical doctor and the disease or syndromeOC believes there exist an entity, another entity and a third entity such that the third entity is an instance of a kind of medicine and the entity is an instance of therapeutic process and the other entity is an instance of human and the disease or syndromeOC is a patient medical of the other entity and the third entity is a resource for the entity and the other entity is a beneficiary of the entity
(=>     (member ?ATHEIST Atheism)     (believes ?ATHEIST         (not             (exists (?GOD)                 (equal ?GOD God)))))	People.kif 710-715	If a cognitive agent is a member of atheism, then the cognitive agent believes there doesn't exist an entity such that the entity is equal to god
(=>     (member ?CAPITALIST Capitalism)     (believes ?CAPITALIST         (=>             (and                 (instance ?MEANOFPRODUCTION MeanOfProduction)                 (attribute ?OBJ ?MEANOFPRODUCTION)                 (instance ?COUNTRY GeopoliticalArea)                 (located ?OBJ ?COUNTRY))             (exists (?AA)                 (and                     (instance ?AA AutonomousAgent)                     (element ?OBJ                         (PropertyFn                             (?AA)))                     (not                         (equal ?AA                             (CitizenryFn ?COUNTRY))))))))	Economy.kif 905-919	If a cognitive agent is a member of capitalism, then the cognitive agent believes if an entity is an instance of mean of production and the entity is an attribute of another entity and a third entity is an instance of geopolitical area and the other entity is located at the third entity, then there exists a fourth entity such that the fourth entity is an instance of agent and the other entity is an element of belongings of the fourth entity and the fourth entity is not equal to the citizenry of the third entity
(=>     (member ?COMMUNIST Communism)     (believes ?COMMUNIST         (=>             (and                 (instance ?MEANOFPRODUCTION MeanOfProduction)                 (attribute ?OBJ ?MEANOFPRODUCTION)                 (instance ?COUNTRY GeopoliticalArea)                 (located ?OBJ ?COUNTRY))             (element ?OBJ                 (PropertyFn                     (CitizenryFn ?COUNTRY))))))	Economy.kif 880-889	If a cognitive agent is a member of communism, then the cognitive agent believes if an entity is an instance of mean of production and the entity is an attribute of another entity and a third entity is an instance of geopolitical area and the other entity is located at the third entity, then the other entity is an element of belongings of the citizenry of the third entity
(=>     (member ?X AntiVaxxer)     (believes ?X         (=>             (and                 (instance ?V Vaccination)                 (experiencer ?V ?H))             (suffers ?V ?H))))	Medicine.kif 3062-3069	If a cognitive agent is a member of anti-vaxxer, then the cognitive agent believes if an entity is an instance of vaccination and another entity experiences the entity, then the other entity suffers from the entity
(=>     (pathologyCandidate ?H ?D)     (exists (?DOC ?DI)         (and             (instance ?DI ?D)             (believes ?DOC                 (modalAttribute                     (experiencer ?D ?H) Possibility)))))	Medicine.kif 1949-1957	If a human may have a kind of pathologic process, then there exist a kind of pathologic processOC and the kind of pathologic processI such that the kind of pathologic processI is an instance of the kind of pathologic process and the kind of pathologic processOC believes the statement the human experiences the kind of pathologic process has the modal force of possibility
(=>     (trusts ?A1 ?A2 ?P)     (believes ?A1         (=>             (exists (?S ?PI ?P)                 (and                     (instance ?S Stating)                     (containsFormula ?S                         (and                             (instance ?PI ?P)                             (agent ?PI ?A2)))))             (modalAttribute                 (and                     (instance ?PI ?P)                     (agent ?PI ?A2)) Likely))))	Law.kif 406-421	If a cognitive agent trusts an agent will do a kind of intentional process, then the cognitive agent believes if there exist an entity, a kind of intentional processI and the kind of intentional process such that the entity is an instance of stating and the entity contains the formula the kind of intentional processI is an instance of the kind of intentional process and the agent is an agent of the kind of intentional processI, then the statement the kind of intentional processI is an instance of the kind of intentional process and the agent is an agent of the kind of intentional processI has the modal force of likely
(=>     (trusts ?A1 ?A2 ?P)     (believes ?A1         (modalAttribute             (exists (?PI)                 (and                     (instance ?PI ?P)                     (agent ?PI ?A2))) Possibility)))	Law.kif 396-404	If a cognitive agent trusts an agent will do a kind of intentional process, then the cognitive agent believes the statement there exists a kind of intentional processI such that the kind of intentional processI is an instance of the kind of intentional process and the agent is an agent of the kind of intentional processI has the modal force of possibility
(=>     (weatherThreat ?CLASS ?G ?A ?TI)     (exists (?M)         (believes ?M             (exists (?I)                 (and                     (member ?I ?G)                     (holdsDuring ?TI                         (exists (?WP)                             (and                                 (instance ?WP ?CLASS)                                 (eventLocated ?WP ?A))))                     (not                         (desires ?I ?WP)))))))	Weather.kif 3623-3636	If a kind of weather process is a threat to a group of people located at a geographic area during a time interval, then there exists a cognitive agent such that the cognitive agent believes there exists an entity such that the entity is a member of the group of people and there exists another entity such that the other entity is an instance of a kind of weather process and the other entity is located at the geographic area holds during the time interval and the entity doesn't desire the other entity

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