range (range)

Gives the range of a function. In other words, (range function class) means that all of the values assigned by function are instances of class.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

varga

inheritable relation

dvi-lakshana
is instance of

asaamanjasyapUrNa sambandha
is instance of

range

Coordinate term(s)

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

Type restrictions

range(prakaarya, samUha yaa varga)

Related WordNet synsets

range: the limits of the values a function can take; "the range of this function is the interval from 0 to 1"

Axioms (7)

Agar range of function is an instance of class aur "function()" is equal to value, to value is an instance of class.

(=>
      (and
            (range ?FUNCTION ?CLASS)
            (equal
                  (AssignmentFn ?FUNCTION @ROW)
                  ?VALUE))
      (instance ?VALUE ?CLASS))

Agar rel1 is a subrelation of rel2 aur range of rel2 is an instance of class1, to range of rel1 is an instance of class1.

(=>
      (and
            (subrelation ?REL1 ?REL2)
            (range ?REL2 ?CLASS1))
      (range ?REL1 ?CLASS1))

Agar range of rel is an instance of class1 aur range of rel is an instance of class2, to class1 is a subclass of class2 yaa class2 is a subclass of class1.

(=>
      (and
            (range ?REL ?CLASS1)
            (range ?REL ?CLASS2))
      (or
            (subclass ?CLASS1 ?CLASS2)
            (subclass ?CLASS2 ?CLASS1)))

Agar range of rel1 is an instance of class1 aur range of rel2 is an instance of class2 aur class1 asansavat class2 se hai, to rel1 and rel2 are disjoint.

(=>
      (and
            (range ?REL1 ?CLASS1)
            (range ?REL2 ?CLASS2)
            (disjoint ?CLASS1 ?CLASS2))
      (disjointRelation ?REL1 ?REL2))

Agar function is an instance of ekaadhaarita sthira prakaarya parimaaNa, to the number argument of function is an instance of sthira parimaaNa aur range of function is an instance of sthira parimaaNa.

(=>
      (instance ?FUNCTION UnaryConstantFunctionQuantity)
      (and
            (domain ?FUNCTION 1 ConstantQuantity)
            (range ?FUNCTION ConstantQuantity)))

Agar

rel is an instance of dvi-aadhaarI sambandha
the number argument of rel is an instance of class1 yaa the number argument of rel is a subclass of class1
the number argument of rel is an instance of class2 yaa the number argument of rel is a subclass of class2 yaa range of rel is an instance of class2 yaa the values returned by rel are subclasses of class2
class1 asansavat class2 se hai

, to rel is an instance of asaamanjasyapUrNa sambandha.

(=>
      (and
            (instance ?REL BinaryRelation)
            (or
                  (domain ?REL 1 ?CLASS1)
                  (domainSubclass ?REL 1 ?CLASS1))
            (or
                  (domain ?REL 2 ?CLASS2)
                  (domainSubclass ?REL 2 ?CLASS2)
                  (range ?REL ?CLASS2)
                  (rangeSubclass ?REL ?CLASS2))
            (disjoint ?CLASS1 ?CLASS2))
      (instance ?REL AsymmetricRelation))

Agar seq is an instance of anukrama prakaarya aur range of seq is an instance of class, to class is a subclass of pUrNaanka.

(=>
      (and
            (instance ?SEQ SequenceFunction)
            (range ?SEQ ?CLASS))
      (subclass ?CLASS Integer))