původce (Agent)

Something or someone that can act on its own and produce changes in the world.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

entita

fyzický objekt

objekt

původce

Podtřída(y)

vnímavý agent geopolitická oblast organismus skupina

Související termín(y)

kolekce oblast spojitý objekt

Constrains relations

property fn wealth fn agent authors editor experiencer exploits has skill possesses represents for agent uses

Related WordNet synsets

causal agent, cause, causal agency: any entity that causes events to happen

See more related synsets on a separate page.

Axiomy (4)

agent je instancí třídy původce tehdy a jen tehdy pokud existuje proc tak, že agent je původcem proc.

(<=>
      (instance ?AGENT Agent)
      (exists
            (?PROC)
            (agent ?PROC ?AGENT)))

Jestliže change je instancí třídy změna vlastnictví a change začíná v agent1 a change končí v agent2 a agent2 je instancí třídy původce a obj je účastníkem change, potom agent1 posesses obj právě před doba existence change a agent2 posesses obj právě po doba existence change.

(=>
      (and
            (instance ?CHANGE ChangeOfPossession)
            (origin ?CHANGE ?AGENT1)
            (destination ?CHANGE ?AGENT2)
            (instance ?AGENT2 Agent)
            (patient ?CHANGE ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT1 ?OBJ))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT2 ?OBJ))))

Jestliže give je instancí třídy dávání a agent1 je původcem give a give končí v agent2 a agent2 je instancí třídy původce a obj je účastníkem give, potom existuje braní get tak, že agent2 je původcem get a get začíná v agent1 a obj je účastníkem get.

(=>
      (and
            (instance ?GIVE Giving)
            (agent ?GIVE ?AGENT1)
            (destination ?GIVE ?AGENT2)
            (instance ?AGENT2 Agent)
            (patient ?GIVE ?OBJ))
      (exists
            (?GET)
            (and
                  (instance ?GET Getting)
                  (agent ?GET ?AGENT2)
                  (origin ?GET ?AGENT1)
                  (patient ?GET ?OBJ))))

Jestliže group je instancí třídy skupina a memb je a členem group, potom memb je instancí třídy původce.

(=>
      (and
            (instance ?GROUP Group)
            (member ?MEMB ?GROUP))
      (instance ?MEMB Agent))