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

RelazioneQuaternaria (QuaternaryRelation)

QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate and TernaryFunction.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  RelazioneQuaternaria  

Superclass(es)

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

Subclass(es)

FunzioneTernaria  PredicatoQuaternario 

Coordinate term(s)

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

Axioms (2)

Relazione é scomposto disgiuntivamente in RelazioneBinaria,RelazioneTernaria,RelazioneQuaternaria,RelazioneQuinquenaria,RelazioneAdAritáVariabile. 
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)
Se rel é un' istanza di RelazioneQuaternaria, allora non esiste item1,item2,item3,item4,item5, tale che rel(item1,item2,item3,item4,item5, vales. 
(=>
      (instance ?REL QuaternaryRelation)
      (not
            (exists
                  (?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW)
                  (holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 @ROW))))