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).

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

nesymetrická relace
is instance of

tranzitivní relace
is instance of

proper part

Superrelation(s)

partly located

located

part

proper part

Subrelation(s)

engineering subcomponent

Související termín(y)

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.

Axiomy (8)

obj1 je vlastní částí obj2 tehdy a jen tehdy pokud obj1 je částí obj2 a obj2 není částí obj1.

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

Jestliže hole je díra v obj1 a hole je díra v obj2, potom existuje obj3 tak, že obj3 je vlastní částí "mereological product fn(obj1,obj2)" a hole je díra v obj3.

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

Jestliže hole1 je instancí třídy díra, potom existuje hole2 tak, že hole2 je vlastní částí hole1.

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

Jestliže hole1 je instancí třídy díra a hole2 je vlastní částí hole1, potom existuje obj tak, že hole1 se dotýká obj a hole2 se nedotýká obj.

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

Jestliže obj zaplňuje hole1 a hole2 je vlastní částí hole1, potom obj zcela zaplňuje hole2.

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

Jestliže obj1 zaplňuje hole a obj2 je vlastní částí obj1, potom obj2 přesně zaplňuje hole.

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

Jestliže state je instancí třídy stát nebo provincie, potom existuje národ land tak, že state je vlastní částí land.

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

Jestliže room je instancí třídy pokoj, potom existuje budova build tak, že room je vlastní částí build.

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