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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OneToOneFunction

Sigma KEE - OneToOneFunction
OneToOneFunction(one to one function)

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


(documentation OneToOneFunction ChineseLanguage "这是个一对一的 UnaryFunction Class,对于 所有在定义域F的X和Y,函数F是一对一的,这是以防X不同于Y,那么F(X)就和F(Y)不相同。 ") chinese_format.kif 1995-1996
(documentation OneToOneFunction EnglishLanguage "The Class of UnaryFunctions which are one to one. A function F is one to one just in case for all X, Y in the domain of F, if X is not identical to Y, then F(X) is not identical to F(Y).") Merge.kif 3300-3302
(subclass OneToOneFunction UnaryFunction) Merge.kif 3298-3298 One to one function is a subclass of unary function

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


(format ChineseLanguage OneToOneFunction "%1 的 one 对一 功能") domainEnglishFormat.kif 1835-1835
(format ChineseTraditionalLanguage OneToOneFunction "%1 的 one 對一 功能") domainEnglishFormat.kif 1834-1834
(format EnglishLanguage OneToOneFunction "the one to one function of %1") domainEnglishFormat.kif 1833-1833
(subclass SequenceFunction OneToOneFunction) Merge.kif 3315-3315 Sequence function is a subclass of one to one function
(termFormat ChineseLanguage OneToOneFunction "单射函数") chinese_format.kif 918-918
(termFormat EnglishLanguage OneToOneFunction "one to one function") english_format.kif 1043-1043

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


(=>
    (instance ?FUN OneToOneFunction)
    (forall (?ARG1 ?ARG2)
        (=>
            (and
                (domain ?FUN 1 ?CLASS)
                (instance ?ARG1 ?CLASS)
                (instance ?ARG2 ?CLASS)
                (not
                    (equal ?ARG1 ?ARG2)))
            (not
                (equal
                    (AssignmentFn ?FUN ?ARG1)
                    (AssignmentFn ?FUN ?ARG2))))))
Merge.kif 3304-3313


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 3.0 is open source software produced by Articulate Software and its partners