korrektesTeil (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)

asymmetrische Relation
is instance of

transitive Relation
is instance of

korrektesTeil

Superrelation(s)

befindetSichTeils

befindetSich

teil

korrektesTeil

Subrelation(s)

technikSubkomponente

Coordinate term(s)

RückseiteFn KardinalitätFn FrontseiteFn HauptwirtFn Wahrscheinlichkeit OberflächeFn attribut schreibt vor verursacht causes subclass bürger aufgeschlossen fülltVollständig enthältInformationen kreuzt datum entwicklungsForm dokumentation &%dauer von %1 ist %2 %n{nicht} während früh herausgeber element äquivalenzrelationMit nutztAus inSpracheAusgedrückt füllt beendet frequenz graphenTeil grösserAls hatZweck hatFähigkeit hältWährend hatVerpflichtung hatRecht loch identitätsElement direkterFall direckteTeilkategorie inListe imBereichInteresses wohnt innenteil irreflexivAur grösser kleinerAls weise mass schliesstZeitlichAn mitglied modalesAttribute elternteil teilweiseEinrichtung fülltTeilweise pfadLänge dringtEin besitzt vorbedingung fülltRichtig veröffentlicht &%bildbereich von %1 ist ein fall von %2 {nicht} bildbereichTeilkategorie realizierung reflexivAuf kleiner beginnt teilsammlung teilGraph unterOrganisation teilplan %1 ist eine &%teilangelegenheit von %2 %n{nicht} nachfolgerAttribut nachfolgerAttributSchliessung oberflächichesTeil fläche zeitlichesTeil zeit gesamteinrichtung trichotomizierungAuf verwendet valenz 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 ist ein korrektes teil von obj2 nur wenn obj1 ist ein teil von obj2 und obj2 ist ein teil von obj1 nicht.

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

Wenn hole ist ein loch in obj1 und hole ist ein loch in obj2 , dann es gibt ein obj3 der obj3 ist ein korrektes teil von "der durchschnitt von den teilen von obj1 und obj2" und hole ist ein loch in obj3 .

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

Wenn hole1 ist ein fall von Loch , dann es gibt ein hole2 der hole2 ist ein korrektes teil von hole1 .

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

Wenn hole1 ist ein fall von Loch und hole2 ist ein korrektes teil von hole1 , dann es gibt ein obj der hole1 schliesst obj räumlich an und hole2 schliesst obj räumlich nicht an.

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

Wenn obj füllt hole1 und hole2 ist ein korrektes teil von hole1 , dann obj füllt hole2 vollständig.

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

Wenn obj1 füllt hole und obj2 ist ein korrektes teil von obj1 , dann obj2 füllt hole richtig.

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

Wenn state ist ein fall von Staat or Provinz , dann es gibt ein Nation land der state ist ein korrektes teil von land .

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

Wenn room ist ein fall von Zimmer , dann es gibt ein Gebäude build der room ist ein korrektes teil von build .

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