SUMO   View all facts   Glossary   Help
unparented > surface
Next unparented: synonymousExternalConcept    Up: unparented    Previous unparented: superficialPart   

surface comparison table
Subject documentation have axiom
unparented  
surface(surface ?OBJ1 ?OBJ2) means that ?OBJ1 is a maximally connected superficialPart of ?OBJ2
(=>
    (and
       (instance ?ATTRIBUTE TextureProperty)
       (attribute ?OBJ ?ATTRIBUTE)
       (surface ?SURFACE ?OBJ))
    (attribute ?SURFACE ?ATTRIBUTE))

Next unparented: synonymousExternalConcept    Up: unparented    Previous unparented: superficialPart