SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > AssignmentFn |
AssignmentFn | ||||
subject | fact |
AssignmentFn | documentation If F is a function with a value for the objects denoted by N1,..., NK, then the term (AssignmentFn F N1 ... NK) denotes the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined | |
has axiom (<=> | ||
has axiom (<=> | ||
has axiom (<=> | ||
has axiom (<=> | ||
has axiom (<=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has domain1 Function | ||
has range Entity | ||
is an instance of Function | ||
is an instance of VariableArityRelation | ||
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 | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next Function: BinaryFunction Up: Function, VariableArityRelation Previous Function: UnaryFunction