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


KB Term:  Term intersection
English Word: 

Sigma KEE - SuccessorFn
SuccessorFn

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


(instance SuccessorFn UnaryFunction) Merge.kif 5422-5422 Successor is an instance of unary function
(instance SuccessorFn TotalValuedRelation) Merge.kif 5423-5423 Successor is an instance of total valued relation
(domain SuccessorFn 1 Integer) Merge.kif 5424-5424 The number 1 argument of successor is an instance of integer
(range SuccessorFn Integer) Merge.kif 5425-5425 The range of successor is an instance of integer
(documentation SuccessorFn EnglishLanguage "A UnaryFunction that maps an Integer to its successor, e.g. the successor of 5 is 6.") Merge.kif 5427-5428 The range of successor is an instance of integer

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


(termFormat EnglishLanguage SuccessorFn "successor") domainEnglishFormat.kif 55892-55892
(termFormat ChineseTraditionalLanguage SuccessorFn "接班人") domainEnglishFormat.kif 55893-55893
(termFormat ChineseLanguage SuccessorFn "接班人") domainEnglishFormat.kif 55894-55894
(format EnglishLanguage SuccessorFn "(%1+1)") english_format.kif 736-736

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


(=>
    (equal
        (SuccessorFn ?INT1)
        (SuccessorFn ?INT2))
    (equal ?INT1 ?INT2))		 Merge.kif 5430-5432 If equal (X+1) and (Y+1), then equal X and Y

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


(=>
    (instance ?INT Integer)
    (lessThan ?INT
        (SuccessorFn ?INT)))		 Merge.kif 5434-5436 If X is an instance of integer, then X is less than (X+1)
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))		 Merge.kif 5447-5449 If X is an instance of integer, then equal X and ((X+2)+1)
(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))		 Merge.kif 5451-5453 If X is an instance of integer, then equal X and ((X+1)+2)

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


(forall (@ROW ?ITEM)
    (equal
        (ListLengthFn
            (ListFn @ROW ?ITEM))
        (SuccessorFn
            (ListLengthFn
                (ListFn @ROW)))))		 Merge.kif 3148-3151 For all Entity Y: equal length of (@ROW and Y) and (length of (@ROW)+1)
(forall (?NUMBER)
    (equal
        (SuccessorFn ?NUMBER)
        (AdditionFn ?NUMBER 1)))		 Merge.kif 4832-4833 For all Integer X: equal (X+1) and (X and 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners