Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

zweistellige Prädikat (BinaryPredicate)

A Predicate relating two items - its valence is two.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

is instance of

inheritable relation

is instance of

zweistellige Prädikat

Superclass(es)

[tree]

is subclass of

abstrakter Gegenstand

is subclass of

Relation

is subclass of

Prädikat

is subclass of

[tree]

is subclass of

abstrakter Gegenstand

is subclass of

Relation

is subclass of

zweiwertige Relation
is subclass of

is subclass of

is subclass of

zweistellige Prädikat

Instance(s)

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

Subclass(es)

Coordinate term(s)

antisymmetrische Relation zweistellige Funktion zweiwertige Relation Fallrolle Funktion intentional relation intransitive Relation irreflexive Relation logischer Operator Gegenstandeinstellung Prädikat Wahrscheinlichkeitsrelation propositionale Einstellung vierstellige funktion vierstellige Prädikat viewwertige Relation fünfstellige Prädikat fünfwertige Relation reflexive Relation Relation erweitert auf Quantitäten einwertige Relation räumliche Relation symmetrische Relation zeitliche Relation dreistellige Funktion dreistellige Prädikat dreiwertige Relation transitive Relation trichotomizierende Relation einstellige Funktion

Axioms (1)

Wenn rel ist ein fall von zweistellige Prädikat , dann rel hat argument(e).

(=>
      (instance ?REL BinaryPredicate)
      (valence ?REL 2))