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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PartialValuedRelation

Sigma KEE - PartialValuedRelation
PartialValuedRelation

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


(documentation PartialValuedRelation ChineseLanguage "一个 RelationPartialValuedRelation 是为了确保它不是一个 TotalValuedRelation,也就是说除了最后一个之外给每一个 参数位置分配一个值,但这不一定等于已经为最后一个参数位置设定赋值。注:如果一个 Relation既是 PartialValuedRelation 又是 SingleValuedRelation的话,那么它就是一个部分函数。") Merge.kif 2357-2360
(documentation PartialValuedRelation 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 2351-2356
(subclass PartialValuedRelation Relation) Merge.kif 2350-2350

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


(instance AfternoonFn PartialValuedRelation) Merge.kif 8928-8928
(instance AttrFn PartialValuedRelation) Merge.kif 1831-1831
(instance BackFn PartialValuedRelation) Merge.kif 940-940
(instance DayFn PartialValuedRelation) Merge.kif 8707-8707
(instance DivisionFn PartialValuedRelation) Merge.kif 4893-4893
(instance EditionFn PartialValuedRelation) Merge.kif 15622-15622
(instance EveningFn PartialValuedRelation) Merge.kif 8970-8970
(instance ExtensionFn PartialValuedRelation) Merge.kif 1816-1816
(instance FrontFn PartialValuedRelation) Merge.kif 914-914
(instance GovernmentFn PartialValuedRelation) Merge.kif 16976-16976
(instance GreatestCommonDivisorFn PartialValuedRelation) Merge.kif 5007-5007
(instance HourFn PartialValuedRelation) Merge.kif 8735-8735
(instance InitialNodeFn PartialValuedRelation) Merge.kif 6031-6031
(instance IntegerSquareRootFn PartialValuedRelation) Merge.kif 5076-5076
(instance KappaFn PartialValuedRelation) Merge.kif 5694-5694
(instance LeastCommonMultipleFn PartialValuedRelation) Merge.kif 5085-5085
(instance ListOrderFn PartialValuedRelation) Merge.kif 3172-3172
(instance MinuteFn PartialValuedRelation) Merge.kif 8765-8765
(instance MonthFn PartialValuedRelation) Merge.kif 8685-8685
(instance MorningFn PartialValuedRelation) Merge.kif 8916-8916
(instance PeriodicalIssueFn PartialValuedRelation) Mid-level-ontology.kif 12405-12405
(instance QuarterFn PartialValuedRelation) Merge.kif 8999-8999
(instance RecurrentTimeIntervalFn PartialValuedRelation) Merge.kif 8543-8543
(instance RemainderFn PartialValuedRelation) Merge.kif 5251-5251
(instance SecondFn PartialValuedRelation) Merge.kif 8797-8797

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(partition Relation TotalValuedRelation PartialValuedRelation) Merge.kif 2281-2281


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners