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

Formal Language: 




Sigma KEE - UnaryFunction
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変数関数
Functions のClass は 単一の引数が必要 である。
Relationships      
Parents 2項関係 BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
  関数 A Function is a term-forming Relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element. Note that the range is a Class, and each element of the range is an instance of the Class.
  InheritableRelation The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
Children InfectionFnDenotes the InfectiousDisease caused by the given Microorganism.
 1対1関数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).
 UnitOfMeasureMultiplierEach instance of this Class is a UnaryFunction that, when evaluated on its single argument, a UnitOfMeasure, produces another UnitOfMeasure that is a numeric multiple of the argument.


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