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

quaternary function (QuaternaryFunction)

The Class of Functions that require exactly four arguments.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class
is instance of
  inheritable relation  
is instance of
  quaternary function  

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  single valued relation  
is subclass of
  function  
is subclass of
[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  quintary relation  
is subclass of
is subclass of
  quaternary function  

Instance(s)

velocity fn 

Coordinate term(s)

binary function  binary predicate  binary relation  case role  continuous function  function  function quantity  intentional relation  object attitude  predicate  probability relation  propositional attitude  quaternary predicate  quaternary relation  quintary predicate  quintary relation  relation extended to quantities  single valued relation  spatial relation  temporal relation  ternary function  ternary predicate  ternary relation  unary function 

Axioms (1)

If function is an instance of quaternary function, then function %&has argument(s). 
(=>
      (instance ?FUNCTION QuaternaryFunction)
      (valence ?FUNCTION 4))