Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

wünscht (desires)

(desires agent formula) means that agent wants to bring about the state of affairs expressed by formula. Note that there is no implication that what is desired by the agent is not already true. Note too that desires is distinguished from wants only in that the former is a PropositionalAttitude, while wants is an ObjectAttitude.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  propositionale Einstellung  
is instance of
  wünscht  

Superrelation(s)

imBereichInteresses
is subrelation of
  wünscht  

Coordinate term(s)

glaubt  betrachtet  kennt 

Type restrictions

desires(kognitiver Agent, Formel)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (5)

wünscht ist innerlich verwandt mit wünscht . 
(relatedInternalConcept wants desires)
Wenn agent wünscht obj , dann agent wünscht "agent besitzt obj " . 
(=>
      (wants ?AGENT ?OBJ)
      (desires
            ?AGENT
            (possesses ?AGENT ?OBJ)))
wünscht ist innerlich verwandt mit wünscht . 
(relatedInternalConcept desires wants)
Wenn confine ist ein fall von Begrenzen und person ist ein patient von confine , dann person wünscht "person ist ein patient von confine " nicht. 
(=>
      (and
            (instance ?CONFINE Confining)
            (patient ?CONFINE ?PERSON))
      (not
            (desires
                  ?PERSON
                  (patient ?CONFINE ?PERSON))))
Wenn request ist ein fall von Ersuchen und request ist der agent von agent und formula ist ein patient von request und formula ist ein fall von Formel , dann agent wünscht formula . 
(=>
      (and
            (instance ?REQUEST Requesting)
            (agent ?REQUEST ?AGENT)
            (patient ?REQUEST ?FORMULA)
            (instance ?FORMULA Formula))
      (desires ?AGENT ?FORMULA))