SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > DomainFn
Next UnaryFunction: EndFn    Up: UnaryFunction    Previous UnaryFunction: DenominatorFn   

DomainFn 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 
DomainFnBinaryRelationClassThe domain of a BinaryRelation ?REL is the Class of all things that bear ?REL to something
(=>
    (instance ?FUNCTION CommutativeFunction)
    (forall (?INST1 ?INST2)
       (=>
          (and
             (instance ?INST1 (DomainFn ?FUNCTION))
             (instance ?INST2 (DomainFn ?FUNCTION)))
          (equal (AssignmentFn ?FUNCTION ?INST1 ?INST2) 
                 (AssignmentFn ?FUNCTION ?INST2 ?INST1)))))
 UnaryFunction

Next UnaryFunction: EndFn    Up: UnaryFunction    Previous UnaryFunction: DenominatorFn