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

FunzioneQuaternaria (QuaternaryFunction)

The Class of Functions that require exactly four arguments.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  FunzioneQuaternaria  

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  RelazioneMonovalente  
is subclass of
  Funzione  
is subclass of
[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  RelazioneQuinquenaria  
is subclass of
is subclass of
  FunzioneQuaternaria  

Instance(s)

velocity fn 

Coordinate term(s)

FunzioneBinaria  PredicatoBinario  RelazioneBinaria  RuoloSemantico  FunzioneContinua  Funzione  FunzioneDiQuantitá  intentional relation  AtteggiamentoOggettuale  Predicato  RelazioneDiProbabilitá  AtteggiamentoProposizionale  PredicatoQuaternario  RelazioneQuaternaria  PredicatoQuinquenario  RelazioneQuinquenaria  RelazioneEstesaAQuantitá  RelazioneMonovalente  RelazioneSpaziale  RelazioneTemporale  FunzioneTernaria  PredicatoTernario  RelazioneTernaria  FunzioneUnaria 

Axioms (1)

Se function é un' istanza di FunzioneQuaternaria, allora function %&ha argomento(s. 
(=>
      (instance ?FUNCTION QuaternaryFunction)
      (valence ?FUNCTION 4))