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

quintary relation (QuintaryRelation)

QuintaryRelations relate five items. The two subclasses of QuintaryRelation are QuintaryPredicate and QuaternaryFunction.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

class
is instance of
  inheritable relation  
is instance of
  quintary relation  

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  quintary relation  

Subclass(es)

quaternary function  quintary 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  relation extended to quantities  single valued relation  spatial relation  temporal relation  ternary function  ternary predicate  ternary relation  total valued relation  unary function  variable arity relation 

Axioms (2)

relation is disjointly decomposed into binary relation,ternary relation,quaternary relation,quintary relation,variable arity relation. 
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)
If rel is an instance of quintary relation, then there don't exist item1,item2,item3,item4,item5,item6, so that rel(item1,item2,item3,item4,item5,item6,) holds. 
(=>
      (instance ?REL QuintaryRelation)
      (not
            (exists
                  (?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW)
                  (holds ?REL ?ITEM1 ?ITEM2 ?ITEM3 ?ITEM4 ?ITEM5 ?ITEM6 @ROW))))