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。") 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 5332-5333
(documentation SuccessorFn JapaneseLanguage "UnaryFunction は、Integer をその後身にマッ プする。例:5の後身は6である。") japanese_format.kif 948-949
(domain SuccessorFn 1 Integer) Merge.kif 5329-5329 The number 1 argument of successor is an instance of integer
(instance SuccessorFn TotalValuedRelation) Merge.kif 5328-5328 Successor is an instance of total valued relation
(instance SuccessorFn UnaryFunction) Merge.kif 5327-5327 Successor is an instance of unary function
(range SuccessorFn Integer) Merge.kif 5330-5330 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 736-736
(format FrenchLanguage SuccessorFn "(%1+1)") french_format.kif 440-440
(format ItalianLanguage SuccessorFn "(%1+1") relations-it.txt 288-288
(format JapaneseLanguage SuccessorFn "(%1+1)") japanese_format.kif 2157-2157
(format PortugueseLanguage SuccessorFn "(%1+1)") portuguese_format.kif 392-392
(format cz SuccessorFn "(%1+1)") relations-cz.txt 453-453
(format de SuccessorFn "(%1+1)") relations-de.txt 949-949
(format hi SuccessorFn "(%1+1") relations-hindi.txt 325-325
(format ro SuccessorFn "(%1+1)") relations-ro.kif 462-462
(format sv SuccessorFn "(%1+1)") relations-sv.txt 503-503
(format tg SuccessorFn "(%1+1") relations-tg.txt 480-480
(termFormat ChineseLanguage SuccessorFn "后继数函数") chinese_format.kif 735-735
(termFormat ChineseLanguage SuccessorFn "接班人") domainEnglishFormat.kif 55901-55901
(termFormat ChineseTraditionalLanguage SuccessorFn "接班人") domainEnglishFormat.kif 55900-55900
(termFormat EnglishLanguage SuccessorFn "successor") domainEnglishFormat.kif 55899-55899
(termFormat de SuccessorFn "NachfolgerFn") terms-de.txt 293-293

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


(=>
    (equal
        (SuccessorFn ?INT1)
        (SuccessorFn ?INT2))
    (equal ?INT1 ?INT2))
Merge.kif 5335-5337

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


(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5356-5358
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 5352-5354
(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))
Merge.kif 5339-5341

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


(forall (?NUMBER)
    (equal
        (SuccessorFn ?NUMBER)
        (AdditionFn ?NUMBER 1)))
Merge.kif 4748-4749 For all an integer equal (the integer+1) and (the integer and 1)
(forall (@ROW ?ITEM)
    (equal
        (ListLengthFn
            (ListFn @ROW ?ITEM))
        (SuccessorFn
            (ListLengthFn
                (ListFn @ROW)))))
Merge.kif 3050-3053 For all @ROW and another entity equal length of (@ROW and the other entity) and (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 3.0 is open source software produced by Articulate Software and its partners