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

zweistellige Funktion (BinaryFunction)

The Class of Functions that require two arguments.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie
is instance of
  inheritable relation  
is instance of
  zweistellige Funktion  

Superclass(es)

[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Relation  
is subclass of
  einwertige Relation  
is subclass of
  Funktion  
is subclass of
[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Relation  
is subclass of
  dreiwertige Relation  
is subclass of
is subclass of
  zweistellige Funktion  

Instance(s)

ListeOrdnungFn  ListeVerkettenFn  WoFn  MultiplikationFn  AdditionFn  SubtraktionFn  DivisionFn  ExponentiationFn  LogarithmusFn  MaximumFn  MinumumFn  RestFn  VereinigungFn  DurchschnittFn  RelativeErgänzungFn  KappaFn  MinimalerBelasteterPfadFn  MaximalerBelasteterPfadFn  GraphPfadFn  MassFn  AbstandFn  DichteFn  GeschwindigkeitFn  ZeitabstandFn  RückläufigeZeitAbstandFn  MonatFn  TagFn  StundeFn  MinuteFn  SekundFn  ZeitlicheAufbauFn  MereologischeSummeFn  MereologischesProduktFn  MereologischeDifferenzFn  AusgabeFn  ReiheBandeFn  PeriodikumAusgabeFn  RelativeZeitFn 

Subclass(es)

associative Funktion  commutative Funktion 

Coordinate term(s)

zweistellige Prädikat  zweiwertige Relation  Fallrolle  stetige Dauerfunktion  Funktion  Funktionsquantität  intentional relation  Gegenstandeinstellung  Prädikat  Wahrscheinlichkeitsrelation  propositionale Einstellung  vierstellige funktion  vierstellige Prädikat  viewwertige Relation  fünfstellige Prädikat  fünfwertige Relation  Relation erweitert auf Quantitäten  einwertige Relation  räumliche Relation  zeitliche Relation  dreistellige Funktion  dreistellige Prädikat  dreiwertige Relation  einstellige Funktion 

Constrains relations

istDistributiv  identitätsElement 

Axioms (2)

Wenn function ist ein fall von zweistellige Funktion , dann function hat argument(e). 
(=>
      (instance ?FUNCTION BinaryFunction)
      (valence ?FUNCTION 2))
(=>
      (and
            (closedOn ?FUNCTION ?CLASS)
            (instance ?FUNCTION BinaryFunction))
      (forall
            (?INST1 ?INST2)
            (=>
                  (and
                        (instance ?INST1 ?CLASS)
                        (instance ?INST2 ?CLASS))
                  (instance
                        (AssignmentFn ?FUNCTION ?INST1 ?INST2)
                        ?CLASS))))