believes - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1941-1942
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2718-2720
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2715-2715	The number 1 argument of believes is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2716-2716	The number 2 argument of believes is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2713-2713	believes is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2712-2712	believes is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2714-2714	believes is a subrelation of in scope of interest

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 61-61
No TPTP formula. May not be expressible in strict first order.	english_format.kif 61-61
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 62-62
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10696-10696
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10695-10695

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2436-2450	If a process is an instance of hurricane and an entity is an instance of SSHWS5 and the process is located at 2 and a cognitive agent believes the process the attribute the entity, then there exists a quantity such that the quantity is greater than 157 and the cognitive agent believes the quantity miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2358-2377	If a process is an instance of hurricane and a SpeedScaleAttribute is an instance of SSHWSAttribute and the process is located at 2 and a cognitive agent believes the process the attribute the SpeedScaleAttribute and speedScaleAttributeMinMax the SpeedScaleAttribute, a real number an unit of measure(s) and another real number the unit of measure(s) and the unit of measure is an instance of unit of measure, then there exists a quantity such that the quantity is greater than or equal to the real number and the quantity is less than or equal to the other real number and the cognitive agent believes the quantity the unit of measure(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2184-2198	If a process is an instance of tornado and an entity is an instance of EF5 and the process is located at 2 and a cognitive agent believes the process the attribute the entity, then there exists a quantity such that the quantity is greater than 200 and the cognitive agent believes the quantity miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2089-2107	If a process is an instance of tornado and a SpeedScaleAttribute is an instance of enhanced fuijita scale attribute and the process is located at 2 and a cognitive agent believes the process the attribute the SpeedScaleAttribute and speedScaleAttributeMinMax the SpeedScaleAttribute, a real number miles per hour(s) and another real number miles per hour(s), then there exists a quantity such that the quantity is greater than or equal to the real number and the quantity is less than or equal to the other real number and the cognitive agent believes the quantity miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 484-496	If a process is an instance of wind and an entity is an instance of BeaufortNumber12 and the process is located at 2 and a cognitive agent believes the process the attribute the entity, then there exists a quantity such that the quantity is greater than 73 and the cognitive agent believes the quantity miles per hour(s) is a surface wind speed of the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 349-366	If a process is an instance of wind and a SpeedScaleAttribute is an instance of BeaufortNumberAttribute and the process is located at 2 and a cognitive agent believes the process the attribute the SpeedScaleAttribute and speedScaleAttributeMinMax the SpeedScaleAttribute, a real number an unit of measure(s) and MeasureFN a quantity and the unit of measure and the unit of measure is an instance of unit of measure, then there exists another quantity such that the other quantity is greater than or equal to the real number and the other quantity is less than or equal to the quantity and the cognitive agent believes the other quantity the unit of measure(s) is a surface wind speed of the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2722-2725	If a cognitive agent believes a formula, then there exists a time position such that the cognitive agent considers the formula holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16175-16188	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 patient of the process and the agent believes the object the attribute the attribute holds during the time position
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2653-2662	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 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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 257-270	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 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 2496-2510	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 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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4558-4575	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 2335-2342	If a cognitive agent is an instance of political pressure group and the cognitive agent 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 geographic area の government believes the formula
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2436-2450	If a process is an instance of hurricane and an entity is an instance of SSHWS5 and the process is located at 2 and a cognitive agent believes the process the attribute the entity, then there exists a quantity such that the quantity is greater than 157 and the cognitive agent believes the quantity miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2358-2377	If a process is an instance of hurricane and a SpeedScaleAttribute is an instance of SSHWSAttribute and the process is located at 2 and a cognitive agent believes the process the attribute the SpeedScaleAttribute and speedScaleAttributeMinMax the SpeedScaleAttribute, a real number an unit of measure(s) and another real number the unit of measure(s) and the unit of measure is an instance of unit of measure, then there exists a quantity such that the quantity is greater than or equal to the real number and the quantity is less than or equal to the other real number and the cognitive agent believes the quantity the unit of measure(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10184-10191	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11267-11274	If a process is an instance of judging and an agent is an agent of the process and an entity is a patient 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12227-12233	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1312-1319	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 1529-1536	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 1543-1550	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.	Weather.kif 2184-2198	If a process is an instance of tornado and an entity is an instance of EF5 and the process is located at 2 and a cognitive agent believes the process the attribute the entity, then there exists a quantity such that the quantity is greater than 200 and the cognitive agent believes the quantity miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2089-2107	If a process is an instance of tornado and a SpeedScaleAttribute is an instance of enhanced fuijita scale attribute and the process is located at 2 and a cognitive agent believes the process the attribute the SpeedScaleAttribute and speedScaleAttributeMinMax the SpeedScaleAttribute, a real number miles per hour(s) and another real number miles per hour(s), then there exists a quantity such that the quantity is greater than or equal to the real number and the quantity is less than or equal to the other real number and the cognitive agent believes the quantity miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14281-14288	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 14312-14321	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 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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 484-496	If a process is an instance of wind and an entity is an instance of BeaufortNumber12 and the process is located at 2 and a cognitive agent believes the process the attribute the entity, then there exists a quantity such that the quantity is greater than 73 and the cognitive agent believes the quantity miles per hour(s) is a surface wind speed of the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 349-366	If a process is an instance of wind and a SpeedScaleAttribute is an instance of BeaufortNumberAttribute and the process is located at 2 and a cognitive agent believes the process the attribute the SpeedScaleAttribute and speedScaleAttributeMinMax the SpeedScaleAttribute, a real number an unit of measure(s) and MeasureFN a quantity and the unit of measure and the unit of measure is an instance of unit of measure, then there exists another quantity such that the other quantity is greater than or equal to the real number and the other quantity is less than or equal to the quantity and the cognitive agent believes the other quantity the unit of measure(s) is a surface wind speed of the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19944-19952	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 2304-2311	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 25171-25175	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

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

KB Term:			Term intersection

English Word: