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:  pm#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:  pm#class_of_inheritable_relation_type  instance:  pm#intentional_relation__intentionalrelation (sumo#cognitive_agent,?)  relations between an agent and one or more entities, where the relation requires that the agent has awareness of the entity
     subtype:  sumo#prefers__prefer (sumo#cognitive_agent,sumo#formula,sumo#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:  sumo#in_scope_of_interest (sumo#cognitive_agent,?)  the 2nd argument is within the scope of interest of the agent;  the interest indicated can be either positive or negative
     subtype:  pm#propositional_attitude_relation (sumo#cognitive_agent,sumo#formula)  intentional_relations where the agent has awareness of a proposition
        subtype:  sumo#desires (sumo#cognitive_agent,sumo#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:  sumo#considers__consider (sumo#cognitive_agent,sumo#formula)  the agent considers or wonders about the truth of the proposition expressed by the formula
        subtype:  sumo#believes (sumo#cognitive_agent,sumo#formula)  the agent believes the proposition expressed by the formula
        subtype:  sumo#knows__know (sumo#cognitive_agent,sumo#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:  pm#object_attitude_relation (sumo#cognitive_agent,sumo#physical)  intentional_relations where the agent has awareness of an instance of sumo#physical
        subtype:  sumo#needs__need (sumo#cognitive_agent,sumo#physical)  the 2nd argument is physically required for the continued existence of the cognitive agent
        subtype:  sumo#wants__want (sumo#cognitive_agent,sumo#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:  sumo#prefers  sumo#in_scope_of_interest
  equal:  sumo#intentional_relation (pm)
  subtype:  pm#propositional_attitude_relation_type  the class of intentional_relations where the agent has awareness of a proposition
     instance:  pm#propositional_attitude_relation (sumo#cognitive_agent,sumo#formula)  intentional_relations where the agent has awareness of a proposition
     instance:  sumo#desires  sumo#considers__consider  sumo#believes  sumo#knows__know
  subtype:  pm#object_attitude_relation_type  the class of intentional_relations where the agent has awareness of an instance of  sumo#physical
     instance:  pm#object_attitude_relation (sumo#cognitive_agent,sumo#physical)  intentional_relations where the agent has awareness of an instance of sumo#physical
     instance:  sumo#needs__need  sumo#wants__want

No statement uses or specializes pm#intentional_relation_type; click here to add one.