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

chaturangI prakaarya (QuaternaryFunction)

The Class of Functions that require exactly four arguments.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

varga
is instance of
  inheritable relation  
is instance of
  chaturangI prakaarya  

Superclass(es)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  sambandha  
is subclass of
  eka mUlyaadeya sambandha  
is subclass of
  prakaarya  
is subclass of
[tree]
astitva
is subclass of
  amUrta  
is subclass of
  sambandha  
is subclass of
  panchaangI sambandha  
is subclass of

is subclass of
  chaturangI prakaarya  

Instance(s)

velocity fn 

Coordinate term(s)

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

Axioms (1)

Agar function is an instance of chaturangI prakaarya, to function ke konaanke bahanen hai.
(=>
      (instance ?FUNCTION QuaternaryFunction)
      (valence ?FUNCTION 4))