ekaadhaary prakaarya (UnaryFunction)

The Class of Functions that require a single argument.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

varga

inheritable relation

ekaadhaary prakaarya

Superclass(es)

astitva

amUrta

sambandha

eka mUlyaadeya sambandha

prakaarya

astitva

amUrta

sambandha

dvi-aadhaarI sambandha
is subclass of

ekaadhaary prakaarya

Instance(s)

power set fn front fn back fn abstraction fn extension fn probability fn list length fn property fn absolute value fn arc cosine fn arc sine fn arc tangent fn ceiling fn cosine fn denominator fn floor fn imaginary part fn integer square root fn numerator fn rational number fn real number fn reciprocal fn round fn signum fn sine fn square root fn tangent fn successor fn predecessor fn complement fn generalized union fn generalized intersection fn cardinality fn initial node fn terminal node fn begin node fn end node fn path weight fn cut set fn minimal cut set fn kilo fn mega fn giga fn tera fn milli fn micro fn nano fn pico fn magnitude fn wealth fn begin fn end fn when fn past fn immediate past fn future fn immediate future fn year fn principal host fn skin fn organization fn

Subclass(es)

ekaadhaarita sthira prakaarya parimaaNa pQthak-pQthak prakaarya

Coordinate term(s)

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

Axioms (2)

Agar function is an instance of ekaadhaary prakaarya, to function ke konaanke bahanen hai.

(=>
      (instance ?FUNCTION UnaryFunction)
      (valence ?FUNCTION 1))

agar function is closed on class aur function is an instance of ekaadhaary prakaarya,
to sab-kuch inst ke lie hai, ki: agar inst is an instance of class, to "function(inst)" is an instance of class

(=>
      (and
            (closedOn ?FUNCTION ?CLASS)
            (instance ?FUNCTION UnaryFunction))
      (forall
            (?INST)
            (=>
                  (instance ?INST ?CLASS)
                  (instance
                        (AssignmentFn ?FUNCTION ?INST)
                        ?CLASS))))