cardinality fn (CardinalityFn)
(CardinalityFn class) returns the
number of instances in the SetOrClass or Collection class.
SUMO / SET/CLASS-THEORY
absolute value fn
arc cosine fn
arc sine fn
arc tangent fn
begin node fn
cut set fn
end node fn
generalized intersection fn
generalized union fn
imaginary part fn
immediate future fn
immediate past fn
initial node fn
integer square root fn
list length fn
minimal cut set fn
path weight fn
power set fn
principal host fn
rational number fn
real number fn
square root fn
terminal node fn
equivalence relation on
expressed in language
in scope of interest
partial ordering on
total ordering on
anka CardinalityFn(samUha yaa varga)
Agar set is an instance of sImita samUha, to yah kuch aQNaatmaka pUrNaanka number nahin, ki number is equal to "the number of instances in set".
(instance ?SET FiniteSet)
(instance ?NUMBER NonnegativeInteger)
Agar year is an instance of varsha, to "the number of instances in "decomposition of year into ? mahInaas"" is equal to .
(instance ?YEAR Year)
(TemporalCompositionFn ?YEAR Month))
Agar month is an instance of mahInaa aur duration of month is "number day duration(s)", to "the number of instances in "decomposition of month into ? divasas"" is equal to number.
(instance ?MONTH Month)
(MeasureFn ?NUMBER DayDuration)))
(TemporalCompositionFn ?MONTH Day))
Agar week is an instance of saptaaha, to "the number of instances in "decomposition of week into ? divasas"" is equal to .
(instance ?WEEK Week)
(TemporalCompositionFn ?WEEK Day))
Agar day is an instance of divasa, to "the number of instances in "decomposition of day into ? ghantaas"" is equal to .
(instance ?DAY Day)
(TemporalCompositionFn ?DAY Hour))
Agar hour is an instance of ghantaa, to "the number of instances in "decomposition of hour into ? minatas"" is equal to .
(instance ?HOUR Hour)
(TemporalCompositionFn ?HOUR Minute))
Agar minute is an instance of minata, to "the number of instances in "decomposition of minute into ? sekandas"" is equal to .
(instance ?MINUTE Minute)
(TemporalCompositionFn ?MINUTE Second))
Agar count is an instance of ganana aur count agent kaa kaaran hai aur entity is a patient of count, to yah kuch number nahin, ki agent knows ""the number of instances in entity" is equal to number".
(instance ?COUNT Counting)
(agent ?COUNT ?AGENT)
(patient ?COUNT ?ENTITY))
"the number of instances in mahaadvIpa" is equal to .