greaterThanOrEqualTo |
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (and (greaterThanOrEqualTo ?NUMBER 0.0) (lessThanOrEqualTo ?NUMBER 360.0))) |
Merge.kif 7371-7375 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (greaterThanOrEqualTo ?NUMBER 0.0)) |
Geography.kif 358-360 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcMinute)) (greaterThanOrEqualTo ?NUMBER 0.0)) |
Geography.kif 370-372 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcSecond)) (greaterThanOrEqualTo ?NUMBER 0.0)) |
Geography.kif 389-391 | |
(=> (measure ?SOLUTION (MeasureFn ?PH PHValue)) (greaterThanOrEqualTo ?PH 0.0)) |
Geography.kif 2557-2559 | |
(=> (minCardinality ?REL ?ARG ?COUNT) (exists (?EL @ARGS) (greaterThanOrEqualTo (CardinalityFn (KappaFn ?EL (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))))) ?COUNT))) |
Media.kif 2161-2170 | |
(=> (minimumReplications ?Application ?MinCopies) (greaterThanOrEqualTo (CardinalityFn (KappaFn ?Copy (programRunning ?Copy ?Application))) ?MinCopies)) |
QoSontology.kif 733-738 | |
(=> (potentialOfHydrogen ?S ?N) (and (greaterThanOrEqualTo ?N 0.0) (lessThanOrEqualTo ?N 14.0))) |
Mid-level-ontology.kif 3303-3307 | |
(=> (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (confersObligation (forall (?AGENT ?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?POLITY)) |
Government.kif 1191-1209 | |
(=> (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY)) (forall (?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT)))) |
Government.kif 1106-1118 | |
(=> (userFeedbackScore ?ACCOUNT ?SCORE) (greaterThanOrEqualTo 100 ?SCORE)) |
UXExperimentalTerms.kif 713-715 | |
(=> (userFeedbackScore ?ACCOUNT ?SCORE) (greaterThanOrEqualTo ?SCORE 0)) |
UXExperimentalTerms.kif 717-719 |