TernaryFunction concept from the SUMO knowledge base

Next Function: UnaryFunction Up: Function, QuaternaryRelation Previous Function: LeastCommonMultipleFn

TernaryFunction

subject fact

TernaryFunction documentation The Class of Functions that require exactly three arguments 2001-11-30 13:35:25.0
has axiom
(<=>
(and
(holds ?REL ?INST1 ?INST2 ?INST3 ?INST4)
(instance ?REL TernaryFunction))
(equal (AssignmentFn ?REL ?INST1 ?INST2 ?INST3) ?INST4))
has axiom
(=>
(and
(instance ?FUNCTION TernaryFunction)
(equal (AssignmentFn ?FUNCTION ?ARG1 ?ARG2 ?ARG3) ?VALUE1)
(equal (AssignmentFn ?FUNCTION ?ARG1 ?ARG2 ?ARG3) ?VALUE2))
(equal ?VALUE1 ?VALUE2))
2001-11-30 13:35:25.0
has axiom
(=>
(instance ?FUNCTION TernaryFunction)
(valence ?FUNCTION 3))
is a kind of Function
is a kind of QuaternaryRelation

Function is first domain of AssignmentFn 2001-11-30 13:34:18.0
is first domain of closedOn
is first domain of range
is first domain of rangeSubclass

Relation is second domain of subrelation 2001-11-30 13:35:10.0

Class is third domain of domain 2001-11-30 13:33:51.0
is third domain of domainSubclass

Abstract is disjoint from Physical 2001-11-30 13:33:32.0

TernaryFunction	*documentation* The Class of Functions that require exactly three arguments
	has axiom (<=> (and (holds ?REL ?INST1 ?INST2 ?INST3 ?INST4) (instance ?REL TernaryFunction)) (equal (AssignmentFn ?REL ?INST1 ?INST2 ?INST3) ?INST4))
	has axiom (=> (and (instance ?FUNCTION TernaryFunction) (equal (AssignmentFn ?FUNCTION ?ARG1 ?ARG2 ?ARG3) ?VALUE1) (equal (AssignmentFn ?FUNCTION ?ARG1 ?ARG2 ?ARG3) ?VALUE2)) (equal ?VALUE1 ?VALUE2))
	has axiom (=> (instance ?FUNCTION TernaryFunction) (valence ?FUNCTION 3))
	is a kind of Function
	is a kind of QuaternaryRelation
Function	*is first domain* of** AssignmentFn
	*is first domain* of** closedOn
	*is first domain* of** range
	*is first domain* of** rangeSubclass
Relation	*is second domain* of** subrelation
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical