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(OggettoIntegro, OggettoIntegro)
Related WordNet synsets
- side(a)
- located on a side; "side fences"; "the side porch"
See more related synsets on a separate page.
Axioms (2)
Se un lato di object é side e part é una parte di object e part é not connesso a side, allora esiste direct tale che side é direct a part.
(=>
(and
(side ?SIDE ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?SIDE)))
(exists
(?DIRECT)
(orientation ?SIDE ?PART ?DIRECT)))
L' ampiezza di object é width se e solo se esiste side1,side2 tale che un lato di object é side1 e un lato di object é side2 e la distanza tra side1 e side2 é width.
(<=>
(width ?OBJECT ?WIDTH)
(exists
(?SIDE1 ?SIDE2)
(and
(side ?SIDE1 ?OBJECT)
(side ?SIDE2 ?OBJECT)
(distance ?SIDE1 ?SIDE2 ?WIDTH))))