Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

RelazioneMonovalente (SingleValuedRelation)

A Relation is a SingleValuedRelation just in case an assignment of values to every argument position except the last one determines at most one assignment for the last argument position. Note that not all SingleValuedRelations are total functions. To declare that a Relation is a total function, use both SingleValuedFunction and TotalValuedFunction.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  RelazioneMonovalente  

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  RelazioneMonovalente  

Instance(s)

valence  unique identifier  age  width  distance  altitude  depth  monetary value  date  mother  father 

Subclass(es)

Funzione 

Coordinate term(s)

FunzioneBinaria  PredicatoBinario  RelazioneBinaria  RuoloSemantico  Funzione  intentional relation  Lista  AtteggiamentoOggettuale  RelazioneAValoreParziale  Predicato  RelazioneDiProbabilitá  AtteggiamentoProposizionale  FunzioneQuaternaria  PredicatoQuaternario  RelazioneQuaternaria  PredicatoQuinquenario  RelazioneQuinquenaria  RelazioneEstesaAQuantitá  RelazioneSpaziale  RelazioneTemporale  FunzioneTernaria  PredicatoTernario  RelazioneTernaria  RelazioneAValoreTotale  FunzioneUnaria  RelazioneAdAritáVariabile 

Axioms (1)

rel é un' istanza di RelazioneMonovalente se e solo se per ogni ,item1,item2 vale: se rel(,item1 vales e rel(,item2 vales, allora item1 is uguale a item2. 
(<=>
      (instance ?REL SingleValuedRelation)
      (forall
            (@ROW ?ITEM1 ?ITEM2)
            (=>
                  (and
                        (holds ?REL @ROW ?ITEM1)
                        (holds ?REL @ROW ?ITEM2))
                  (equal ?ITEM1 ?ITEM2))))