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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ape

Sigma KEE - PartialValuedRelation
PartialValuedRelation

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


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

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


(instance AfternoonFn PartialValuedRelation) Merge.kif 8905-8905
(instance AttrFn PartialValuedRelation) Merge.kif 1818-1818
(instance BackFn PartialValuedRelation) Merge.kif 928-928
(instance DayFn PartialValuedRelation) Merge.kif 8690-8690
(instance DivisionFn PartialValuedRelation) Merge.kif 4880-4880
(instance EditionFn PartialValuedRelation) Merge.kif 15564-15564
(instance EveningFn PartialValuedRelation) Merge.kif 8947-8947
(instance ExtensionFn PartialValuedRelation) Merge.kif 1803-1803
(instance FrontFn PartialValuedRelation) Merge.kif 902-902
(instance GovernmentFn PartialValuedRelation) Merge.kif 16924-16924
(instance GreatestCommonDivisorFn PartialValuedRelation) Merge.kif 4994-4994
(instance HourFn PartialValuedRelation) Merge.kif 8718-8718
(instance InitialNodeFn PartialValuedRelation) Merge.kif 6018-6018
(instance IntegerSquareRootFn PartialValuedRelation) Merge.kif 5063-5063
(instance KappaFn PartialValuedRelation) Merge.kif 5681-5681
(instance LeastCommonMultipleFn PartialValuedRelation) Merge.kif 5072-5072
(instance ListOrderFn PartialValuedRelation) Merge.kif 3159-3159
(instance MinuteFn PartialValuedRelation) Merge.kif 8748-8748
(instance MonthFn PartialValuedRelation) Merge.kif 8668-8668
(instance MorningFn PartialValuedRelation) Merge.kif 8893-8893
(instance PeriodicalIssueFn PartialValuedRelation) Mid-level-ontology.kif 12405-12405
(instance QuarterFn PartialValuedRelation) Merge.kif 8974-8974
(instance RecurrentTimeIntervalFn PartialValuedRelation) Merge.kif 8526-8526
(instance RemainderFn PartialValuedRelation) Merge.kif 5238-5238
(instance SecondFn PartialValuedRelation) Merge.kif 8780-8780

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 2268-2268


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