&%bildbereich von %1 ist ein fall von %2 {nicht} (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)

Kategorie

inheritable relation

zweistellige Prädikat
is instance of

asymmetrische Relation
is instance of

&%bildbereich von %1 ist ein fall von %2 {nicht}

Coordinate term(s)

RückseiteFn KardinalitätFn FrontseiteFn HauptwirtFn Wahrscheinlichkeit OberflächeFn arctusGewicht attribut schreibt vorOderGleichzeitig verursacht causes subclass bürger aufgeschlossen fülltVollständig angeschlossen enthältInformationen zusammenGeschiecht kopie kreuzt datum verringertWahrscheinlichkeit entwicklungsForm disjunkt istDistributiv dokumentation &%dauer von %1 ist %2 %n{nicht} früh herausgeber element beschäftigt %1 ist gleich %2 %n{nicht} äquivalenzrelationMit nutztAus inSpracheAusgedrückt stelltGegenüber verwandt füllt beendet frequenz graphenTeil grösserAls grösserAlsOderGleich hatZweck hatFähigkeit hältWährend hatVerpflichtung hatRecht loch identitätsElement direkterFall direckteTeilkategorie inListe imBereichInteresses vergrössertWahrscheinlichkeit Unabhänigkeitswahrscheinlichkeit wohnt hemmt ausgangsList fall umkehrFunktion irreflexivAur grösser kleinerAls kleinerAlsOderGleich weise material mass schliesstZeitlichAn mitglied modalesAttribute decktSichZeitlich elternteil teilweiseEinrichtung fülltTeilweise befindetSichTeils pfadLänge dringtEin besitzt vorbedingung verhindert korrektesTeil fülltRichtig eigenschaft veröffentlicht bildbereichTeilkategorie realizierung beziehtSichAuf reflexivAuf verwandtesInnenkonzept geschwister kleiner beginnt teilAttribut teilsammlung teilGraph teilliste subProzess %1 ist eine &%teilangelegenheit von %2 %n{nicht} teilkategorie teilrelation fasstInhaltsKategorieZusammen fasstInhaltsFallZusammen nachfolgerAttribut nachfolgerAttributSchliessung fläche zeitlichesTeil zeit gesamteinrichtung trichotomizierungAuf verwendet valenz version

Type restrictions

range(Funktion, Menge oder Kategorie)

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)

Wenn bildbereich von function ist ein fall von class {nicht} und "function()" ist gleich value , dann value ist ein fall von class .

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

Wenn rel1 ist eine teilrelation von rel2 und bildbereich von rel2 ist ein fall von class1 {nicht}, dann bildbereich von rel1 ist ein fall von class1 {nicht}.

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

Wenn bildbereich von rel ist ein fall von class1 {nicht} und bildbereich von rel ist ein fall von class2 {nicht}, dann class1 ist eine teilkategorie von class2 oder class2 ist eine teilkategorie von class1.

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

Wenn bildbereich von rel1 ist ein fall von class1 {nicht} und bildbereich von rel2 ist ein fall von class2 {nicht} und class1 ist dijunkt von class2 , dann rel1 und rel2 werden disjunkt.

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

Wenn function ist ein fall von einstellige konstante Funktionsquantität , dann die Zahl Argument von function ist ein fall von konstante Quantität und bildbereich von function ist ein fall von konstante Quantität {nicht}.

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

Wenn

rel ist ein fall von zweiwertige Relation
die Zahl Argument von rel ist ein fall von class1 oder die Zahl Argument von rel ist eine teilkategorie von class1
die Zahl Argument von rel ist ein fall von class2 oder die Zahl Argument von rel ist eine teilkategorie von class2 oder bildbereich von rel ist ein fall von class2 {nicht} oder die werte die rel zurückgibt sind teilkategorien von class2
class1 ist dijunkt von class2

, dann rel ist ein fall von asymmetrische Relation .

(=>
      (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))

Wenn seq ist ein fall von Sequenzfunktion und bildbereich von seq ist ein fall von class {nicht}, dann class ist eine teilkategorie von Ganzzahl.

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