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 5396-5397
(documentation SuccessorFn EnglishLanguage "A UnaryFunction that maps an Integer to its successor, e.g. the successor of 5 is 6.") Merge.kif 5394-5395
(domain SuccessorFn 1 Integer) Merge.kif 5392-5392 The number 1 argument of successor is an instance of integer
(instance SuccessorFn TotalValuedRelation) Merge.kif 5391-5391 Successor is an instance of total valued relation
(instance SuccessorFn UnaryFunction) Merge.kif 5390-5390 Successor is an instance of unary function
(range SuccessorFn Integer) Merge.kif 5393-5393 The range of successor is an instance of integer

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


(format ChineseLanguage SuccessorFn "(%1+1)") chinese_format.kif 734-734
(format EnglishLanguage SuccessorFn "(%1+1)") english_format.kif 451-451
(termFormat ChineseLanguage SuccessorFn "后继数函数") chinese_format.kif 735-735 "后继数函数" is the printable form of successor in ChineseLanguage
(termFormat EnglishLanguage SuccessorFn "successor") domainEnglishFormat.kif 9741-9741 "successor" is the printable form of successor in english language

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


(=>
    (equal
        (SuccessorFn ?INT1)
        (SuccessorFn ?INT2))
    (equal ?INT1 ?INT2))
Merge.kif 5399-5401

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


(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5420-5422
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5416-5418
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5403-5405

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


(forall (?NUMBER)
    (equal
        (SuccessorFn ?NUMBER)
        (AdditionFn ?NUMBER 1)))
Merge.kif 4867-4868 For all an integer (the integer+1) is equal to (the integer and 1)
(forall (@ROW ?ITEM)
    (equal
        (ListLengthFn
            (ListFn @ROW ?ITEM))
        (SuccessorFn
            (ListLengthFn
                (ListFn @ROW)))))
Merge.kif 3237-3240 For all @ROW and another entity length of (@ROW and the other entity) is equal to (length of (@ROW)+1)


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