rangeSubclass - Sigma Knowledge base Browser

appearance as argument number 1

(instance rangeSubclass BinaryPredicate)	Merge.kif 326-326	range subclass is an instance of binary predicate
(domain rangeSubclass 1 Function)	Merge.kif 327-327	The number 1 argument of range subclass is an instance of function
(domainSubclass rangeSubclass 2 Class)	Merge.kif 328-328	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 329-330	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 332-336	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 338-342	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 344-350	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 433-438	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 338-342

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 791-791	The values returned by power set are subclasses of set or class
(rangeSubclass AttrFn Object)	Merge.kif 1810-1810	The values returned by attr are subclasses of object
(rangeSubclass GraphPathFn GraphPath)	Merge.kif 6105-6105	The values returned by graph path are subclasses of graph path
(rangeSubclass CutSetFn GraphPath)	Merge.kif 6121-6121	The values returned by cut set are subclasses of graph path
(rangeSubclass MinimalCutSetFn GraphPath)	Merge.kif 6129-6129	The values returned by minimal cut set are subclasses of graph path
(rangeSubclass IntervalFn ConstantQuantity)	Merge.kif 6634-6634	The values returned by interval are subclasses of constant quantity
(rangeSubclass RecurrentTimeIntervalFn TimeInterval)	Merge.kif 8579-8579	The values returned by recurrent time interval are subclasses of timeframe
(rangeSubclass YearFn Year)	Merge.kif 8689-8689	The values returned by year are subclasses of year
(rangeSubclass MonthFn Month)	Merge.kif 8706-8706	The values returned by month are subclasses of month
(rangeSubclass DayFn Day)	Merge.kif 8723-8723	The values returned by day are subclasses of day
(rangeSubclass HourFn Hour)	Merge.kif 8748-8748	The values returned by hour are subclasses of hour
(rangeSubclass MinuteFn Minute)	Merge.kif 8774-8774	The values returned by minute are subclasses of minute
(rangeSubclass SecondFn Second)	Merge.kif 8801-8801	The values returned by second are subclasses of second
(rangeSubclass WeekFn Week)	Merge.kif 9085-9085	The values returned by week fn are subclasses of week
(rangeSubclass QuarterFn QuarterYear)	Merge.kif 9103-9103	The values returned by quarter fn are subclasses of quarter year
(rangeSubclass TemporalCompositionFn TimeInterval)	Merge.kif 9531-9531	The values returned by temporal composition are subclasses of timeframe
(rangeSubclass ImpairmentFn BiologicalProcess)	Merge.kif 13646-13646	The values returned by impairment are subclasses of biological process
(rangeSubclass SenseImpairmentFn PathologicProcess)	Merge.kif 13666-13666	The values returned by sense impairment are subclasses of pathologic process
(rangeSubclass SenseInabilityFn PathologicProcess)	Merge.kif 13686-13686	The values returned by no ability of are subclasses of pathologic process
(rangeSubclass FoodForFn SelfConnectedObject)	Merge.kif 15034-15034	The values returned by food for fn are subclasses of self connected object
(rangeSubclass BodySideFn BodyPart)	Merge.kif 15148-15148	The values returned by Body side fn are subclasses of body part
(rangeSubclass EditionFn ContentBearingObject)	Merge.kif 15682-15682	The values returned by edition are subclasses of content bearing object
(rangeSubclass MakingFn Object)	Merge.kif 18586-18586	The values returned by Making fn are subclasses of object
(rangeSubclass DeadFn OrganismRemains)	Merge.kif 18691-18691	The values returned by Dead fn are subclasses of organism remains
(rangeSubclass StartFn IntentionalProcess)	Mid-level-ontology.kif 418-418	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 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: