Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

nachfolgerAttributSchliessung (successorAttributeClosure)

The transitive closure of successorAttribute. (successorAttributeClosure attr1 attr2) means that there is a chain of successorAttribute assertions connecting attr1 and attr2.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  zweistellige Prädikat  
is instance of
transitive Relation
is instance of
irreflexive Relation
is instance of
is instance of
  nachfolgerAttributSchliessung  

Coordinate term(s)

RückseiteFn  FrontseiteFn  arctusGewicht  attribut  schreibt  vor  vorOderGleichzeitig  verursacht  causes subclass  bürger  aufgeschlossen  angeschlossen  angeschlosseneTechnikKomponenten  enthältInformationen  zusammenGeschiecht  kopie  kreuzt  datum  verringertWahrscheinlichkeit  entwicklungsForm  disjunkt  istDistributiv  dokumentation  &%dauer von %1 ist %2 %n{nicht}  während  früh  herausgeber  element  beschäftigt  %1 ist gleich %2 %n{nicht}  äquivalenzrelationMit  nutztAus  inSpracheAusgedrückt  stelltGegenüber  verwandt  beendet  frequenz  graphenTeil  grösserAls  grösserAlsOderGleich  hatZweck  hatFähigkeit  hältWährend  hatVerpflichtung  hatRecht  loch  identitätsElement  inListe  imBereichInteresses  vergrössertWahrscheinlichkeit  Unabhänigkeitswahrscheinlichkeit  wohnt  hemmt  ausgangsList  fall  innenteil  umkehrFunktion  irreflexivAur  grösser  kleinerAls  kleinerAlsOderGleich  weise  material  mass  schliesstRäumlichAn  schliesstZeitlichAn  modalesAttribute  decktSichTeilweise  decktSichZeitlich  elternteil  teilweiseEinrichtung  befindetSichTeils  pfadLänge  besitzt  vorbedingung  verhindert  korrektesTeil  eigenschaft  veröffentlicht  &%bildbereich von %1 ist ein fall von %2 {nicht}  bildbereichTeilkategorie  beziehtSichAuf  reflexivAuf  verwandtesInnenkonzept  geschwister  kleiner  beginnt  teilAttribut  teilsammlung  teilGraph  teilliste  unterOrganisation  teilplan  subProzess  %1 ist eine &%teilangelegenheit von %2 %n{nicht}  teilkategorie  teilrelation  fasstInhaltsKategorieZusammen  fasstInhaltsFallZusammen  nachfolgerAttribut  oberflächichesTeil  zeitlichesTeil  zeit  gesamteinrichtung  trichotomizierungAuf  verwendet  valenz  version 

Type restrictions

successorAttributeClosure(Attribut, Attribut)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (3)

nachfolgerAttributSchliessung ist innerlich verwandt mit nachfolgerAttribut . 
(relatedInternalConcept successorAttributeClosure successorAttribute)
Wenn attr1 ist ein direkter nachfolgerattribut von attr2, dann attr1 ist ein nachfolgerattribut von attr2. 
(=>
      (successorAttribute ?ATTR1 ?ATTR2)
      (successorAttributeClosure ?ATTR1 ?ATTR2))
Wenn "die entwicklungsForm von obj ist attr1" hält während time1 und attr2 ist ein nachfolgerattribut von attr1, dann es gibt ein time2 der time2 geschieht früh als time1 und "die entwicklungsForm von obj ist attr2" hält während time2 . 
(=>
      (and
            (holdsDuring
                  ?TIME1
                  (developmentalForm ?OBJ ?ATTR1))
            (successorAttributeClosure ?ATTR2 ?ATTR1))
      (exists
            (?TIME2)
            (and
                  (earlier ?TIME2 ?TIME1)
                  (holdsDuring
                        ?TIME2
                        (developmentalForm ?OBJ ?ATTR2)))))