TreeView Knowledge Base Browser - PartialValuedRelation

appearance as argument number 1

s__documentation(s__PartialValuedRelation,s__ChineseLanguage,'"一个 Relation 是 PartialValuedRelation 是为了确保它不是一个 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

KB Term:			Term intersection

English Word: