proper part (properPart)

(properPart obj1 obj2) means that obj1 is a part of obj2 other than obj2 itself. This is a TransitiveRelation and AsymmetricRelation (hence an IrreflexiveRelation).

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

RelazioneAsimmetrica
is instance of

RelazioneTransitiva
is instance of

proper part

Superrelation(s)

partly located

located

part

proper part

Subrelation(s)

engineering subcomponent

Coordinate term(s)

back fn cardinality fn front fn principal host fn probability fn skin fn attribute authors before causes causes subclass citizen closed on completely fills contains information crosses date developmental form documentation duration during earlier editor element equivalence relation on exploits expressed in language fills finishes frequency graph part greater than has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in list in scope of interest inhabits interior part irreflexive on larger less than manner measure meets temporally member modal attribute parent partial ordering on partially fills path length penetrates possesses precondition properly fills publishes range range subclass realization reflexive on smaller starts sub collection sub graph sub organizations sub plan sub proposition successor attribute successor attribute closure superficial part surface temporal part time total ordering on trichotomizing on uses valence version

Related WordNet synsets

part, portion: something less than the whole of a human artifact: "the rear part of the house"; "glue the two parts together"

See more related synsets on a separate page.

Axioms (8)

obj1 é una Parte propria di obj2 se e solo se obj1 é una parte di obj2 e obj2 é not una parte di obj1.

(<=>
      (properPart ?OBJ1 ?OBJ2)
      (and
            (part ?OBJ1 ?OBJ2)
            (not
                  (part ?OBJ2 ?OBJ1))))

Se hole é un' apertura in obj1 e hole é un' apertura in obj2, allora esiste obj3 tale che obj3 é una Parte propria di "l' intersezione delle parti di obj1 e obj2" e hole é un' apertura in obj3.

(=>
      (and
            (hole ?HOLE ?OBJ1)
            (hole ?HOLE ?OBJ2))
      (exists
            (?OBJ3)
            (and
                  (properPart
                        ?OBJ3
                        (MereologicalProductFn ?OBJ1 ?OBJ2))
                  (hole ?HOLE ?OBJ3))))

Se hole1 é un' istanza di Apertura, allora esiste hole2 tale che hole2 é una Parte propria di hole1.

(=>
      (instance ?HOLE1 Hole)
      (exists
            (?HOLE2)
            (properPart ?HOLE2 ?HOLE1)))

Se hole1 é un' istanza di Apertura e hole2 é una Parte propria di hole1, allora esiste obj tale che hole1 incontras obj e hole2 non incontra obj.

(=>
      (and
            (instance ?HOLE1 Hole)
            (properPart ?HOLE2 ?HOLE1))
      (exists
            (?OBJ)
            (and
                  (meetsSpatially ?HOLE1 ?OBJ)
                  (not
                        (meetsSpatially ?HOLE2 ?OBJ)))))

Se obj riempies hole1 e hole2 é una Parte propria di hole1, allora obj riempie completamentes hole2.

(=>
      (and
            (fills ?OBJ ?HOLE1)
            (properPart ?HOLE2 ?HOLE1))
      (completelyFills ?OBJ ?HOLE2))

Se obj1 riempies hole e obj2 é una Parte propria di obj1, allora obj2 riempie propriamentes hole.

(=>
      (and
            (fills ?OBJ1 ?HOLE)
            (properPart ?OBJ2 ?OBJ1))
      (properlyFills ?OBJ2 ?HOLE))

Se state é un' istanza di StatoOProvincia, allora esiste Nazione land tale che state é una Parte propria di land.

(=>
      (instance ?STATE StateOrProvince)
      (exists
            (?LAND)
            (and
                  (instance ?LAND Nation)
                  (properPart ?STATE ?LAND))))

Se room é un' istanza di Stanza, allora esiste Costruzione build tale che room é una Parte propria di build.

(=>
      (instance ?ROOM Room)
      (exists
            (?BUILD)
            (and
                  (instance ?BUILD Building)
                  (properPart ?ROOM ?BUILD))))