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

zhuang1 zhi4 (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]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  wu4 ti1  
is subclass of
  zi4 shen1 lian2 xu4 wu4 ti1  
is subclass of
  fu4 za2 ti1/fei1 dan1 zhi4 ti1  
is subclass of
  ren2 zao4 wu4  
is subclass of
  zhuang1 zhi4  

Subclass(es)

le4 qi4  yun4 shu1 gong1 ju4  wu3 qi4  ji1 qi4  gong1 cheng2 yuan2 jian4 

Coordinate term(s)

yi4 shu4 pin3  yi1 wu4  zhi4 wu4  chan3 pin3  gu4 ding4 ren2 zao4 wu4  wen2 ben3 

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)

If device shi4 zhuang1 zhi4 de5 shi2 li4, then there exists li4 cheng2 proc so_that_not device ke3 yi3 ren4 jue2 se4 gong1 ju4 zuo4 proc. 
(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (capability ?PROC instrument ?DEVICE))))
If device shi4 zhuang1 zhi4 de5 shi2 li4, then there exists li4 cheng2 proc so_that_not device you3 yi4 tu2 "device ke3 yi3 ren4 jue2 se4 gong1 ju4 zuo4 proc". 
(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (hasPurpose
                        ?DEVICE
                        (capability ?PROC instrument ?DEVICE)))))
If comp shi4 gong1 cheng2 yuan2 jian4 de5 shi2 li4, then there exists zhuang1 zhi4 device so_that_not comp shi4 device de5 yuan2 jian4. 
(=>
      (instance ?COMP EngineeringComponent)
      (exists
            (?DEVICE)
            (and
                  (instance ?DEVICE Device)
                  (component ?COMP ?DEVICE))))