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 |
|
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (and (greaterThanOrEqualTo ?NUMBER 0.0) (lessThanOrEqualTo ?NUMBER 360.0))) |
Merge.kif 7371-7375 |
|
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (lessThanOrEqualTo ?NUMBER 360.0)) |
Geography.kif 362-364 |
|
(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcMinute)) (lessThanOrEqualTo ?NUMBER 60.0)) |
Geography.kif 374-376 |
|
(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcSecond)) (lessThanOrEqualTo ?NUMBER 60.0)) |
Geography.kif 393-395 |
|
(=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (lessThanOrEqualTo ?PH 14.0)) |
Geography.kif 2553-2555 |
|
(=> (militaryExpendituresFractionOfGDP ?AREA ?FRACTION) (lessThanOrEqualTo ?FRACTION 1.0)) |
Military.kif 1014-1016 |
|
(=> (militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD) (lessThanOrEqualTo ?FRACTION 1.0)) |
Military.kif 1000-1002 |
|
(=> (populationFractionBelowPovertyLine ?AREA ?FRACTION) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 1180-1182 |
|
(=> (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 1166-1168 |
|
(=> (potentialOfHydrogen ?S ?N) (and (greaterThanOrEqualTo ?N 0.0) (lessThanOrEqualTo ?N 14.0))) |
Mid-level-ontology.kif 3303-3307 |
|
(=> (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 1082-1084 |
|
(=> (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 1067-1069 |
|
(=> (unemploymentRateOfArea ?AREA ?RATE) (lessThanOrEqualTo ?RATE 1.0)) |
Economy.kif 1452-1454 |
|
(=> (unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD) (lessThanOrEqualTo ?RATE 1.0)) |
Economy.kif 1441-1443 |
|