TreeView Knowledge Base Browser

appearance as argument number 1

(instance rangeSubclass BinaryPredicate)	Merge.kif 325-325	range subclass is an instance of binary predicate
(domain rangeSubclass 1 Function)	Merge.kif 326-326	The number 1 argument of range subclass is an instance of function
(domainSubclass rangeSubclass 2 Class)	Merge.kif 327-327	The number 2 argument of range subclass is a subclass of class
(documentation rangeSubclass EnglishLanguage "(rangeSubclass ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are subclasses of ?CLASS.")	Merge.kif 328-329	The number 2 argument of range subclass is a subclass of class

appearance as argument number 2

(termFormat EnglishLanguage rangeSubclass "range subclass")	domainEnglishFormat.kif 48759-48759
(termFormat ChineseTraditionalLanguage rangeSubclass "範圍子類")	domainEnglishFormat.kif 48760-48760
(termFormat ChineseLanguage rangeSubclass "范围子类")	domainEnglishFormat.kif 48761-48761
(format EnglishLanguage rangeSubclass "the values returned by %1 are %n subclasses of %2")	english_format.kif 334-334

antecedent

(=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS))	Merge.kif 331-335	If the values returned by X are subclasses of Y and equal X(@ROW) and W, then W is a subclass of Y
(=> (and (subrelation ?REL1 ?REL2) (rangeSubclass ?REL2 ?CLASS1)) (rangeSubclass ?REL1 ?CLASS1))	Merge.kif 337-341	If X is a subrelation of Y and the values returned by Y are subclasses of Z, then the values returned by X are subclasses of Z
(=> (and (rangeSubclass ?REL ?CLASS1) (rangeSubclass ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 343-349	If the values returned by X are subclasses of Y and the values returned by X are subclasses of Z, then Y is a subclass of Z or Z is a subclass of Y
(=> (and (rangeSubclass ?REL1 ?CLASS1) (rangeSubclass ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 432-437	If the values returned by X are subclasses of Y, the values returned by Z are subclasses of W, and Y is disjoint from W, then X and Z are disjoint

consequent

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

Merge.kif 337-341

If X is a subrelation of Y and the values returned by Y are subclasses of Z, then the values returned by X are subclasses of Z

appearance as argument number 0

(rangeSubclass PowerSetFn SetOrClass)	Merge.kif 790-790	The values returned by power set are subclasses of set or class
(rangeSubclass AttrFn Object)	Merge.kif 1867-1867	The values returned by attr are subclasses of object
(rangeSubclass GraphPathFn GraphPath)	Merge.kif 6175-6175	The values returned by graph path are subclasses of graph path
(rangeSubclass CutSetFn GraphPath)	Merge.kif 6191-6191	The values returned by cut set are subclasses of graph path
(rangeSubclass MinimalCutSetFn GraphPath)	Merge.kif 6199-6199	The values returned by minimal cut set are subclasses of graph path
(rangeSubclass IntervalFn ConstantQuantity)	Merge.kif 6704-6704	The values returned by interval are subclasses of constant quantity
(rangeSubclass RecurrentTimeIntervalFn TimeInterval)	Merge.kif 8648-8648	The values returned by recurrent time interval are subclasses of timeframe
(rangeSubclass YearFn Year)	Merge.kif 8758-8758	The values returned by year are subclasses of year
(rangeSubclass MonthFn Month)	Merge.kif 8775-8775	The values returned by month are subclasses of month
(rangeSubclass DayFn Day)	Merge.kif 8792-8792	The values returned by day are subclasses of day
(rangeSubclass HourFn Hour)	Merge.kif 8817-8817	The values returned by hour are subclasses of hour
(rangeSubclass MinuteFn Minute)	Merge.kif 8843-8843	The values returned by minute are subclasses of minute
(rangeSubclass SecondFn Second)	Merge.kif 8870-8870	The values returned by second are subclasses of second
(rangeSubclass WeekFn Week)	Merge.kif 9154-9154	The values returned by week fn are subclasses of week
(rangeSubclass QuarterFn QuarterYear)	Merge.kif 9172-9172	The values returned by quarter fn are subclasses of quarter year
(rangeSubclass TemporalCompositionFn TimeInterval)	Merge.kif 9600-9600	The values returned by temporal composition are subclasses of timeframe
(rangeSubclass ImpairmentFn BiologicalProcess)	Merge.kif 13780-13780	The values returned by impairment are subclasses of biological process
(rangeSubclass SenseImpairmentFn PathologicProcess)	Merge.kif 13800-13800	The values returned by sense impairment are subclasses of pathologic process
(rangeSubclass SenseInabilityFn PathologicProcess)	Merge.kif 13820-13820	The values returned by no ability of are subclasses of pathologic process
(rangeSubclass FoodForFn SelfConnectedObject)	Merge.kif 15167-15167	The values returned by food for fn are subclasses of self connected object
(rangeSubclass BodySideFn BodyPart)	Merge.kif 15282-15282	The values returned by Body side fn are subclasses of body part
(rangeSubclass EditionFn ContentBearingObject)	Merge.kif 15794-15794	The values returned by edition are subclasses of content bearing object
(rangeSubclass MakingFn Object)	Merge.kif 18720-18720	The values returned by Making fn are subclasses of object
(rangeSubclass DeadFn OrganismRemains)	Merge.kif 18838-18838	The values returned by Dead fn are subclasses of organism remains
(rangeSubclass StartFn IntentionalProcess)	Mid-level-ontology.kif 405-405	The values returned by start are subclasses of intentional process

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: