consequent

(=>     (and         (instance ?D Demonstration)         (agent ?D ?G)         (member ?A1 ?G)         (member ?A2 ?G))     (exists (?P)         (and             (believes ?A1 ?P)             (believes ?A2 ?P))))	MilitaryProcesses.kif 2634-2643	If a process is an instance of demonstration and an agent is an agent of process and a self connected object is a member of agent and self connected object is a member of agent then there exists a formula so that self connected object believes formula and self connected object believes 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 process and process ends at a cognitive agent and cognitive agent is an instance of cognitive agent then cognitive agent believes dangerous is an attribute of agent
(=>     (and         (instance ?EF Exfiltration)         (agent ?EF ?AGENT))     (exists (?PRET)         (and             (instance ?PRET Pretending)             (agent ?PRET ?AGENT)             (patient ?PRET ?ENEMY)             (hasPurpose ?PRET                 (believes ?ENEMY                     (not                         (exists (?EF0)                             (equal ?EF0 ?EF))))))))	MilitaryProcesses.kif 248-261	If a process is an instance of exfiltration and an agent is an agent of process then there exists process so that process is an instance of pretending and agent is an agent of process and a cognitive agent is a patient of process and process has purpose cognitive agent believes there doesn't exist process0 so that process0 is equal to 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 2477-2491	If a process is an instance of evacuation and process originates at a geographic area and a cognitive agent is an agent of process then there exists process so that process is an instance of process and the place where process was at the beginning of the time of existence of process is a geographic subregion of geographic area and process causes process and cognitive agent believes dangerous is an attribute of process
(=>     (and         (instance ?GROUP PoliticalPressureGroup)         (hasPurpose ?GROUP ?FORMULA)         (agentOperatesInArea ?GROUP ?AREA)         (instance ?AREA Nation))     (desires ?GROUP         (believes             (GovernmentFn ?AREA) ?FORMULA)))	Government.kif 2157-2164	If a cognitive agent is an instance of political pressure group and cognitive agent has purpose a formula and a geopolitical area is an agent operates in area of cognitive agent and geopolitical area is an instance of nation then cognitive agent desires the government of geopolitical area believes formula
(=>     (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 8628-8635	If a process is an instance of interpreting and a cognitive agent is an agent of process and a content bearing physical is a patient of process and content bearing physical is an instance of content bearing object then there exists a proposition so that cognitive agent believes content bearing physical contains information proposition holds during the end of the time of existence of process
(=>     (and         (instance ?JUDGE Judging)         (agent ?JUDGE ?AGENT)         (patient ?JUDGE ?PROPOSITION))     (and         (holdsDuring             (BeginFn                 (WhenFn ?JUDGE))             (not                 (believes ?AGENT ?PROPOSITION)))         (holdsDuring             (EndFn                 (WhenFn ?JUDGE))             (believes ?AGENT ?PROPOSITION))))	Merge.kif 9575-9582	If a process is an instance of judging and a cognitive agent is an agent of process and a formula is a patient of process then cognitive agent doesn't believe formula holds during the beginning of the time of existence of process and cognitive agent believes formula holds during the end of the time of existence of process
(=>     (and         (instance ?STATE Stating)         (agent ?STATE ?AGENT)         (patient ?STATE ?FORMULA)         (instance ?FORMULA Formula))     (holdsDuring         (WhenFn ?STATE)         (believes ?AGENT ?FORMULA)))	Merge.kif 10475-10481	If a process is an instance of stating and a cognitive agent is an agent of process and a formula is a patient of process and formula is an instance of formula then cognitive agent believes formula holds during the time of existence of process
(=>     (and         (instance ?STATE TellingALie)         (agent ?STATE ?AGENT)         (patient ?STATE ?STATEMENT))     (holdsDuring         (WhenFn ?STATE)         (believes ?AGENT             (truth ?STATEMENT False))))	Mid-level-ontology.kif 712-719	If a process is an instance of tellingA lie and a cognitive agent is an agent of process and processMENT is a patient of process then cognitive agent believes processMENT is false holds during the time of existence of process
(=>     (and         (instance ?TEXT FactualText)         (authors ?AGENT ?TEXT)         (subsumesContentInstance ?TEXT ?CONTENT)         (instance ?CONTENT Formula))     (believes ?AGENT ?CONTENT))	Merge.kif 12445-12451	If a text is an instance of factual text and a cognitive agent is the author of a text and text subsumes the content of a formula and formula is an instance of formula then cognitive agent believes formula
(=>     (and         (instance ?TEXT FactualText)         (authors ?AGENT ?TEXT))     (exists (?CONTENT)         (and             (subsumesContentInstance ?TEXT ?CONTENT)             (instance ?CONTENT Formula)             (not                 (believes ?AGENT ?CONTENT)))))	Merge.kif 12462-12470	If a text is an instance of factual text and a cognitive agent is the author of a text then there exists a formula so that text subsumes the content of formula and formula is an instance of formula and cognitive agent doesn't believe 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 object is a patient of process and process ends at a cognitive agent then cognitive agent believes dangerous is an attribute of object
(=>     (and         (instance ?X SuicideBombing)         (agent ?X ?P))     (believes ?P         (holdsDuring             (FutureFn                 (WhenFn ?X))             (attribute ?P Dead))))	Mid-level-ontology.kif 15018-15026	If a process is an instance of suicide bombing and a cognitive agent is an agent of process then cognitive agent believes dead is an attribute of cognitive agent holds during after the time of existence of process
(=>     (and         (subclass ?PLATFORM PartyPlatform)         (authors ?PARTY ?PLATFORM)         (instance ?PARTY PoliticalParty)         (instance ?INST ?PLATFORM)         (containsInformation ?INST ?PROP))     (believes ?PARTY ?PROP))	Mid-level-ontology.kif 5297-5304	If a text is a subclass of party platform and a cognitive agent is the author of a text and cognitive agent is an instance of political party and a content bearing physical is an instance of text and content bearing physical contains information a proposition then cognitive agent believes proposition
(=>     (attribute ?DEIST Deist)     (believes ?DEIST         (exists (?GOD)             (equal ?GOD God))))	People.kif 762-766	If deist is an attribute of a cognitive agent then cognitive agent believes there exists a deity so that deity is equal to god
(=>     (doubts ?AGENT ?FORMULA)     (not         (believes ?AGENT ?FORMULA)))	Mid-level-ontology.kif 4811-4813	If a formula is a doubts of a cognitive agent then cognitive agent doesn't believe formula
(=>     (enemy ?AGENT1 ?AGENT2)     (and         (believes ?AGENT1             (attribute ?AGENT2 Enemy))         (believes ?AGENT2             (attribute ?AGENT1 Enemy))))	MilitaryProcesses.kif 2424-2430	If a cognitive agent and cognitive agent are enemies of each other then cognitive agent believes enemy is an attribute of cognitive agent and cognitive agent believes enemy is an attribute of cognitive agent
(=>     (instance ?GROUP BeliefGroup)     (exists (?BELIEF)         (forall (?MEMB)             (=>                 (member ?MEMB ?GROUP)                 (believes ?MEMB ?BELIEF)))))	Merge.kif 13509-13515	If a collection is an instance of belief group then there exists a formula so that for all a self connected object if self connected object is a member of collection then self connected object believes formula
(=>     (instance ?PRETEND Pretending)     (exists (?PERSON ?PROP)         (and             (hasPurpose ?PRETEND                 (believes ?PERSON ?PROP))             (truth ?PROP False))))	Merge.kif 10362-10367	If a physical is an instance of pretending then there exist a cognitive agent and a formula so that physical has purpose cognitive agent believes formula and formula is false
(=>     (knows ?AGENT ?FORMULA)     (believes ?AGENT ?FORMULA))	Merge.kif 2305-2307	If a cognitive agent knows a formula then cognitive agent believes formula
(=>     (member ?ATHEIST Atheism)     (believes ?ATHEIST         (not             (exists (?GOD)                 (equal ?GOD God)))))	People.kif 730-735	If a self connected object is a member of atheism then self connected object believes there doesn't exist a deity so that deity is equal to god

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners