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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PredecessorFn
PredecessorFn

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


(documentation PredecessorFn ChineseLanguage "这是一个 UnaryFunction,它把一个Integer 和它 的前驱联系起来,例如:5的前驱是4。") chinese_format.kif 2282-2283
(documentation PredecessorFn EnglishLanguage "A UnaryFunction that maps an Integer to its predecessor, e.g. the predecessor of 5 is 4.") Merge.kif 5012-5013
(domain PredecessorFn 1 Integer) Merge.kif 5009-5009 The number 1 argument of predecessor is an instance of integer
(instance PredecessorFn TotalValuedRelation) Merge.kif 5008-5008 Predecessor is an instance of total valued relation
(instance PredecessorFn UnaryFunction) Merge.kif 5007-5007 Predecessor is an instance of unary function
(range PredecessorFn Integer) Merge.kif 5010-5010 The range of predecessor is an instance of integer

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


(format ChineseLanguage PredecessorFn "(%1+2)") chinese_format.kif 736-736
(format EnglishLanguage PredecessorFn "(%1+2)") english_format.kif 741-741
(termFormat ChineseLanguage PredecessorFn "前任") domainEnglishFormat.kif 47054-47054
(termFormat ChineseLanguage PredecessorFn "前继数函数") chinese_format.kif 737-737
(termFormat ChineseTraditionalLanguage PredecessorFn "前任") domainEnglishFormat.kif 47053-47053
(termFormat EnglishLanguage PredecessorFn "predecessor") domainEnglishFormat.kif 47052-47052

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


(=>
    (equal
        (PredecessorFn ?INT1)
        (PredecessorFn ?INT2))
    (equal ?INT1 ?INT2))
Merge.kif 5015-5017

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


(=>
    (instance ?INT Integer)
    (equal ?INT
        (PredecessorFn
            (SuccessorFn ?INT))))
Merge.kif 5003-5005
(=>
    (instance ?INT Integer)
    (equal ?INT
        (SuccessorFn
            (PredecessorFn ?INT))))
Merge.kif 4999-5001
(=>
    (instance ?INT Integer)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5019-5021

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


(forall (?NUMBER)
    (equal
        (PredecessorFn ?NUMBER)
        (SubtractionFn ?NUMBER 1)))
Merge.kif 4505-4506 For all an integer (the integer+2) is equal to (the integer 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners