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
Relacao
,
Numero Inteiro
and
Numero Inteiro
Sequencia Simbolica
@ARGS o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
menor
ou igual a
Numero Inteiro
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
and
(
greaterThanOrEqualTo
?NUMBER 0.0)
(
lessThanOrEqualTo
?NUMBER 360.0)))
Merge.kif 7371-7375
A
medida
de
Fisico
e'
Numero Real
AngularDegree
(s)
Numero Real
e'
maior
ou igual a 0.0
Numero Real
e'
menor
ou igual a 360.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
lessThanOrEqualTo
?NUMBER 360.0))
Geography.kif 362-364
A
medida
de
Fisico
e'
Numero Real
AngularDegree
(s)
Numero Real
e'
menor
ou igual a 360.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcMinute
))
(
lessThanOrEqualTo
?NUMBER 60.0))
Geography.kif 374-376
A
medida
de
Fisico
e'
Numero Real
ArcMinute
(s)
Numero Real
e'
menor
ou igual a 60.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcSecond
))
(
lessThanOrEqualTo
?NUMBER 60.0))
Geography.kif 393-395
A
medida
de
Fisico
e'
Numero Real
ArcSecond
(s)
Numero Real
e'
menor
ou igual a 60.0
(=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
lessThanOrEqualTo
?PH 14.0))
Geography.kif 2553-2555
A
medida
de
Fisico
e'
Numero Real
PHValue
(s)
Numero Real
e'
menor
ou igual a 14.0
(=>
(
militaryExpendituresFractionOfGDP
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Military.kif 1014-1016
militaryExpendituresFractionOfGDP
Area Geopolitica
and
Numero Real
Numero Real
e'
menor
ou igual a 1.0
(=>
(
militaryExpendituresFractionOfGDPInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Military.kif 1000-1002
militaryExpendituresFractionOfGDPInPeriod
Area Geopolitica
,
Numero Real
and
Intervalo Temporal
Numero Real
e'
menor
ou igual a 1.0
(=>
(
populationFractionBelowPovertyLine
?AREA ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1180-1182
populationFractionBelowPovertyLine
Area Geopolitica
and
Numero Real
Numero Real
e'
menor
ou igual a 1.0
(=>
(
populationFractionBelowPovertyLineInPeriod
?AREA ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1166-1168
populationFractionBelowPovertyLineInPeriod
Area Geopolitica
,
Numero Real
and
Intervalo Temporal
Numero Real
e'
menor
ou igual a 1.0
(=>
(
potentialOfHydrogen
?S ?N)
(
and
(
greaterThanOrEqualTo
?N 0.0)
(
lessThanOrEqualTo
?N 14.0)))
Mid-level-ontology.kif 3303-3307
potentialOfHydrogen
Solucao
and
Numero Real
Numero Real
e'
maior
ou igual a 0.0
Numero Real
e'
menor
ou igual a 14.0
(=>
(
sectorCompositionOfGDP
?AREA ?SECTOR ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1082-1084
sectorCompositionOfGDP
Area Geopolitica
,
IndustryAttribute
and
Numero Real
Numero Real
e'
menor
ou igual a 1.0
(=>
(
sectorCompositionOfGDPInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 1067-1069
sectorCompositionOfGDPInPeriod
Area Geopolitica
,
IndustryAttribute
,
Numero Real
and
Intervalo Temporal
Numero Real
e'
menor
ou igual a 1.0
(=>
(
unemploymentRateOfArea
?AREA ?RATE)
(
lessThanOrEqualTo
?RATE 1.0))
Economy.kif 1452-1454
unemploymentRateOfArea
Area Geopolitica
and
Numero Real
Numero Real
e'
menor
ou igual a 1.0
(=>
(
unemploymentRateOfAreaInPeriod
?AREA ?RATE ?PERIOD)
(
lessThanOrEqualTo
?RATE 1.0))
Economy.kif 1441-1443
unemploymentRateOfAreaInPeriod
Area Geopolitica
,
Numero Real
and
Intervalo Temporal
Numero Real
e'
menor
ou igual a 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