Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

prefers (prefers)

(prefers agent formula1 formula2) means that CognitiveAgent agent prefers the state of affairs expressed by formula1 over the state of affairs expressed by formula2 all things being equal.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class
is instance of
  inheritable relation  
is instance of
  ternary predicate  
is instance of
class
is instance of
  inheritable relation  
is instance of
  intentional relation  
is instance of
is instance of
  prefers  

Coordinate term(s)

altitude  between  capability  conditional probability  confers obligation  confers right  connects  depth  distance  domain  domain subclass  has purpose for agent  in scope of interest  links  occupies position  orientation  related external concept  represents for agent  represents in language  temporally between  temporally between or equal 

Type restrictions

prefers(cognitive agent, formula, formula)

Axioms (1)

(=>
      (prefers ?AGENT ?FORMULA1 ?FORMULA2)
      (=>
            (true ?FORMULA1 True)
            (true ?FORMULA2 False)))