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

superficialPart
subjectfact 
superficialPartdocumentation (superficialPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 that has no interior parts of its own (or, intuitively, that only overlaps those parts of ?OBJ2 that are externally connected with the geometric complement of ?OBJ2). This too is a transitive relation closed under MereologicalSumFn and MereologicalProductFn2001-11-30 13:35:23.0
has axiom 
(=> 
 	(superficialPart ?OBJ1 ?OBJ2)
 	(and
 		(not
 			(interiorPart ?OBJ1 ?OBJ2))
 		(not
 			(exists (?OBJ3)
 				(interiorPart ?OBJ3 ?OBJ1)))))
2001-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 
(=>
      (equal ?OBJ1 (SkinFn ?HOLE))
      (forall (?OBJ2)
 		(<=> 
 			(overlapsSpatially ?OBJ2 ?OBJ1)
 			(exists (?OBJ3)
 				(and 
 				      (superficialPart ?OBJ3 (PrincipalHostFn ?HOLE))
 				      (meetsSpatially ?HOLE ?OBJ3)
 				      (overlapsSpatially ?OBJ2 ?OBJ3))))))
2001-11-30 13:35:23.0
has axiom 
(=>
    (and
       (attribute ?OBJ Monochromatic)
       (superficialPart ?PART ?OBJ)
       (attribute ?PART ?COLOR)
       (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
       (=>
          (superficialPart ?ELEMENT ?OBJ)
          (attribute ?ELEMENT ?COLOR))))
2001-11-30 13:35:23.0
has axiom 
(=>
    (attribute ?OBJ Polychromatic)
    (exists (?PART1 ?PART2 ?COLOR1 ?COLOR2)
       (and
          (superficialPart ?PART1 ?OBJ)
          (superficialPart ?PART2 ?OBJ)
          (attribute ?PART1 ?COLOR1)
          (attribute ?PART2 ?COLOR2)
          (instance ?COLOR1 ColorProperty)
          (instance ?COLOR2 ColorProperty)
          (not (equal ?COLOR1 ?COLOR2)))))
2001-11-30 13:35:23.0
has axiom 
(=>
 	(interiorPart ?OBJ1 ?OBJ2)
      	(forall (?PART)
                	(=> 
                     	(superficialPart ?PART ?OBJ2)
                     	(not
                          	(overlapsSpatially ?OBJ1 ?PART)))))
2001-11-30 13:35:23.0