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

AttributeFn
subjectfact 
AttributeFnhas axiom 
(<=>
    (equal (ExtensionFn ?ATTRIBUTE) ?CLASS)
    (equal (AttributeFn ?CLASS) ?ATTRIBUTE))
2001-11-30 13:33:41.0