EngineeringComponentFn concept from the SUMO knowledge base

Next UnaryFunction: ExtensionFn Up: UnaryFunction Previous UnaryFunction: EndFn

Next UnaryFunction: ExtensionFn Up: UnaryFunction Previous UnaryFunction: EndFn

EngineeringComponentFn	*documentation* A UnaryFunction that maps a Terminal to its corresponding EngineeringComponent
	has domain1 Terminal
	has inverse TerminalFn
	has range EngineeringComponent
	*is an instance* of** UnaryFunction
UnaryFunction	has axiom (<=> (and (holds ?REL ?INST1 ?INST2) (instance ?REL UnaryFunction)) (equal (AssignmentFn ?REL ?INST1) ?INST2))
	has axiom (=> (and (closedOn ?FUNCTION ?CLASS) (instance ?FUNCTION UnaryFunction)) (forall (?INST) (=> (instance ?INST ?CLASS) (instance (AssignmentFn ?FUNCTION ?INST) ?CLASS))))
	has axiom (=> (and (instance ?FUNCTION UnaryFunction) (equal (AssignmentFn ?FUNCTION ?ARG) ?VALUE1) (equal (AssignmentFn ?FUNCTION ?ARG) ?VALUE2)) (equal ?VALUE1 ?VALUE2))
	has axiom (=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1))
BinaryRelation	*is first domain* of** DomainFn
	*is first domain* of** equivalenceRelationOn
	*is first domain* of** inverse
	*is first domain* of** irreflexiveOn
	*is first domain* of** partialOrderingOn
	*is first domain* of** RangeFn
	*is first domain* of** reflexiveOn
	*is first domain* of** totalOrderingOn
	*is first domain* of** trichotomizingOn
	*is second domain* of** inverse
Function	*is first domain* of** AssignmentFn
	*is first domain* of** closedOn
	*is first domain* of** range
	*is first domain* of** rangeSubclass
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical


*EngineeringComponentFn*
subject			fact