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

Formal Language: 




Sigma KEE - SequenceFunction
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
sequence function
The Class of OneToOneFunctions whose rangeis a subclass of the PositiveIntegers.
Relationships      
Parents one to one function 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).


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