SUMO   View all facts   Glossary   Help
unparented > AttributeFn
Next unparented: completelyFills    Up: unparented    Previous unparented: attribute   

AttributeFn comparison table
Subject have axiom
unparented 
AttributeFn
(<=>
    (equal (ExtensionFn ?ATTRIBUTE) ?CLASS)
    (equal (AttributeFn ?CLASS) ?ATTRIBUTE))

Next unparented: completelyFills    Up: unparented    Previous unparented: attribute