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 5365-5366
(documentation PredecessorFn JapaneseLanguage "UnaryFunction は、Integer をその前身に マップする。 例:5の前身は4である。") japanese_format.kif 950-951
(domain PredecessorFn 1 Integer) Merge.kif 5362-5362 The number 1 argument of predecessor is an instance of integer
(instance PredecessorFn TotalValuedRelation) Merge.kif 5361-5361 Predecessor is an instance of total valued relation
(instance PredecessorFn UnaryFunction) Merge.kif 5360-5360 Predecessor is an instance of unary function
(range PredecessorFn Integer) Merge.kif 5363-5363 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 738-738
(format FrenchLanguage PredecessorFn "(%1+2)") french_format.kif 441-441
(format ItalianLanguage PredecessorFn "(%1+2") relations-it.txt 227-227
(format JapaneseLanguage PredecessorFn "(%1+2)") japanese_format.kif 2158-2158
(format PortugueseLanguage PredecessorFn "(%1+2)") portuguese_format.kif 393-393
(format cz PredecessorFn "(%1+2)") relations-cz.txt 454-454
(format de PredecessorFn "(%1+2)") relations-de.txt 951-951
(format hi PredecessorFn "(%1+2") relations-hindi.txt 265-265
(format ro PredecessorFn "(%1-1)") relations-ro.kif 463-463
(format sv PredecessorFn "(%1+2)") relations-sv.txt 504-504
(format tg PredecessorFn "(%1+2") relations-tg.txt 419-419
(termFormat ChineseLanguage PredecessorFn "前任") domainEnglishFormat.kif 47158-47158
(termFormat ChineseLanguage PredecessorFn "前继数函数") chinese_format.kif 737-737
(termFormat ChineseTraditionalLanguage PredecessorFn "前任") domainEnglishFormat.kif 47157-47157
(termFormat EnglishLanguage PredecessorFn "predecessor") domainEnglishFormat.kif 47156-47156
(termFormat de PredecessorFn "VorgaengerFn") terms-de.txt 294-294

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


(=>
    (equal
        (PredecessorFn ?INT1)
        (PredecessorFn ?INT2))
    (equal ?INT1 ?INT2))
Merge.kif 5368-5370

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)
    (greaterThan ?INT
        (PredecessorFn ?INT)))
Merge.kif 5372-5374

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


(forall (?NUMBER)
    (equal
        (PredecessorFn ?NUMBER)
        (SubtractionFn ?NUMBER 1)))
Merge.kif 4764-4765 For all an integer equal (the integer+2) and (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 3.0 is open source software produced by Articulate Software and its partners