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

Formal Language: 



KB Term: 

  SequenceFunction

Sigma KEE - SequenceFunction
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 full definition (without tree view)
Show full 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