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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PartialValuedRelation

Sigma KEE - PartialValuedRelation
PartialValuedRelation(partial valued relation)

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


s__documentation(s__PartialValuedRelation,s__ChineseLanguage,'"一个 RelationPartialValuedRelation 是为了确保它不是一个 TotalValuedRelation,也就是说除了最后一个之外给每一个 参数位置分配一个值,但这不一定等于已经为最后一个参数位置设定赋值。注:如果一个 Relation既是 PartialValuedRelation 又是 SingleValuedRelation的话,那么它就是一个部分函数。"')

chinese_format.kif 1827-1830
s__documentation(s__PartialValuedRelation,s__EnglishLanguage,'"A Relation is a PartialValuedRelation just in case it is not a TotalValuedRelation, i.e. just in case assigning values to every argument position except the last one does not necessarily mean that there is a value assignment for the last argument position. Note that, if a Relation is both a PartialValuedRelation and a SingleValuedRelation, then it is a partial function."')

Merge.kif 2172-2177
s__subclass(s__PartialValuedRelation,s__Relation)

s__instance(s__PartialValuedRelation,s__Class)

s__instance(s__Relation,s__Class)

Merge.kif 2170-2170 Partial valued relation is a subclass of relation

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


s__instance(s__AfternoonFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 8481-8481 AfternoonFn is an instance of partial valued relation
s__instance(s__AttrFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 1718-1718 Attr is an instance of partial valued relation
s__instance(s__BackFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 854-854 Back is an instance of partial valued relation
s__instance(s__DayFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 8238-8238 Day is an instance of partial valued relation
s__instance(s__DivisionFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 4603-4603 Division is an instance of partial valued relation
s__instance(s__EditionFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 14853-14853 Edition is an instance of partial valued relation
s__instance(s__EveningFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 8578-8578 EveningFn is an instance of partial valued relation
s__instance(s__PartialValuedRelation,s__Class)

s__instance(s__ExtensionFn__m,s__PartialValuedRelation)

Merge.kif 1703-1703 Extension is an instance of partial valued relation
s__instance(s__PartialValuedRelation,s__Class)

s__instance(s__FrontFn__m,s__PartialValuedRelation)

Merge.kif 834-834 Front is an instance of partial valued relation
s__instance(s__PartialValuedRelation,s__Class)

s__instance(s__GovernmentFn__m,s__PartialValuedRelation)

Merge.kif 16046-16046 Government is an instance of partial valued relation
s__instance(s__PartialValuedRelation,s__Class)

s__instance(s__GreatestCommonDivisorFn__m,s__PartialValuedRelation)

Merge.kif 4708-4708 Greatest common divisor is an instance of partial valued relation
s__instance(s__HourFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 8263-8263 Hour is an instance of partial valued relation
s__instance(s__InitialNodeFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 5690-5690 Initial node is an instance of partial valued relation
s__instance(s__PartialValuedRelation,s__Class)

s__instance(s__IntegerSquareRootFn__m,s__PartialValuedRelation)

Merge.kif 4772-4772 Integer square root is an instance of partial valued relation
s__instance(s__KappaFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 5378-5378 Kappa is an instance of partial valued relation
s__instance(s__LeastCommonMultipleFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 4780-4780 Least common multiple is an instance of partial valued relation
s__instance(s__ListOrderFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 2905-2905 List order is an instance of partial valued relation
s__instance(s__MinuteFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 8289-8289 Minute is an instance of partial valued relation
s__instance(s__MonthFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 8221-8221 Month is an instance of partial valued relation
s__instance(s__MorningFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 8468-8468 MorningFn is an instance of partial valued relation
s__instance(s__PeriodicalIssueFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Mid-level-ontology.kif 13985-13985 Periodical issue is an instance of partial valued relation
s__instance(s__QuarterFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 8609-8609 QuarterFn is an instance of partial valued relation
s__instance(s__RecurrentTimeIntervalFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 8093-8093 Recurrent time interval is an instance of partial valued relation
s__instance(s__RemainderFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 4934-4934 Remainder is an instance of partial valued relation
s__instance(s__SecondFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 8316-8316 Second is an instance of partial valued relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__partition__3(s__Relation,s__TotalValuedRelation,s__PartialValuedRelation)

Merge.kif 2110-2110 Relation is exhaustively partitioned into total valued relation and partial valued relation


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

Show without tree


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