stroj (Machine)

Machines are Devices that that have a well-defined resource and result and that automatically convert the resource into the result.

Ontologie

SUMO / OBJECTS

Nadtřída(y)

entita

fyzický objekt

objekt

spojitý objekt

složený objekt

artefakt

zařízení

stroj

Související termín(y)

inženýrská komponenta hudební nástroj transportní zařízení zbraň

Related WordNet synsets

by machine: with the use of a machine; "the shirt is sewn by machine"

See more related synsets on a separate page.

Axiomy (2)

Jestliže lang je instancí třídy počítačový jazyk a agent je původcem proc a lang je nástrojem for proc, potom agent je instancí třídy stroj.

(=>
      (and
            (instance ?LANG ComputerLanguage)
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?LANG))
      (instance ?AGENT Machine))

jestliže machine je instancí třídy stroj,
potom pro všechny proc platí: jestliže machine je nástrojem for proc, potom existují resource,result tak, že resource je nástrojem pro proc a result je výsledkem proc

(=>
      (instance ?MACHINE Machine)
      (forall
            (?PROC)
            (=>
                  (instrument ?PROC ?MACHINE)
                  (exists
                        (?RESOURCE ?RESULT)
                        (and
                              (resource ?PROC ?RESOURCE)
                              (result ?PROC ?RESULT))))))