SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > TernaryFunction
Next FunctionUnaryFunction    UpFunction, QuaternaryRelation    Previous FunctionLeastCommonMultipleFn   

TernaryFunction
subjectfact 
TernaryFunctiondocumentation The Class of Functions that require exactly three arguments2001-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))
2001-11-30 13:35:25.0
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))
2001-11-30 13:35:25.0
is a kind of Function2001-11-30 13:35:25.0
is a kind of QuaternaryRelation2001-11-30 13:35:25.0
Functionis first domain of AssignmentFn2001-11-30 13:34:18.0
is first domain of closedOn2001-11-30 13:34:18.0
is first domain of range2001-11-30 13:34:18.0
is first domain of rangeSubclass2001-11-30 13:34:18.0
Relationis second domain of subrelation2001-11-30 13:35:10.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0