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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RemainderFn

 Sigma KEE - RemainderFn
RemainderFn

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


(documentation RemainderFn ChineseLanguage "(RemainderFn ?NUMBER ?DIVISOR)是数字 ?NUMBER 除以数字 ?DIVISOR 的余数，商数的正负值与 ?DIVISOR 相同。") Merge.kif 5245-5246
(documentation RemainderFn EnglishLanguage "(RemainderFn ?NUMBER ?DIVISOR) is the remainder of the number ?NUMBER divided by the number ?DIVISOR. The result has the same sign as ?DIVISOR.") Merge.kif 5242-5244
(domain RemainderFn 1 Integer) Merge.kif 5239-5239
(domain RemainderFn 2 Integer) Merge.kif 5240-5240
(instance RemainderFn BinaryFunction) Merge.kif 5236-5236
(instance RemainderFn PartialValuedRelation) Merge.kif 5238-5238
(range RemainderFn Integer) Merge.kif 5241-5241

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


(format ChineseLanguage RemainderFn "%1 模除 %2") chinese_format.kif 722-722
(format EnglishLanguage RemainderFn "%1 mod %2") english_format.kif 445-445
(format FrenchLanguage RemainderFn "%1 reste %2") french_format.kif 434-434
(format ItalianLanguage RemainderFn "%1 mod %2") relations-it.txt 252-252
(format PortugueseLanguage RemainderFn "%1 mod %2") portuguese_format.kif 386-386
(format cz RemainderFn "%1 mod %2") relations-cz.txt 446-446
(format de RemainderFn "%1 betrag %2") relations-de.txt 935-935
(format hi RemainderFn "%1 aura %2 kaa sheshhaphala") relations-hindi.txt 289-289
(termFormat ChineseLanguage RemainderFn "余函数") chinese_format.kif 723-723
(termFormat EnglishLanguage RemainderFn "remainder") domainEnglishFormat.kif 8664-8664

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


(<=>
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (equal
        (AdditionFn
            (MultiplicationFn
                (FloorFn
                    (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))		 Merge.kif 5248-5250
(=>
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (equal
        (SignumFn ?NUMBER2)
        (SignumFn ?NUMBER)))		 Merge.kif 5252-5254

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


(=>
    (and
        (instance ?LEAP LeapYear)
        (instance ?LEAP
            (YearFn ?NUMBER)))
    (or
        (and
            (equal
                (RemainderFn ?NUMBER 4) 0)
            (not
                (equal
                    (RemainderFn ?NUMBER 100) 0)))
        (equal
            (RemainderFn ?NUMBER 400) 0)))		 Merge.kif 9001-9009
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?ELEMENT ?NUMBER) 0))))		 Merge.kif 5010-5015
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (not
        (exists (?GREATER)
            (and
                (greaterThan ?GREATER ?NUMBER)
                (forall (?ELEMENT)
                    (=>
                        (inList ?ELEMENT
                            (ListFn @ROW))
                        (equal
                            (RemainderFn ?ELEMENT ?GREATER) 0)))))))		 Merge.kif 5017-5025
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?NUMBER ?ELEMENT) 0))))		 Merge.kif 5089-5094
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (not
        (exists (?LESS)
            (and
                (lessThan ?LESS ?NUMBER)
                (forall (?ELEMENT)
                    (=>
                        (inList ?ELEMENT
                            (ListFn @ROW))
                        (equal
                            (RemainderFn ?LESS ?ELEMENT) 0)))))))		 Merge.kif 5096-5104
(=>
    (instance ?NUMBER EvenInteger)
    (equal
        (RemainderFn ?NUMBER 2) 0))		 Merge.kif 5256-5258
(=>
    (instance ?NUMBER OddInteger)
    (equal
        (RemainderFn ?NUMBER 2) 1))		 Merge.kif 5260-5262
(=>
    (instance ?PRIME PrimeNumber)
    (forall (?NUMBER)
        (=>
            (equal
                (RemainderFn ?PRIME ?NUMBER) 0)
            (or
                (equal ?NUMBER 1)
                (equal ?NUMBER ?PRIME)))))		 Merge.kif 5264-5271


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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