length (length)

BinaryPredicate that is used to state the measure of an Object from one point to another point along its surface. Note that the difference between the predicates length and distance is that the length is used to state the LengthMeasure of one of the dimensions of a single object, while distance is used to state the LengthMeasure that separates two distinct objects

Ontologie

SUMO / UNITS-OF-MEASURE

Superrelation(s)

measure

length

Subrelation(s)

width height

Typy argumentů

length(?, délková jednotka)

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (1)

jestliže
- path1 je cesta podél které se vyskytuje process
- process začíná v source
- process končí v dest
- délka path1 je measure1
- neexistují path2,measure2 tak, že path2 je cesta podél které se vyskytuje process a process začíná v origin a process končí v dest a délka path2 je measure2 a measure2 je menší než measure1
,
potom pro všechny obj platí: jestliže obj je částí path1, potom obj je mezi source a dest

(=>
      (and
            (path ?PROCESS ?PATH1)
            (origin ?PROCESS ?SOURCE)
            (destination ?PROCESS ?DEST)
            (length ?PATH1 ?MEASURE1)
            (not
                  (exists
                        (?PATH2 ?MEASURE2)
                        (and
                              (path ?PROCESS ?PATH2)
                              (origin ?PROCESS ?ORIGIN)
                              (destination ?PROCESS ?DEST)
                              (length ?PATH2 ?MEASURE2)
                              (lessThan ?MEASURE2 ?MEASURE1)))))
      (forall
            (?OBJ)
            (=>
                  (part ?OBJ ?PATH1)
                  (between ?SOURCE ?OBJ ?DEST))))