greaterThanOrEqualTo
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
and
(
greaterThanOrEqualTo
?NUMBER 0.0)
(
lessThanOrEqualTo
?NUMBER 360.0)))
Merge.kif 7371-7375
Wenn das
mass
von
Physical
ist
RealNumber
AngularDegree
(s) %n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
360.0 %n{nicht}
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
AngularDegree
))
(
greaterThanOrEqualTo
?NUMBER 0.0))
Geography.kif 358-360
Wenn das
mass
von
Physical
ist
RealNumber
AngularDegree
(s) %n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht}
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcMinute
))
(
greaterThanOrEqualTo
?NUMBER 0.0))
Geography.kif 370-372
Wenn das
mass
von
Physical
ist
RealNumber
ArcMinute
(s) %n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht}
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcSecond
))
(
greaterThanOrEqualTo
?NUMBER 0.0))
Geography.kif 389-391
Wenn das
mass
von
Physical
ist
RealNumber
ArcSecond
(s) %n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht}
(=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
greaterThanOrEqualTo
?PH 0.0))
Geography.kif 2557-2559
Wenn das
mass
von
Physical
ist
RealNumber
PHValue
(s) %n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht}
(=>
(
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
Wenn
minCardinality
Relation
,
Integer
and
** Integer
,
dann es gibt
SymbolicString
und @ARGS um die Zahl
Faellen
in die
kategorie
die
** SymbolicString
beschreibt ist
groesserAlsOderGleich
** ** Integer
%n{nicht}
(=>
(
minimumReplications
?Application ?MinCopies)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738
Wenn
minimumReplications
ComputerProgram
and
PositiveInteger
,
dann die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt ist
groesserAlsOderGleich
** PositiveInteger
%n{nicht}
(=>
(
potentialOfHydrogen
?S ?N)
(
and
(
greaterThanOrEqualTo
?N 0.0)
(
lessThanOrEqualTo
?N 14.0)))
Mid-level-ontology.kif 3303-3307
Wenn
potentialOfHydrogen
Solution
and
RealNumber
,
dann
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
14.0 %n{nicht}
(=>
(
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
Wenn
CompulsorySuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
GeopoliticalArea
%n{nicht},
dann
RegionalLawFn
** GeopoliticalArea
zwingt
** GeopoliticalArea
, die Aufgabe der Art von fuer alle
entity
,
** entity
,, ,
** entity
, and und
** entity
wenn
** entity
ist der
buerger
von
** GeopoliticalArea
und
suffrageAgeMinimum
** GeopoliticalArea
and
** ** entity
YearDuration
(s) und das
alter
von
** entity
ist
** ** entity
YearDuration
(s) %n{nicht} und
** ** entity
ist
groesserAlsOderGleich
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ElectionFn
** GeopoliticalArea
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
VotingFn
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** entity
%n{nicht}
durchzuf�hren %n{nicht}
(=>
(
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
Wenn
UniversalSuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
Nation
%n{nicht},
dann fuer alle
Human
,
Election
,, ,
RealNumber
, and und
** RealNumber
wenn
** Human
ist der
buerger
von
** Nation
und
suffrageAgeMinimum
** Nation
and
** RealNumber
YearDuration
(s) und das
alter
von
** Human
ist
** ** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** Election
ist ein
fall
von
ElectionFn
** Nation
%n{nicht},
dann
** Human
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun
(=>
(
userFeedbackScore
?ACCOUNT ?SCORE)
(
greaterThanOrEqualTo
100 ?SCORE))
UXExperimentalTerms.kif 713-715
Wenn
userFeedbackScore
UserAccount
and
RealNumber
,
dann 100 ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
userFeedbackScore
?ACCOUNT ?SCORE)
(
greaterThanOrEqualTo
?SCORE 0))
UXExperimentalTerms.kif 717-719
Wenn
userFeedbackScore
UserAccount
and
RealNumber
,
dann
** RealNumber
ist
groesserAlsOderGleich
0 %n{nicht}
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