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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SuccessorFn
SuccessorFn

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


(documentation SuccessorFn ChineseLanguage "这是一个 UnaryFunction,它把一个Integer 和它 的后续联系起来,例如:5的后继是6。") Merge.kif 7674-7675
(documentation SuccessorFn EnglishLanguage "A UnaryFunction that maps an Integer to its successor, e.g. the successor of 5 is 6.") Merge.kif 7671-7672
(documentation SuccessorFn JapaneseLanguage "UnaryFunction は、Integer をその後身にマッ プする。例:5の後身は6である。") Merge.kif 7677-7678
(domain SuccessorFn 1 Integer) Merge.kif 7668-7668
(instance SuccessorFn TotalValuedRelation) Merge.kif 7667-7667
(instance SuccessorFn UnaryFunction) Merge.kif 7666-7666
(range SuccessorFn Integer) Merge.kif 7669-7669

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


(format ChineseLanguage SuccessorFn "(%1+1)") chinese_format.kif 734-734
(format EnglishLanguage SuccessorFn "(%1+1)") english_format.kif 1021-1021
(format JapaneseLanguage SuccessorFn "(%1+1)") english_format.kif 1022-1022
(termFormat ChineseLanguage SuccessorFn "后继数函数") chinese_format.kif 735-735
(termFormat ChineseLanguage SuccessorFn "接班人") domainEnglishFormat.kif 55843-55843
(termFormat ChineseTraditionalLanguage SuccessorFn "接班人") domainEnglishFormat.kif 55842-55842
(termFormat EnglishLanguage SuccessorFn "successor") domainEnglishFormat.kif 55841-55841

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


(=>
    (equal
        (SuccessorFn ?INT1)
        (SuccessorFn ?INT2))
    (equal ?INT1 ?INT2))
Merge.kif 7680-7682

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


(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 7701-7703
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 7697-7699
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 7684-7686

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


(forall (?NUMBER)
    (equal
        (SuccessorFn ?NUMBER)
        (AdditionFn ?NUMBER 1)))
Merge.kif 6989-6990
(forall (@ROW ?ITEM)
    (equal
        (ListLengthFn
            (ListFn @ROW ?ITEM))
        (SuccessorFn
            (ListLengthFn
                (ListFn @ROW)))))
Merge.kif 4825-4828


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



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