Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

zařízení (Device)

A Device is an Artifact whose purpose is to serve as an instrument in a specific type of task.

Ontologie

SUMO / OBJECTS

Nadtřída(y)

[tree]
entita
is subclass of
  fyzický objekt  
is subclass of
  objekt  
is subclass of
  spojitý objekt  
is subclass of
  složený objekt  
is subclass of
  artefakt  
is subclass of
  zařízení  

Podtřída(y)

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

Související termín(y)

umělecké dílo  ošacení  tkanina  produkt  nemovitost  text 

Related WordNet synsets

device
an instrumentality invented for a particular purpose; "the device is small enough to wear on your wrist"; "a device intended to conserve water"
device is kind of (all)...   device is kind of...   kinds of device...   kinds of device (all)...  
instrumentality, instrumentation
an artifact (or system of artifacts) that is instrumental in accomplishing some end
instrumentality is kind of (all)...   instrumentality is kind of...   kinds of instrumentality...   kinds of instrumentality (all)...  
See more related synsets on a separate page.

Axiomy (3)

Jestliže device je instancí třídy zařízení, potom existuje proces proc tak, že device je capable to do proc in role instrument.
(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (capability ?PROC instrument ?DEVICE))))

Jestliže device je instancí třídy zařízení, potom existuje proces proc tak, že device has purpose "device je capable to do proc in role instrument".
(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (hasPurpose
                        ?DEVICE
                        (capability ?PROC instrument ?DEVICE)))))

Jestliže comp je instancí třídy inženýrská komponenta, potom existuje zařízení device tak, že comp je a component of device.
(=>
      (instance ?COMP EngineeringComponent)
      (exists
            (?DEVICE)
            (and
                  (instance ?DEVICE Device)
                  (component ?COMP ?DEVICE))))