Select language: english

ternary relation (TernaryRelation)

TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredicate and BinaryFunction.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class

inheritable relation

ternary relation

Superclass(es)

entity

abstract

relation

ternary relation

Subclass(es)

binary function ternary predicate

Coordinate term(s)

binary function binary predicate binary relation case role function intentional relation list object attitude partial valued relation 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 predicate total valued relation unary function variable arity relation

Axioms (3)

relation is disjointly decomposed into binary relation,ternary relation,quaternary relation,quintary relation,variable arity relation.

(disjoint decomposition relation binary relation ternary relation quaternary relation quintary relation variable arity relation)

If is an instance of ternary relation, then there don't exist ,,,, so that (,,,,) holds.

(=>
      (instance  ternary relation)
      (not
            (exists
                  (    )
                  (holds      ))))

if is an instance of relation extended to quantities and is an instance of ternary relation and is an instance of real number and is an instance of real number and (,,) holds,
then for all holds: if is an instance of unit of measure, then (" (s)"," (s)"," (s)") holds

(=>
      (and
            (instance  relation extended to quantities)
            (instance  ternary relation)
            (instance  real number)
            (instance  real number)
            (holds    ))
      (forall
            ()
            (=>
                  (instance  unit of measure)
                  (holds
                        
                        (measure fn  )
                        (measure fn  )
                        (measure fn  )))))