side (side)
(side side object) means that side is a side of the object,
as opposed to the top or bottom.
Ontology
SUMO / MEREOTOPOLOGYSuperrelation(s)
Type restrictions
side(self connected object, self connected object)
Related WordNet synsets
- side(a)
- located on a side; "side fences"; "the side porch"
See more related synsets on a separate page.
Axioms (2)
If a side of object is side and part is a part of object and part is not connected to side, then there exists direct so that side is direct to part.
(=>
(and
(side ?SIDE ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?SIDE)))
(exists
(?DIRECT)
(orientation ?SIDE ?PART ?DIRECT)))
The width of object is width if and only if there exist side1,side2 so that a side of object is side1 and a side of object is side2 and the distance between side1 and side2 is width.
(<=>
(width ?OBJECT ?WIDTH)
(exists
(?SIDE1 ?SIDE2)
(and
(side ?SIDE1 ?OBJECT)
(side ?SIDE2 ?OBJECT)
(distance ?SIDE1 ?SIDE2 ?WIDTH))))