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

FunzioneTernaria (TernaryFunction)

The Class of Functions that require exactly three arguments.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  FunzioneTernaria  

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
  RelazioneQuaternaria  
is subclass of
is subclass of
  FunzioneTernaria  

Coordinate term(s)

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

Axioms (1)

Se function é un' istanza di FunzioneTernaria, allora function %&ha argomento(s. 
(=>
      (instance ?FUNCTION TernaryFunction)
      (valence ?FUNCTION 3))