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

RelazioneQuinquenaria (QuintaryRelation)

QuintaryRelations relate five items. The two subclasses of QuintaryRelation are QuintaryPredicate and QuaternaryFunction.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  RelazioneQuinquenaria  

Superclass(es)

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

Subclass(es)

FunzioneQuaternaria  PredicatoQuinquenario 

Coordinate term(s)

FunzioneBinaria  PredicatoBinario  RelazioneBinaria  RuoloSemantico  Funzione  intentional relation  Lista  AtteggiamentoOggettuale  RelazioneAValoreParziale  Predicato  RelazioneDiProbabilitá  AtteggiamentoProposizionale  FunzioneQuaternaria  PredicatoQuaternario  RelazioneQuaternaria  PredicatoQuinquenario  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 RelazioneQuinquenaria, allora non esiste item1,item2,item3,item4,item5,item6, tale che rel(item1,item2,item3,item4,item5,item6, vales. 
(=>
      (instance ?REL QuintaryRelation)
      (not
            (exists
                  (?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW)
                  (holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW))))