Select language: english
Concept:
English word:
Home

ternary predicate (TernaryPredicate)

The Class of Predicates that require exactly three arguments.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class
is instance of
  inheritable relation  
is instance of
  ternary predicate  

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  predicate  
is subclass of
[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  ternary relation  
is subclass of
is subclass of
  ternary predicate  

Instance(s)

domain  domain subclass  related external concept  conditional probability  prefers  capability  has purpose for agent  confers right  confers obligation  between  represents for agent  represents in language  links  distance  altitude  depth  temporally between  temporally between or equal  connects  orientation  occupies position 

Coordinate term(s)

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

Axioms (1)

If is an instance of ternary predicate, then %&has argument(s). 
(=>
      (instance  ternary predicate)
      (valence  ))