pm#intentional_relation_type the class of relations between an agent and one or more entities, where the relation requires that the agent has awareness of the entity
supertype: relation_type there are three kinds of relation(_types): pm#predicate_type, pm#function_type and sumo#list; both predicates and functions denote sets of ordered n-tuples; the difference between these two classes is that predicates cover formula-forming operators, while functions cover term-forming operators; a list, on the other hand, is a particular ordered n-tuple
instance of: class_of_inheritable_relation_type instance: intentional_relation__intentionalrelation (cognitive_agent,?) relations between an agent and one or more entities, where the relation requires that the agent has awareness of the entity
subtype: prefers__prefer (cognitive_agent,formula,formula) the cognitive_agent prefers the state of affairs expressed by the 1st formula over the state of affairs expressed by the 2nd formula, all things being equal
subtype: in_scope_of_interest (cognitive_agent,?) the 2nd argument is within the scope of interest of the agent; the interest indicated can be either positive or negative
subtype: propositional_attitude_relation (cognitive_agent,formula) intentional_relations where the agent has awareness of a proposition
subtype: desires (cognitive_agent,formula) the agent wants to bring about the state of affairs expressed by the formula (whcih may be already true); desires is distinguished from wants only in that the former is a propositional_attitude, while wants is an object_attitude
subtype: considers__consider (cognitive_agent,formula) the agent considers or wonders about the truth of the proposition expressed by the formula
subtype: believes (cognitive_agent,formula) the agent believes the proposition expressed by the formula
subtype: knows__know (cognitive_agent,formula) the agent knows the proposition expressed by the formula; knows entails conscious awareness, so this predicate cannot be used to express tacit or subconscious or unconscious knowledge
subtype: object_attitude_relation (cognitive_agent,physical) intentional_relations where the agent has awareness of an instance of sumo#physical
subtype: needs__need (cognitive_agent,physical) the 2nd argument is physically required for the continued existence of the cognitive agent
subtype: wants__want (cognitive_agent,physical) the agent believes that the 2nd argument will satisfy one of its goals; what is wanted may or may not be already possessed by the agent
instance: prefers in_scope_of_interest
equal: intentional_relation (pm)
subtype: propositional_attitude_relation_type the class of intentional_relations where the agent has awareness of a proposition
instance: propositional_attitude_relation (cognitive_agent,formula) intentional_relations where the agent has awareness of a proposition
instance: desires considers__consider believes knows__know
subtype: object_attitude_relation_type the class of intentional_relations where the agent has awareness of an instance of sumo#physical
instance: object_attitude_relation (cognitive_agent,physical) intentional_relations where the agent has awareness of an instance of sumo#physical
instance: needs__need wants__want
No statement uses or specializes intentional_relation_type; click here to add one.