Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 




Sigma KEE - OneToOneFunction
KB Term: 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
1対1関数
UnaryFunctions は1対1である。関数 F は、 F のドメイン内のすべての X の場合に備えて 1 対 1 で、X が Y と同一でない場合、F(X) は F(Y) と 同一ではない。
Relationships      
Parents 1変数関数 The Class of Functions that require a single argument.
Children 配列関数The Class of OneToOneFunctions whose rangeis a subclass of the PositiveIntegers.


Show simplified definition with tree view
Show full definition (without tree view)
Show full 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