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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SuccessorFn

 Sigma KEE - SuccessorFn
SuccessorFn

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


(documentation SuccessorFn ChineseLanguage "这是一个 UnaryFunction，它把一个Integer 和它 的后续联系起来，例如：5的后继是6。") chinese_format.kif 2280-2281
(documentation SuccessorFn EnglishLanguage "A UnaryFunction that maps an Integer to its successor, e.g. the successor of 5 is 6.") Merge.kif 5235-5236
(domain SuccessorFn 1 Integer) Merge.kif 5232-5232
(instance SuccessorFn TotalValuedRelation) Merge.kif 5231-5231
(instance SuccessorFn UnaryFunction) Merge.kif 5230-5230
(range SuccessorFn Integer) Merge.kif 5233-5233

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


(format ChineseLanguage SuccessorFn "(%1+1)") chinese_format.kif 734-734
(format EnglishLanguage SuccessorFn "(%1+1)") english_format.kif 736-736
(termFormat ChineseLanguage SuccessorFn "后继数函数") chinese_format.kif 735-735
(termFormat ChineseLanguage SuccessorFn "接班人") domainEnglishFormat.kif 55883-55883
(termFormat ChineseTraditionalLanguage SuccessorFn "接班人") domainEnglishFormat.kif 55882-55882
(termFormat EnglishLanguage SuccessorFn "successor") domainEnglishFormat.kif 55881-55881

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


(=>
    (equal
        (SuccessorFn ?INT1)
        (SuccessorFn ?INT2))
    (equal ?INT1 ?INT2))		 Merge.kif 5238-5240

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


(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))		 Merge.kif 5259-5261
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))		 Merge.kif 5255-5257
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))		 Merge.kif 5242-5244

statement
-------------------------


(forall (?NUMBER)
    (equal
        (SuccessorFn ?NUMBER)
        (AdditionFn ?NUMBER 1)))		 Merge.kif 4655-4656
(forall (@ROW ?ITEM)
    (equal
        (ListLengthFn
            (ListFn @ROW ?ITEM))
        (SuccessorFn
            (ListLengthFn
                (ListFn @ROW)))))		 Merge.kif 2996-2999


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