TreeView Knowledge Base Browser

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 3505-3509	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 1853-1853	The range of extension is an instance of class
(range ProbabilityFn RealNumber)	Merge.kif 2683-2683	The range of probability is an instance of real number
(range ListFn List)	Merge.kif 3046-3046	The range of list is an instance of list
(range ListOrderFn Entity)	Merge.kif 3090-3090	The range of list order is an instance of entity
(range ListLengthFn NonnegativeInteger)	Merge.kif 3126-3126	The range of list length is an instance of nonnegative integer
(range ListConcatenateFn List)	Merge.kif 3185-3185	The range of list concatenate is an instance of list
(range SubListFn List)	Merge.kif 3275-3275	The range of sub-list function is an instance of list
(range LastFn Entity)	Merge.kif 3318-3318	The range of last is an instance of entity
(range FirstFn Entity)	Merge.kif 3338-3338	The range of first is an instance of entity
(range ListSumFn RealNumber)	Merge.kif 3352-3352	The range of sum of elements is an instance of real number
(range AverageFn RealNumber)	Merge.kif 3383-3383	The range of average function is an instance of real number
(range WhereFn Region)	Merge.kif 4339-4339	The range of where is an instance of region
(range PropertyFn Set)	Merge.kif 4389-4389	The range of property is an instance of set
(range MultiplicationFn RealNumber)	Merge.kif 4813-4813	The range of multiplication is an instance of real number
(range AdditionFn RealNumber)	Merge.kif 4826-4826	The range of addition is an instance of real number
(range SubtractionFn RealNumber)	Merge.kif 4840-4840	The range of subtraction is an instance of real number
(range DivisionFn RealNumber)	Merge.kif 4856-4856	The range of division is an instance of real number
(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 4875-4875	The range of absolute value is an instance of nonnegative real number
(range CeilingFn Integer)	Merge.kif 4896-4896	The range of ceiling is an instance of integer
(range CosineFn RealNumber)	Merge.kif 4914-4914	The range of cosine is an instance of real number
(range DenominatorFn Integer)	Merge.kif 4923-4923	The range of denominator is an instance of integer
(range ExponentiationFn RealNumber)	Merge.kif 4933-4933	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: