KB Graph : Welcome guest : log in		 [  Home |  ]  KB:  Language:   

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
UnaryFunction191这是个需要单一一个参数的 Function Class。^
    OneToOneFunction1这是个一对一的 UnaryFunction Class，对于 所有在定义域F的X和Y，函数F是一对一的，这是以防X不同于Y，那么F(X)就和F(Y)不相同。 ^
        SequenceFunction.这是 OneToOneFunction Class， 它的范围 是 PositiveInteger 的子类别。^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format: text


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