Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - range
range

appearance as argument number 1
-------------------------


(instance range BinaryPredicate) Merge.kif 298-298 range is an instance of binary predicate
(domain range 1 Function) Merge.kif 299-299 The number 1 argument of range is an instance of function
(domain range 2 Class) Merge.kif 300-300 The number 2 argument of range is an instance of class
(documentation range EnglishLanguage "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.") Merge.kif 301-303 The number 2 argument of range is an instance of class

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage range "range") domainEnglishFormat.kif 48753-48753
(termFormat ChineseTraditionalLanguage range "範圍") domainEnglishFormat.kif 48754-48754
(termFormat ChineseLanguage range "范围") domainEnglishFormat.kif 48755-48755
(format EnglishLanguage range "the range of %1 is %n an instance of %2") english_format.kif 318-318

antecedent
-------------------------


(=>
    (and
        (range ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (instance ?VALUE ?CLASS))		 Merge.kif 305-309 If the range of X is an instance of Y and equal X(@ROW) and W, then W is an instance of Y
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (range ?REL2 ?CLASS1))
    (range ?REL1 ?CLASS1))		 Merge.kif 311-315 If X is a subrelation of Y and the range of Y is an instance of Z, then the range of X is an instance of Z
(=>
    (and
        (range ?REL ?CLASS1)
        (range ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 317-323 If the range of X is an instance of Y and the range of X is an instance of Z, then Y is a subclass of Z or Z is a subclass of Y
(=>
    (and
        (range ?REL1 ?CLASS1)
        (range ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))		 Merge.kif 425-430 If the range of X is an instance of Y, the range of Z is an instance of W, and Y is disjoint from W, then X and Z are disjoint
(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))		 Merge.kif 3440-3444 If X is an instance of sequence function and the range of X is an instance of Y, then Y is a subclass of integer

consequent
-------------------------


(=>
    (and
        (subrelation ?REL1 ?REL2)
        (range ?REL2 ?CLASS1))
    (range ?REL1 ?CLASS1))		 Merge.kif 311-315 If X is a subrelation of Y and the range of Y is an instance of Z, then the range of X is an instance of Z

appearance as argument number 0
-------------------------


(range AssignmentFn Entity) Merge.kif 780-780 The range of assignment is an instance of entity
(range FrontFn SelfConnectedObject) Merge.kif 871-871 The range of front is an instance of self connected object
(range BackFn SelfConnectedObject) Merge.kif 891-891 The range of back is an instance of self connected object
(range ExtensionFn Class) Merge.kif 1788-1788 The range of extension is an instance of class
(range ProbabilityFn RealNumber) Merge.kif 2618-2618 The range of probability is an instance of real number
(range ListFn List) Merge.kif 2981-2981 The range of list is an instance of list
(range ListOrderFn Entity) Merge.kif 3025-3025 The range of list order is an instance of entity
(range ListLengthFn NonnegativeInteger) Merge.kif 3061-3061 The range of list length is an instance of nonnegative integer
(range ListConcatenateFn List) Merge.kif 3120-3120 The range of list concatenate is an instance of list
(range SubListFn List) Merge.kif 3210-3210 The range of sub-list function is an instance of list
(range LastFn Entity) Merge.kif 3253-3253 The range of last is an instance of entity
(range FirstFn Entity) Merge.kif 3273-3273 The range of first is an instance of entity
(range ListSumFn RealNumber) Merge.kif 3287-3287 The range of sum of elements is an instance of real number
(range AverageFn RealNumber) Merge.kif 3318-3318 The range of average function is an instance of real number
(range WhereFn Region) Merge.kif 4274-4274 The range of where is an instance of region
(range PropertyFn Set) Merge.kif 4324-4324 The range of property is an instance of set
(range MultiplicationFn RealNumber) Merge.kif 4748-4748 The range of multiplication is an instance of real number
(range AdditionFn RealNumber) Merge.kif 4761-4761 The range of addition is an instance of real number
(range SubtractionFn RealNumber) Merge.kif 4775-4775 The range of subtraction is an instance of real number
(range DivisionFn RealNumber) Merge.kif 4791-4791 The range of division is an instance of real number
(range AbsoluteValueFn NonnegativeRealNumber) Merge.kif 4810-4810 The range of absolute value is an instance of nonnegative real number
(range CeilingFn Integer) Merge.kif 4831-4831 The range of ceiling is an instance of integer
(range CosineFn RealNumber) Merge.kif 4849-4849 The range of cosine is an instance of real number
(range DenominatorFn Integer) Merge.kif 4858-4858 The range of denominator is an instance of integer
(range ExponentiationFn RealNumber) Merge.kif 4868-4868 The range of exponentiation is an instance of real number

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners