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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OneToOneFunction
OneToOneFunction

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

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
(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 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