Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

Hlavní stránka

larger (larger)

(larger obj1 obj2) simply means that obj1 is larger, with respect to all LengthMeasures, than obj2.

Ontologie

SUMO / UNITS-OF-MEASURE

Class(es)

is instance of

inheritable relation

is instance of

binární predikát
is instance of

is instance of

is instance of

inheritable relation

is instance of

prostorová relace
is instance of

is instance of

tranzitivní relace
is instance of

is instance of

ireflexivní relace
is instance of

is instance of

is instance of

larger

Související termín(y)

back fn front fn mereological difference fn mereological product fn mereological sum fn principal host fn skin fn where fn arc weight attribute authors before before or equal between causes causes subclass citizen closed on connected connected engineering components connects contains information cooccur copy crosses date decreases likelihood developmental form disjoint distance distributes documentation duration during earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance interior part inverse irreflexive on less than less than or equal to manner material measure meets spatially meets temporally modal attribute orientation overlaps partially overlaps temporally parent part partial ordering on partially fills partly located path length possesses precondition prevents proper part property publishes range range subclass refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub organizations sub plan sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure superficial part temporal part time total ordering on traverses trichotomizing on uses valence version

Typy argumentů

larger(objekt, objekt)

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (2)

jestliže obj1 je larger than obj2,
potom pro všechny quant1,quant2 platí: jestliže the measure of obj1 je "quant1 délková jednotka(s)" a the measure of obj2 je "quant2 délková jednotka(s)", potom quant1 je větší než quant2

(=>
      (larger ?OBJ1 ?OBJ2)
      (forall
            (?QUANT1 ?QUANT2)
            (=>
                  (and
                        (measure
                              ?OBJ1
                              (MeasureFn ?QUANT1 LengthMeasure))
                        (measure
                              ?OBJ2
                              (MeasureFn ?QUANT2 LengthMeasure)))
                  (greaterThan ?QUANT1 ?QUANT2))))

smaller je inverzní k larger.

(inverse smaller larger)