hatZweckFürAgent (hasPurposeForAgent)

Expresses a cognitive attitude of an agent with respect to a particular instance of Physical. More precisely, (hasPurposeForAgent thing formula agent) means that the purpose of thing for agent is the proposition expressed by formula. Very complex issues are involved here. In particular, the rules of inference of the first order predicate calculus are not truth-preserving for the second argument position of this Predicate.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie

inheritable relation

dreistellige Prädikat

hatZweckFürAgent

Coordinate term(s)

altitude zwischen fähigkeit Abhänigkeitswahrscheinlichkeit konferiertVerpflichtung konferiertRecht schliesstAn depth abstand definitionsbereich definitionsbereichteilkategorie verbindet besetztPosition lagebestimmung bevorzugt verwandtesÄusserkonzept stelltDarFürAgent inSpracheDargestellt zeitlichZwischen zeitlichZwischenOderGleichzeitig

Type restrictions

hasPurposeForAgent(körperlicher Gegenstand, Formel, kognitiver Agent)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (6)

Wenn agent wünscht obj , dann es gibt ein purp der obj hat Zweck von purp für agent .

(=>
      (wants ?AGENT ?OBJ)
      (exists
            (?PURP)
            (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))

Wenn thing hat Zweck von purpose , dann es gibt ein agent der thing hat Zweck von purpose für agent .

(=>
      (hasPurpose ?THING ?PURPOSE)
      (exists
            (?AGENT)
            (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))

Wenn proc ist ein fall von absichlicher Prozess und proc ist der agent von agent , dann es gibt ein purp der proc hat Zweck von purp für agent .

(=>
      (and
            (instance ?PROC IntentionalProcess)
            (agent ?PROC ?AGENT))
      (exists
            (?PURP)
            (hasPurposeForAgent ?PROC ?PURP ?AGENT)))

Wenn proc ist ein fall von Diagnoseprozess und proc ist der agent von agent , dann es gibt ein cause der proc hat Zweck von "agent kennt "cause verursacht proc " " für agent .

(=>
      (and
            (instance ?PROC DiagnosticProcess)
            (agent ?PROC ?AGENT))
      (exists
            (?CAUSE)
            (hasPurposeForAgent
                  ?PROC
                  (knows
                        ?AGENT
                        (causes ?CAUSE ?PROC))
                  ?AGENT)))

wenn cooperate ist ein fall von Mitarbeit ,
dann es gibt ein purp der für jeden agent gilt: wenn cooperate ist der agent von agent , dann cooperate hat Zweck von purp für agent

(=>
      (instance ?COOPERATE Cooperation)
      (exists
            (?PURP)
            (forall
                  (?AGENT)
                  (=>
                        (agent ?COOPERATE ?AGENT)
                        (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))

Wenn contest ist ein fall von Kampf , dann es gibt ein agent1,agent2,purp1,purp2 der contest ist der agent von agent1 und contest ist der agent von agent2 und contest hat Zweck von purp1 für agent1 und contest hat Zweck von purp2 für agent2 und agent1 ist gleich agent2 nicht und purp1 ist gleich purp2 nicht.

(=>
      (instance ?CONTEST Contest)
      (exists
            (?AGENT1 ?AGENT2 ?PURP1 ?PURP2)
            (and
                  (agent ?CONTEST ?AGENT1)
                  (agent ?CONTEST ?AGENT2)
                  (hasPurposeForAgent ?CONTEST ?PURP1 ?AGENT1)
                  (hasPurposeForAgent ?CONTEST ?PURP2 ?AGENT2)
                  (not
                        (equal ?AGENT1 ?AGENT2))
                  (not
                        (equal ?PURP1 ?PURP2)))))