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

panchaangI sambandha (QuintaryRelation)

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

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

varga
is instance of
  inheritable relation  
is instance of
  panchaangI sambandha  

Superclass(es)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  sambandha  
is subclass of
  panchaangI sambandha  

Subclass(es)

chaturangI prakaarya  pancha lakshana 

Coordinate term(s)

dvi-aadhaary prakaarya  dvi-lakshana  dvi-aadhaarI sambandha  vibhakti bhUmikaa  prakaarya  intentional relation  sUchI  vastu abhivQtti  aanshika mUyaadeya sambandha  vidheya  sambhaavanaa sambandha  prastaavaatmak abhivQtti  chaturangI prakaarya  caturangii pakshana  chaturangI sambandha  pancha lakshana  matraaon kaa sanbandha vistaara  eka mUlyaadeya sambandha  sthaana sambandha  saamayika sambandha  tri-angI prakaarya  triangii lakshana  tri-angI sambandha  pUrNa mUlyaadeya sambandha  ekaadhaary prakaarya  parivartaniiya sanbandha 

Axioms (2)

sambandha is disjointly decomposed into dvi-aadhaarI sambandha,tri-angI sambandha,chaturangI sambandha,panchaangI sambandha,parivartaniiya sanbandha. 
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)
Agar rel is an instance of panchaangI sambandha, to yah kuch item1,item2,item3,item4,item5,item6, nahin, ki 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))))