realizierung (realization)
A subrelation of represents.
(realization process prop) means that process is a Process which
expresses the content of prop. Examples include a particular musical
performance, which realizes the content of a musical score, or the
reading of a poem.
Ontology
SUMO / BASE-ONTOLOGYClass(es)
Superrelation(s)
Coordinate term(s)
RückseiteFn
KardinalitätFn
FrontseiteFn
HauptwirtFn
Wahrscheinlichkeit
OberflächeFn
attribut
schreibt
verursacht
causes subclass
bürger
aufgeschlossen
fülltVollständig
enthältInformationen
kreuzt
datum
entwicklungsForm
dokumentation
&%dauer von %1 ist %2 %n{nicht}
herausgeber
element
äquivalenzrelationMit
nutztAus
inSpracheAusgedrückt
füllt
frequenz
graphenTeil
hatZweck
hatFähigkeit
hältWährend
hatVerpflichtung
hatRecht
loch
identitätsElement
direkterFall
direckteTeilkategorie
inListe
imBereichInteresses
wohnt
irreflexivAur
weise
mass
schliesstZeitlichAn
mitglied
modalesAttribute
elternteil
teilweiseEinrichtung
fülltTeilweise
pfadLänge
dringtEin
besitzt
vorbedingung
korrektesTeil
fülltRichtig
veröffentlicht
&%bildbereich von %1 ist ein fall von %2 {nicht}
bildbereichTeilkategorie
reflexivAuf
nachfolgerAttribut
fläche
zeitlichesTeil
zeit
gesamteinrichtung
trichotomizierungAuf
verwendet
valenz
version
Type restrictions
realization(Prozess, Proposition)
Related WordNet synsets
See more related synsets on a separate page.
Axioms (4)
realizierung ist innerlich verwandt mit gleichwertigeInhaltsfall .
(relatedInternalConcept realization equivalentContentInstance)
realizierung ist innerlich verwandt mit enthältInformationen .
(relatedInternalConcept realization containsInformation)
Wenn process drükt den Inhalt von prop aus, dann es gibt ein Inhaltsgegenstand obj der obj enthält Informationen über prop.
(=>
(realization ?PROCESS ?PROP)
(exists
(?OBJ)
(and
(instance ?OBJ ContentBearingObject)
(containsInformation ?OBJ ?PROP))))
Wenn read ist ein fall von Lesen , dann es gibt ein Text text,prop der text enthält Informationen über prop und read drükt den Inhalt von prop aus.
(=>
(instance ?READ Reading)
(exists
(?TEXT ?PROP)
(and
(instance ?TEXT Text)
(containsInformation ?TEXT ?PROP)
(realization ?READ ?PROP))))