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

zai4...shang4 (On)

This is used to assert that an object is on top of another object, and it is derived from the up/down schema and involves contact.

Ontology

SUMO / QUALITIES

Class(es)

wei4 zhi4 shu3 xing4
is instance of
  zai4...shang4  

Coordinate term(s)

zai4...zhi1 shang4  lin2 jin4 de5  zai4...zhi1 xia4  shui3 ping2 xian4  zuo3 bian1  jie1 jin4  you4 bian1  chui2 zhi2 de5 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (4)

If obj1 dui4 obj2 shi4 zai4...zhi1 xia4, then obj2 dui4 obj1 shi4 zai4...shang4 or obj2 dui4 obj1 shi4 zai4...zhi1 shang4. 
(=>
      (orientation ?OBJ1 ?OBJ2 Below)
      (or
            (orientation ?OBJ2 ?OBJ1 On)
            (orientation ?OBJ2 ?OBJ1 Above)))
If obj1 dui4 obj2 shi4 zai4...shang4, then obj1 yu3 obj2 xiang1 lian2. 
(=>
      (orientation ?OBJ1 ?OBJ2 On)
      (connected ?OBJ1 ?OBJ2))
If obj1 dui4 obj2 shi4 zai4...shang4, then obj1 wei4 yu1 obj2. 
(=>
      (orientation ?OBJ1 ?OBJ2 On)
      (located ?OBJ1 ?OBJ2))
If obj1 dui4 obj2 shi4 zai4...shang4, then obj2 dui4 obj1 shi4 not zai4...shang4. 
(=>
      (orientation ?OBJ1 ?OBJ2 On)
      (not
            (orientation ?OBJ2 ?OBJ1 On)))