Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Dispositivo (Device)

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

Ontology

SUMO / OBJECTS

Superclass(es)

[tree]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Oggetto  
is subclass of
  OggettoIntegro  
is subclass of
  OggettoCorpuscolare  
is subclass of
  Manufatto  
is subclass of
  Dispositivo  

Subclass(es)

StrumentoMusicale  MezzoDiTrasporto  Arma  Macchinario  Meccanismo 

Coordinate term(s)

OperaD'Arte  Vestito  Stoffa  Prodotto  ManufattoStatico  Testo 

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.

Axioms (3)

Se device é un' istanza di Dispositivo, allora esiste Processo proc tale che device é capace di fare proc nel ruolo instrument. 
(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (capability ?PROC instrument ?DEVICE))))
Se device é un' istanza di Dispositivo, allora esiste Processo proc tale che device ha scopo "device é capace di fare proc nel ruolo instrument". 
(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (hasPurpose
                        ?DEVICE
                        (capability ?PROC instrument ?DEVICE)))))
Se comp é un' istanza di Meccanismo, allora esiste Dispositivo device tale che comp é un componente didevice. 
(=>
      (instance ?COMP EngineeringComponent)
      (exists
            (?DEVICE)
            (and
                  (instance ?DEVICE Device)
                  (component ?COMP ?DEVICE))))