SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > ExtensionFn

ExtensionFn comparison table

Subject	have domain1	have range	documentation	have axiom	is a kind of	is an instance of
UnaryFunction			The Class of Functions that require a single argument	(=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1))	Function
ExtensionFn	Attribute	Class	A UnaryFunction that maps an Attribute into the Class whose condition for membership is the Attribute	(<=> (equal (ExtensionFn ?ATTRIBUTE) ?CLASS) (equal (AttributeFn ?CLASS) ?ATTRIBUTE))		UnaryFunction

Next UnaryFunction: FloorFn    Up: UnaryFunction    Previous UnaryFunction: EngineeringComponentFn