lessThanOrEqualTo
(=>
(
maxCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
lessThanOrEqualTo
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2198-2207
maxCardinality
relation
,
nombre entier
and
nombre entier
cha�ne sympbolique
@ARGS le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est plus
petit
ou �gal �
nombre entier
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
and
(
greaterThanOrEqualTo
?NUMBER 0.0)
(
lessThanOrEqualTo
?NUMBER 360.0)))
Merge.kif 7371-7375
La
mesure
de
physique
est
nombre r�el
AngularDegree
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
nombre r�el
est plus
petit
ou �gal � 360.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
lessThanOrEqualTo
?NUMBER 360.0))
Geography.kif 362-364
La
mesure
de
physique
est
nombre r�el
AngularDegree
(s)
nombre r�el
est plus
petit
ou �gal � 360.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcMinute
))
(
lessThanOrEqualTo
?NUMBER 60.0))
Geography.kif 374-376
La
mesure
de
physique
est
nombre r�el
ArcMinute
(s)
nombre r�el
est plus
petit
ou �gal � 60.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcSecond
))
(
lessThanOrEqualTo
?NUMBER 60.0))
Geography.kif 393-395
La
mesure
de
physique
est
nombre r�el
ArcSecond
(s)
nombre r�el
est plus
petit
ou �gal � 60.0
(=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
lessThanOrEqualTo
?PH 14.0))
Geography.kif 2553-2555
La
mesure
de
physique
est
nombre r�el
PHValue
(s)
nombre r�el
est plus
petit
ou �gal � 14.0
(=>
(
militaryExpendituresFractionOfGDP
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Military.kif 1014-1016
militaryExpendituresFractionOfGDP
secteur g�opolitique
and
nombre r�el
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
militaryExpendituresFractionOfGDPInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Military.kif 1000-1002
militaryExpendituresFractionOfGDPInPeriod
secteur g�opolitique
,
nombre r�el
and
interval temporel
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
populationFractionBelowPovertyLine
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1180-1182
populationFractionBelowPovertyLine
secteur g�opolitique
and
nombre r�el
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
populationFractionBelowPovertyLineInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1166-1168
populationFractionBelowPovertyLineInPeriod
secteur g�opolitique
,
nombre r�el
and
interval temporel
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
potentialOfHydrogen
?S ?N)
(
and
(
greaterThanOrEqualTo
?N 0.0)
(
lessThanOrEqualTo
?N 14.0)))
Mid-level-ontology.kif 3303-3307
potentialOfHydrogen
solution
and
nombre r�el
nombre r�el
est
plus
grand
ou �gal � 0.0
nombre r�el
est plus
petit
ou �gal � 14.0
(=>
(
sectorCompositionOfGDP
?AREA ?SECTOR ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1082-1084
sectorCompositionOfGDP
secteur g�opolitique
,
IndustryAttribute
and
nombre r�el
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
sectorCompositionOfGDPInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1067-1069
sectorCompositionOfGDPInPeriod
secteur g�opolitique
,
IndustryAttribute
,
nombre r�el
and
interval temporel
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
unemploymentRateOfArea
?AREA ?RATE)
(
lessThanOrEqualTo
?RATE 1.0))
Economy.kif 1452-1454
unemploymentRateOfArea
secteur g�opolitique
and
nombre r�el
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
unemploymentRateOfAreaInPeriod
?AREA ?RATE ?PERIOD)
(
lessThanOrEqualTo
?RATE 1.0))
Economy.kif 1441-1443
unemploymentRateOfAreaInPeriod
secteur g�opolitique
,
nombre r�el
and
interval temporel
nombre r�el
est plus
petit
ou �gal � 1.0
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners