on (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 / QUALITIESClass(es)
Coordinate term(s)
above
adjacent
below
horizontal
left
near
right
vertical
Related WordNet synsets
See more related synsets on a separate page.
Axioms (4)
Agar obj1 is below to obj2, to obj2 is on to obj1 yaa obj2 is above to obj1.
(=>
(orientation ?OBJ1 ?OBJ2 Below)
(or
(orientation ?OBJ2 ?OBJ1 On)
(orientation ?OBJ2 ?OBJ1 Above)))
Agar obj1 is on to obj2, to obj1 is connected to obj2.
(=>
(orientation ?OBJ1 ?OBJ2 On)
(connected ?OBJ1 ?OBJ2))
Agar obj1 is on to obj2, to obj1 is located at obj2.
(=>
(orientation ?OBJ1 ?OBJ2 On)
(located ?OBJ1 ?OBJ2))
Agar obj1 is on to obj2, to obj2 is not on to obj1.
(=>
(orientation ?OBJ1 ?OBJ2 On)
(not
(orientation ?OBJ2 ?OBJ1 On)))