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

kappa fn (KappaFn)

A class-forming operator that takes two arguments: a variable and a formula containing at least one unbound occurrence of the variable. The result of applying KappaFn to a variable and a formula is the SetOrClass of things that satisfy the formula. For example, we can denote the SetOrClass of prime numbers that are less than 100 with the following expression: (KappaFn number (and (instance number PrimeNumber) (lessThan number 100))). Note that the use of this function is discouraged, since there is currently no axiomatic support for it.

Ontology

SUMO / SET/CLASS-THEORY

Class(es)

varga
is instance of
  inheritable relation  
is instance of
  dvi-aadhaary prakaarya  
is instance of
  kappa fn  

Coordinate term(s)

addition fn  day fn  density fn  division fn  edition fn  exponentiation fn  graph path fn  hour fn  intersection fn  interval fn  list concatenate fn  list order fn  log fn  max fn  maximal weighted path fn  measure fn  mereological difference fn  mereological product fn  mereological sum fn  min fn  minimal weighted path fn  minute fn  month fn  multiplication fn  periodical issue fn  recurrent time interval fn  relative complement fn  relative time fn  remainder fn  second fn  series volume fn  speed fn  subtraction fn  temporal composition fn  time interval fn  union fn  where fn 

Type restrictions

samUha yaa varga KappaFn(saanketika taara, sUtra)