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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - rangeSubclass
rangeSubclass

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


s__documentation(s__rangeSubclass__m,s__ChineseLanguage,'"(rangeSubclass ?FUNCTION ?CLASS) 的意思是 所有由 ?FUNCTION 所指定的值,都是这个 ?CLASS 的 subclass。"')

chinese_format.kif 1492-1493
s__documentation(s__rangeSubclass__m,s__EnglishLanguage,'"(rangeSubclass ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are subclasses of ?CLASS."')

Merge.kif 334-335
s__domain(s__rangeSubclass__m,n__1,s__Function)

Merge.kif 332-332 The number 1 argument of range subclass is an instance of function
s__domainSubclass(s__rangeSubclass__m,n__2,s__Class)

Merge.kif 333-333 The number 2 argument of range subclass is a subclass of class
s__instance(s__rangeSubclass__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 331-331 range subclass is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__rangeSubclass__m,s__BinaryPredicate)

Merge.kif 330-330 range subclass is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__rangeSubclass__m,'"%1 的所得值 %n 是 %2 的 subclass"')

chinese_format.kif 329-329
s__format(s__EnglishLanguage,s__rangeSubclass__m,'"the values returned by %1 are %n subclasses of %2"')

english_format.kif 337-337
s__termFormat(s__ChineseLanguage,s__rangeSubclass__m,'"子类别的范围"')

chinese_format.kif 330-330
s__termFormat(s__ChineseLanguage,s__rangeSubclass__m,'"范围子类"')

domainEnglishFormat.kif 48747-48747
s__termFormat(s__ChineseTraditionalLanguage,s__rangeSubclass__m,'"範圍子類"')

domainEnglishFormat.kif 48746-48746
s__termFormat(s__EnglishLanguage,s__rangeSubclass__m,'"range subclass"')

domainEnglishFormat.kif 48745-48745

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


( ! [V__ROW3,V__ROW4,V__VALUE,V__ROW2,V__FUNCTION,V__CLASS] :
   (((s__instance(V__VALUE,s__Class) &
         s__instance(V__FUNCTION,s__Function) &
         s__subclass(V__CLASS,s__Class) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__rangeSubclass(V__FUNCTION,V__CLASS)
           &
           (s__AssignmentFn__4Fn(V__FUNCTION,V__ROW2,V__ROW3,V__ROW4)
           = V__VALUE))
       =>
       (s__subclass(V__VALUE,V__CLASS)))))
)
)

( ! [V__VALUE,V__ROW2,V__FUNCTION,V__CLASS] :
   (((s__instance(V__VALUE,s__Class) &
         s__instance(V__FUNCTION,s__Function) &
         s__subclass(V__CLASS,s__Class) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__rangeSubclass(V__FUNCTION,V__CLASS)
           &
           (s__AssignmentFn__2Fn(V__FUNCTION,V__ROW2)
           = V__VALUE))
       =>
       (s__subclass(V__VALUE,V__CLASS)))))
)
)

( ! [V__ROW7,V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__VALUE,V__ROW2,V__FUNCTION,V__CLASS] :
   (((s__instance(V__VALUE,s__Class) &
         s__instance(V__FUNCTION,s__Function) &
         s__subclass(V__CLASS,s__Class) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__rangeSubclass(V__FUNCTION,V__CLASS)
           &
           (s__AssignmentFn__7Fn(V__FUNCTION,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
           = V__VALUE))
       =>
       (s__subclass(V__VALUE,V__CLASS)))))
)
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__VALUE,V__ROW2,V__FUNCTION,V__CLASS] :
   (((s__instance(V__VALUE,s__Class) &
         s__instance(V__FUNCTION,s__Function) &
         s__subclass(V__CLASS,s__Class) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__rangeSubclass(V__FUNCTION,V__CLASS)
           &
           (s__AssignmentFn__5Fn(V__FUNCTION,V__ROW2,V__ROW3,V__ROW4,V__ROW5)
           = V__VALUE))
       =>
       (s__subclass(V__VALUE,V__CLASS)))))
)
)

( ! [V__ROW3,V__VALUE,V__ROW2,V__FUNCTION,V__CLASS] :
   (((s__instance(V__VALUE,s__Class) &
         s__instance(V__FUNCTION,s__Function) &
         s__subclass(V__CLASS,s__Class) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__rangeSubclass(V__FUNCTION,V__CLASS)
           &
           (s__AssignmentFn__3Fn(V__FUNCTION,V__ROW2,V__ROW3)
           = V__VALUE))
       =>
       (s__subclass(V__VALUE,V__CLASS)))))
)
)

( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__VALUE,V__ROW2,V__FUNCTION,V__CLASS] :
   (((s__instance(V__VALUE,s__Class) &
         s__instance(V__FUNCTION,s__Function) &
         s__subclass(V__CLASS,s__Class) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__rangeSubclass(V__FUNCTION,V__CLASS)
           &
           (s__AssignmentFn__6Fn(V__FUNCTION,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
           = V__VALUE))
       =>
       (s__subclass(V__VALUE,V__CLASS)))))
)
)

Merge.kif 337-341
( ! [V__CLASS2,V__CLASS1,V__REL] :
   (((s__subclass(V__CLASS2,s__Class) &
         s__instance(V__CLASS2,s__Class) &
         s__subclass(V__CLASS1,s__Class) &
         s__instance(V__CLASS1,s__Class) &
         s__instance(V__REL,s__Function))
       =>
       (((s__rangeSubclass(V__REL,V__CLASS1)
           &
           s__rangeSubclass(V__REL,V__CLASS2))
       =>
       ((s__subclass(V__CLASS1,V__CLASS2)
         |
         s__subclass(V__CLASS2,V__CLASS1))))))
)
)

