SUMO   View all facts   Glossary   Help
unparented > QuaternaryFunction
Next unparented: resource    Up: unparented    Previous unparented: Pound   

QuaternaryFunction
subjectfact 
QuaternaryFunctionhas axiom 
(<=>
    (and
       (holds ?REL ?INST1 ?INST2 ?INST3 ?INST4 ?INST5)
       (instance ?REL QuaternaryFunction))
    (equal (AssignmentFn ?REL ?INST1 ?INST2 ?INST3 ?INST4) ?INST5))
2001-11-30 13:35:06.0