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

surface
subjectfact 
surfacedocumentation (surface ?OBJ1 ?OBJ2) means that ?OBJ1 is a maximally connected superficialPart of ?OBJ22001-11-30 13:35:23.0
has axiom 
(=> 
 	(surface ?OBJ1 ?OBJ2)
 	(and 
 		(instance ?OBJ1 SelfConnectedObject)
 		(forall (?OBJ3)
                   (=>
 			     (superficialPart ?OBJ3 ?OBJ2)
 			     (part ?OBJ3 ?OBJ1)))))
2001-11-30 13:35:23.0
has axiom 
(=>
    (and
       (instance ?ATTRIBUTE TextureProperty)
       (attribute ?OBJ ?ATTRIBUTE)
       (surface ?SURFACE ?OBJ))
    (attribute ?SURFACE ?ATTRIBUTE))
2001-11-30 13:35:23.0