Merge.kif 349-355
( ! [V__CLASS2,V__CLASS1,V__REL2,V__REL1] :
   (((s__subclass(V__CLASS2,s__Class) &
         s__instance(V__CLASS2,s__Class) &
         s__subclass(V__CLASS1,s__Class) &
         s__instance(V__CLASS1,s__Class) &
         s__instance(V__REL2,s__Function) &
         s__instance(V__REL1,s__Function))
       =>
       (((s__rangeSubclass(V__REL1,V__CLASS1)
           &
           s__rangeSubclass(V__REL2,V__CLASS2)
         &
         s__disjoint(V__CLASS1,V__CLASS2))
     =>
     (s__disjointRelation(V__REL1,V__REL2)))))
)
)

Merge.kif 439-444
( ! [V__CLASS1,V__REL2,V__REL1] :
   (((s__subclass(V__CLASS1,s__Class) &
         s__instance(V__REL2,s__Function) &
         s__instance(V__REL1,s__Function))
       =>
       (((s__subrelation(V__REL1,V__REL2)
           &
           s__rangeSubclass(V__REL2,V__CLASS1))
       =>
       (s__rangeSubclass(V__REL1,V__CLASS1)))))
)
)

Merge.kif 343-347

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


( ! [V__CLASS1,V__REL2,V__REL1] :
   (((s__subclass(V__CLASS1,s__Class) &
         s__instance(V__REL2,s__Function) &
         s__instance(V__REL1,s__Function))
       =>
       (((s__subrelation(V__REL1,V__REL2)
           &
           s__rangeSubclass(V__REL2,V__CLASS1))
       =>
       (s__rangeSubclass(V__REL1,V__CLASS1)))))
)
)

Merge.kif 343-347

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


s__rangeSubclass(s__AgentOfOrganismFn__m,s__BiologicalAgent)

WMD.kif 88-88 The values returned by AgentOfOrganismFn are subclasses of biological agent
s__rangeSubclass(s__AlbumCopiesFn__m,s__DataStorageDevice)

Music.kif 928-928 The values returned by album copies function are subclasses of DataStorageDevice
s__rangeSubclass(s__BodySideFn__m,s__BodyPart)

Merge.kif 14276-14276 The values returned by BodySideFn are subclasses of body part
s__rangeSubclass(s__ConstitutionFn__m,s__Constitution)

Government.kif 662-662 The values returned by constitution are subclasses of constitution
s__rangeSubclass(s__CoveringFn__m,s__WearableItem)

Mid-level-ontology.kif 28435-28435 The values returned by CoveringFn are subclasses of wearable item
s__rangeSubclass(s__CutSetFn__m,s__GraphPath)

Merge.kif 5812-5812 The values returned by cut set are subclasses of graph path
s__rangeSubclass(s__DayFn__m,s__Day)

Merge.kif 8200-8200 The values returned by day are subclasses of day
s__rangeSubclass(s__DeadFn__m,s__OrganismRemains)

Mid-level-ontology.kif 109-109 The values returned by DeadFn are subclasses of OrganismRemains
s__rangeSubclass(s__DemonymFn__m,s__NationalPerson)

Mid-level-ontology.kif 29329-29329 The values returned by DemonymFn are subclasses of NationalPerson
s__rangeSubclass(s__DocumentFn__m,s__Text)

Geography.kif 2894-2894 The values returned by document are subclasses of text
s__rangeSubclass(s__EdemaFn__m,s__Edema)

Mid-level-ontology.kif 9210-9210 The values returned by edema are subclasses of swelling
s__rangeSubclass(s__EditionFn__m,s__ContentBearingObject)

Merge.kif 14739-14739 The values returned by edition are subclasses of content bearing object
s__rangeSubclass(s__ElectionFn__m,s__Election)

Government.kif 1672-1672 The values returned by election are subclasses of election
s__rangeSubclass(s__FailureFn__m,s__Process)

ComputingBrands.kif 4486-4486 The values returned by FailureFn are subclasses of process
s__rangeSubclass(s__FarmOfProductFn__m,s__CultivatedLandArea)

Food.kif 1099-1099 The values returned by FarmOfProductFn are subclasses of cultivated land area
s__rangeSubclass(s__FiscalYearFn__m,s__TimeInterval)

Economy.kif 3701-3701 The values returned by fiscal year are subclasses of time interval
s__rangeSubclass(s__FoodForFn__m,s__SelfConnectedObject)

Merge.kif 14162-14162 The values returned by FoodForFn are subclasses of self connected object
s__rangeSubclass(s__GeographicPartTypeFn__m,s__GeographicArea)

Geography.kif 6445-6445 The values returned by GeographicPartTypeFn are subclasses of geographic area
s__rangeSubclass(s__GraphPathFn__m,s__GraphPath)

Merge.kif 5796-5796 The values returned by graph path are subclasses of graph path
s__rangeSubclass(s__HourFn__m,s__Hour)

Merge.kif 8225-8225 The values returned by hour are subclasses of hour
s__rangeSubclass(s__ImpairmentFn__m,s__BiologicProcess)

Merge.kif 12814-12814 The values returned by impairment are subclasses of BiologicProcess
s__rangeSubclass(s__IntervalFn__m,s__ConstantQuantity)

Merge.kif 6324-6324 The values returned by interval are subclasses of constant quantity
s__rangeSubclass(s__JuiceOfFn__m,s__Juice)

Food.kif 596-596 The values returned by JuiceOfFn are subclasses of Juice
s__rangeSubclass(s__MakingFn__m,s__Object)

Merge.kif 17518-17518 The values returned by MakingFn are subclasses of object
s__rangeSubclass(s__MinimalCutSetFn__m,s__GraphPath)

Merge.kif 5820-5820 The values returned by minimal cut set are subclasses of graph path

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