side (side)
(side side object) means that side is a side of the object,
as opposed to the top or bottom.
Ontologie
SUMO / MEREOTOPOLOGYSuperrelation(s)
Typy argumentů
side(spojitý objekt, spojitý objekt)
Related WordNet synsets
- side(a)
- located on a side; "side fences"; "the side porch"
See more related synsets on a separate page.
Axiomy (2)
Jestliže side(side,object) platí a part je částí object a part není spojen s side, potom existuje direct tak, že side je direct vzhledem k part.
(=>
(and
(side ?SIDE ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?SIDE)))
(exists
(?DIRECT)
(orientation ?SIDE ?PART ?DIRECT)))
width(object,width) platí tehdy a jen tehdy pokud existují side1,side2 tak, že side(side1,object) platí a side(side2,object) platí a distance(side1,side2,width) platí.
(<=>
(width ?OBJECT ?WIDTH)
(exists
(?SIDE1 ?SIDE2)
(and
(side ?SIDE1 ?OBJECT)
(side ?SIDE2 ?OBJECT)
(distance ?SIDE1 ?SIDE2 ?WIDTH))))