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

QuaternaryFunction comparison table
Subject have axiom
unparented 
QuaternaryFunction
(<=>
    (and
       (holds ?REL ?INST1 ?INST2 ?INST3 ?INST4 ?INST5)
       (instance ?REL QuaternaryFunction))
    (equal (AssignmentFn ?REL ?INST1 ?INST2 ?INST3 ?INST4) ?INST5))

Next unparented: resource    Up: unparented    Previous unparented: Pound