believes - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__believes__m,s__ChineseLanguage,'这是信念的知识谓词，(believes ?AGENT ?FORMULA)的意思是 ?AGENT 相信 ?FORMULA 所表达的命题。')	Merge.kif 2995-2996
s__documentation(s__believes__m,s__EnglishLanguage,'The epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.')	Merge.kif 2992-2994
s__domain(s__believes__m,1,s__CognitiveAgent)	Merge.kif 2990-2990	The number 1 argument of believes is an instance of cognitive agent
s__domain(s__believes__m,2,s__Formula)	Merge.kif 2991-2991	The number 2 argument of believes is an instance of formula
s__instance(s__believes__m,s__BinaryPredicate)	Merge.kif 2988-2988	believes is an instance of binary predicate
s__instance(s__PropositionalAttitude,s__SetOrClass)	Merge.kif 2987-2987	believes is an instance of propositional attitude
s__subrelation(s__believes__m,s__inScopeOfInterest__m)	Merge.kif 2989-2989	believes is a subrelation of in scope of interest

appearance as argument number 2

s__format(s__ChineseLanguage,s__believes__m,'%1 %n{doesnt} believes %2')	chinese_format.kif 61-61
s__format(s__EnglishLanguage,s__believes__m,'%1 %n{doesnt} believe%p{s} %2')	english_format.kif 57-57
s__format(s__FrenchLanguage,s__believes__m,'%1 %n{ne} croit %n{pas} %2')	french_format.kif 57-57
s__format(s__PortugueseLanguage,s__believes__m,'%1 acredita que %2')	portuguese_format.kif 9-9
s__format(s__ar__m,s__believes__m,'%1 %n{لا} يَعْتَقِد% %2')	arabic_format.kif 7-7
s__format(s__cb__m,s__believes__m,'%1 %n mingtuo %2')	relations-cb.txt 70-70
s__format(s__cz__m,s__believes__m,'%1 %n{doesnt} believe%p{s} %2')	relations-cz.txt 100-100
s__format(s__de__m,s__believes__m,'%1 glaubt %n{nicht}, dass %2')	relations-de.txt 68-68
s__format(s__hi__m,s__believes__m,'%1 %2 para vishvaasa %n{nahin} karataa hai')	relations-hindi.txt 54-54
s__format(s__tg__m,s__believes__m,'%1 %n naniniwala %2')	relations-tg.txt 88-88
s__termFormat(s__ChineseLanguage,s__believes__m,'相信')	chinese_format.kif 62-62	"相信" is the printable form of believes in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__believes__m,'believes')	domainEnglishFormat.kif 2204-2204	"believes" is the printable form of believes in english language
s__termFormat(s__ar__m,s__believes__m,'«يَعْتَقِد»')	arabic_format.kif 457-457	"«يَعْتَقِد»" is the printable form of believes in ar
s__termFormat(s__tg__m,s__believes__m,'naniniwala')	relations-tg.txt 89-89	"naniniwala" is the printable form of believes in tg

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 2998-3001

If a cognitive agent believes a formula,
then there exists an entity such that the cognitive agent considers the formula holds during the entity

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17644-17657	If an attribute is an attribute of an object and the attribute is an instance of subjective assessment attribute, then there exist an entity, 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 patient of the process and the agent believes the object has an attribute the attribute holds during the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2640-2649	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
No TPTP formula. May not be expressible in strict first order.	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 an entity and the entity is an instance of cognitive agent, then the entity believes dangerous is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 248-261	If a process is an instance of exfiltration and an agent is an agent of the process, then there exists another process such that the other process is an instance of pretending and the agent is an agent of the other process and an entity is a patient of the other process and the other process has purpose the entity believes there doesn't exist the process0 such that the process0 is equal to the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2483-2497	If a process is an instance of evacuation and the process originates at a geographic area and an 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 agent believes dangerous is an attribute of the other process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4552-4569	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 2309-2316	If an agent is an instance of political pressure group and the agent has purpose a formula and a geopolitical area is an agent operates in area of the agent and the geopolitical area is an instance of nation, then the agent desires the government of the geopolitical area believes the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10775-10782	If a process is an instance of interpreting and an agent is an agent of the process and a content bearing physical is a patient of the process and the content bearing physical is an instance of content bearing object, then there exists a proposition such that the agent believes the content bearing physical contains information the proposition holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11951-11958	If a process is an instance of judging and a cognitive agent is an agent of the process and a formula is a patient of the process, then the cognitive agent doesn't believe the formula holds during the beginning of the time of existence of the process and the cognitive agent believes the formula holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13041-13047	If a process is an instance of stating and a cognitive agent is an agent of the process and a formula is a patient of the process and the formula is an instance of formula, then the cognitive agent believes the formula holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1311-1318	If a process is an instance of tellingA 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
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1517-1524	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
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1531-1538	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15446-15453	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15480-15489	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
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 212-218	If a process is an instance of threatening and an object is a patient of the process and the process ends up at an entity, then the entity believes dangerous is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19842-19850	If a process is an instance of suicide bombing and an agent is an agent of the process, then the agent believes dead is an attribute of the agent holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 2278-2285	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 information a formula, then the cognitive agent believes the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25047-25051	If a cognitive agent approves another cognitive agent, then there exists a proposition such that the cognitive agent believes the other cognitive agent conforms to the proposition
No TPTP formula. May not be expressible in strict first order.	People.kif 744-748	If deist is an attribute of an object, then the object believes there exists an entity such that the entity is equal to god
No TPTP formula. May not be expressible in strict first order.	Law.kif 462-470	If an agent distrusts another agent, then the agent believes the statement there exists a process such that the process is an instance of a kind of intentional process and the other agent is an agent of the process has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7120-7122	If a formula is a doubts of a cognitive agent, then the cognitive agent doesn't believe the formula
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2430-2436	If an agent and another agent are enemies of each other, then the agent believes enemy is an attribute of the other agent and the other agent believes enemy is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1027-1038	If angst is an attribute of a cognitive agent holds during a time point, then the cognitive agent believes the statement there exists a physical such that the cognitive agent doesn't want the physical and the time point happens before the time of existence of the physical has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7084-7088	If a cognitive agent expects a formula will be true holds during a time interval, then the cognitive agent believes the formula holds during another time interval holds during the time interval and the time interval happens earlier than the other time interval

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: