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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RemainderFn
RemainderFn

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


(documentation RemainderFn ChineseLanguage "(RemainderFn ?NUMBER ?DIVISOR)是数字 ?NUMBER 除以数字 ?DIVISOR 的余数,商数的正负值与 ?DIVISOR 相同。") chinese_format.kif 2267-2268
(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 4856-4858
(domain RemainderFn 1 Integer) Merge.kif 4852-4852 余函数 的 1 数量 是 整数instance
(domain RemainderFn 2 Integer) Merge.kif 4853-4853 余函数 的 2 数量 是 整数instance
(instance RemainderFn BinaryFunction) Merge.kif 4849-4849 余函数二元函数instance
(instance RemainderFn PartialValuedRelation) Merge.kif 4851-4851 余函数部分值关系instance
(range RemainderFn Integer) Merge.kif 4854-4854 余函数range整数 的实例

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


(format ChineseLanguage RemainderFn "%1 模除 %2") chinese_format.kif 722-722
(format EnglishLanguage RemainderFn "%1 mod %2") english_format.kif 727-727
(termFormat ChineseLanguage RemainderFn "余函数") chinese_format.kif 723-723
(termFormat ChineseLanguage RemainderFn "剩余") domainEnglishFormat.kif 49340-49340
(termFormat ChineseTraditionalLanguage RemainderFn "剩餘") domainEnglishFormat.kif 49339-49339
(termFormat EnglishLanguage RemainderFn "remainder") domainEnglishFormat.kif 49338-49338

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


(<=>
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (equal
        (AdditionFn
            (MultiplicationFn
                (FloorFn
                    (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 4860-4862 整数 模除 另一个 整数 equal 第三 整数 若且唯若 (取 那个 整数那个 另外 整数 的底整数 和 那个 另外 整数那个 第三 整数) equal 那个 整数
(=>
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (equal
        (SignumFn ?NUMBER2)
        (SignumFn ?NUMBER)))
Merge.kif 4864-4866

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 8422-8430
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?ELEMENT ?NUMBER) 0))))
Merge.kif 4640-4645
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (not
        (exists (?GREATER)
            (and
                (greaterThan ?GREATER ?NUMBER)
                (forall (?ELEMENT)
                    (=>
                        (inList ?ELEMENT
                            (ListFn @ROW))
                        (equal
                            (RemainderFn ?ELEMENT ?GREATER) 0)))))))
Merge.kif 4647-4655
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (forall (?ELEMENT)
        (=>
            (inList ?ELEMENT
                (ListFn @ROW))
            (equal
                (RemainderFn ?NUMBER ?ELEMENT) 0))))
Merge.kif 4713-4718
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (not
        (exists (?LESS)
            (and
                (lessThan ?LESS ?NUMBER)
                (forall (?ELEMENT)
                    (=>
                        (inList ?ELEMENT
                            (ListFn @ROW))
                        (equal
                            (RemainderFn ?LESS ?ELEMENT) 0)))))))
Merge.kif 4720-4728
(=>
    (instance ?NUMBER EvenInteger)
    (equal
        (RemainderFn ?NUMBER 2) 0))
Merge.kif 4868-4870
(=>
    (instance ?NUMBER OddInteger)
    (equal
        (RemainderFn ?NUMBER 2) 1))
Merge.kif 4872-4874
(=>
    (instance ?PRIME PrimeNumber)
    (forall (?NUMBER)
        (=>
            (equal
                (RemainderFn ?PRIME ?NUMBER) 0)
            (or
                (equal ?NUMBER 1)
                (equal ?NUMBER ?PRIME)))))
Merge.kif 4876-4883


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