| 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