greaterThanOrEqualTo
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY))
(
confersObligation
(
forall
(?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) ?AGENT))
Government.kif 1211-1231
Wenn
CompulsorySuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
Nation
%n{nicht} und
Human
ist der
buerger
von
** Nation
,
dann
RegionalLawFn
** Nation
zwingt
** Human
, die Aufgabe der Art von fuer alle
entity
,
** entity
, and und
** entity
wenn
** Human
ist der
buerger
von
** Nation
und
suffrageAgeMinimum
** Nation
and
** entity
YearDuration
(s) und das
alter
von
** Human
ist
** ** entity
YearDuration
(s) %n{nicht} und
** ** entity
ist
groesserAlsOderGleich
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ElectionFn
** Nation
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
VotingFn
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** Human
%n{nicht}
durchzuf�hren %n{nicht}
(=>
(
and
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 980-988
Wenn
suffrageAgeMinimum
AutonomousAgent
and
RealNumber
YearDuration
(s) und
Election
ist ein
fall
von
ElectionFn
** AutonomousAgent
%n{nicht} und
Object
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun und das
alter
von
** Object
ist
** RealNumber
YearDuration
(s) %n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
and
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 968-978
Wenn
suffrageAgeMinimum
AutonomousAgent
and
RealNumber
YearDuration
(s) und
Election
ist ein
fall
von
ElectionFn
** AutonomousAgent
%n{nicht} und
Object
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun,
dann es gibt
** RealNumber
um das
alter
von
** Object
ist
** ** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?TOTAL ?UNIT))
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?PAVED ?UNIT)))
(
greaterThanOrEqualTo
?TOTAL ?PAVED))
Transportation.kif 519-525
Wenn
totalLengthOfHighwaySystem
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
lengthOfPavedHighway
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s),
dann
** RealNumber
ist
groesserAlsOderGleich
** ** RealNumber
%n{nicht}
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?TOTAL ?UNIT))
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?UNPAVED ?UNIT)))
(
greaterThanOrEqualTo
?TOTAL ?UNPAVED))
Transportation.kif 527-533
Wenn
totalLengthOfHighwaySystem
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
lengthOfUnpavedHighway
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s),
dann
** RealNumber
ist
groesserAlsOderGleich
** ** RealNumber
%n{nicht}
(=>
(
and
(
underageUser
?HUMAN ?SITE)
(
age
?HUMAN
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE 18))
UXExperimentalTerms.kif 1078-1082
Wenn
underageUser
Human
and
WebSite
und das
alter
von
** Human
ist
RealNumber
YearDuration
(s) %n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
18 %n{nicht}
(=>
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
exists
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
CelsiusDegree
))
(
greaterThanOrEqualTo
?AMOUNT -3.0)
(
lessThanOrEqualTo
?AMOUNT 18.0)
(
not
(
exists
(?M2 ?MT2)
(
and
(
instance
?M2
Month
)
(
averageTemperatureForPeriod
?AREA ?M2
(
MeasureFn
?MT2
CelsiusDegree
))
(
lessThan
?MT2 ?AMOUNT)))))))
Geography.kif 1428-1443
Wenn
climateTypeInArea
GeographicArea
and
TemperateClimateZone
,
dann es gibt
TimeInterval
und
RealNumber
um
** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
** RealNumber
CelsiusDegree
(s) und
** RealNumber
ist
groesserAlsOderGleich
-3.0 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
18.0 %n{nicht} und es gibt nicht
** TimeInterval
und
** RealNumber
um
** ** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** ** TimeInterval
and
** ** RealNumber
CelsiusDegree
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
climateTypeInArea
?AREA
WetTropicalClimateZone
)
(
forall
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))))
Geography.kif 1325-1332
Wenn
climateTypeInArea
GeographicArea
and
WetTropicalClimateZone
,
dann fuer alle
Month
und
RealNumber
** Month
ist ein
fall
von
Month
%n{nicht} und
averageRainfallForPeriod
** GeographicArea
,
** Month
and
** RealNumber
ein
tausendstes
einer
Meter
(s) und
** RealNumber
ist
groesserAlsOderGleich
60.0 %n{nicht}
(=>
(
equal
(
MeasureFn
1
MonthDuration
)
(
MeasureFn
?NUMBER
DayDuration
))
(
greaterThanOrEqualTo
?NUMBER 28))
Merge.kif 7122-7126
Wenn 1
MonthDuration
(s) ist gleich
RealNumber
DayDuration
(s) %n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
28 %n{nicht}
(=>
(
equipmentType
?O ?T)
(
exists
(?C ?D)
(
and
(
instance
?D ?T)
(
greaterThanOrEqualTo
?C 1)
(
equipmentCount
?O ?T ?C))))
Mid-level-ontology.kif 24342-24348
Wenn
equipmentType
Artifact
and
** Device
,
dann es gibt
RealNumber
und
Entity
um
** Entity
ist ein
fall
von
** Device
%n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
1 %n{nicht} und
equipmentCount
** Artifact
,
** ** Device
and
** RealNumber
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
HazardousAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
greaterThanOrEqualTo
?I 301))
Weather.kif 3174-3179
Wenn
HazardousAQIAirQuality
ist ein
attribut
von
entity
%n{nicht} und
airQualityIndex
** entity
and
RealNumber
haelt
waehrend
TimePosition
%n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
301 %n{nicht}
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
ModerateAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 100)
(
greaterThanOrEqualTo
?I 51)))
Weather.kif 3118-3125
Wenn
ModerateAQIAirQuality
ist ein
attribut
von
entity
%n{nicht} und
airQualityIndex
** entity
and
RealNumber
haelt
waehrend
TimePosition
%n{nicht},
dann
** RealNumber
ist
kleinerAlsOderGleich
100 %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
51 %n{nicht}
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 200)
(
greaterThanOrEqualTo
?I 151)))
Weather.kif 3146-3153
Wenn
UnhealthyAQIAirQuality
ist ein
attribut
von
entity
%n{nicht} und
airQualityIndex
** entity
and
RealNumber
haelt
waehrend
TimePosition
%n{nicht},
dann
** RealNumber
ist
kleinerAlsOderGleich
200 %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
151 %n{nicht}
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 300)
(
greaterThanOrEqualTo
?I 201)))
Weather.kif 3160-3167
Wenn
UnhealthyAQIAirQuality
ist ein
attribut
von
entity
%n{nicht} und
airQualityIndex
** entity
and
RealNumber
haelt
waehrend
TimePosition
%n{nicht},
dann
** RealNumber
ist
kleinerAlsOderGleich
300 %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
201 %n{nicht}
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
UnhealthyForSensitiveAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
and
(
lessThanOrEqualTo
?I 150)
(
greaterThanOrEqualTo
?I 101)))
Weather.kif 3132-3139
Wenn
UnhealthyForSensitiveAQIAirQuality
ist ein
attribut
von
entity
%n{nicht} und
airQualityIndex
** entity
and
RealNumber
haelt
waehrend
TimePosition
%n{nicht},
dann
** RealNumber
ist
kleinerAlsOderGleich
150 %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
101 %n{nicht}
(=>
(
holdsDuring
?TIME
(
and
(
instance
?ADULT
HumanAdult
)
(
age
?ADULT
(
MeasureFn
?NUMBER
YearDuration
))))
(
greaterThanOrEqualTo
?NUMBER 18))
Mid-level-ontology.kif 193-199
Wenn
entity
ist ein
fall
von
HumanAdult
%n{nicht} und das
alter
von
** entity
ist
RealNumber
YearDuration
(s) %n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
18 %n{nicht}
(=>
(
instance
?BACTERIUM
Bacterium
)
(
exists
(?NUMBER)
(
and
(
width
?BACTERIUM
(
MeasureFn
?NUMBER
Meter
))
(
greaterThanOrEqualTo
?NUMBER 0.000001)
(
lessThanOrEqualTo
?NUMBER 0.000002))))
WMD.kif 205-211
Wenn
Physical
ist ein
fall
von
Bacterium
%n{nicht},
dann es gibt
RealNumber
um die
breite
von
** Physical
ist
** RealNumber
Meter
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
0.000001 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
0.000002 %n{nicht}
(=>
(
instance
?H
Hurricane
)
(
exists
(?TC ?PLACE ?WIND)
(
and
(
instance
?TC
TropicalCyclone
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?TC ?PLACE)
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?PLACE
(
WhenFn
?TC)))
(
greaterThanOrEqualTo
?WIND 74.0))))
Weather.kif 736-747
Wenn
Entity
ist ein
fall
von
Hurricane
%n{nicht},
dann es gibt
Process
,
GeographicArea
, and und
RealNumber
um
** Process
ist ein
fall
von
TropicalCyclone
%n{nicht} und
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
eventLocated
** Process
and
** GeographicArea
und
** RealNumber
MilesPerHour
(s) ist gleich
Mean1MinuteWindSpeedFn
** GeographicArea
and die
zeit
des Bestehens von
** Process
%n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
74.0 %n{nicht}
(=>
(
instance
?HS
HeavySurf
)
(
exists
(?SZ ?SWH)
(
and
(
instance
?SZ
SurfZone
)
(
eventLocated
?HS ?SZ)
(
significantWaveHeight
?SZ
(
WhenFn
?HS)
(
MeasureFn
?SWH
FootLength
))
(
greaterThanOrEqualTo
?SWH 13.0))))
Weather.kif 1553-1562
Wenn
Process
ist ein
fall
von
HeavySurf
%n{nicht},
dann es gibt
WaterArea
und
RealNumber
um
** WaterArea
ist ein
fall
von
SurfZone
%n{nicht} und
eventLocated
** Process
and
** WaterArea
und
significantWaveHeight
** WaterArea
, die
zeit
des Bestehens von
** Process
and
** RealNumber
FootLength
(s) und
** RealNumber
ist
groesserAlsOderGleich
13.0 %n{nicht}
(=>
(
instance
?T
Typhoon
)
(
exists
(?TC ?PLACE ?WIND)
(
and
(
instance
?TC
TropicalCyclone
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?TC ?PLACE)
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean10MinutesWindSpeedFn
?PLACE
(
WhenFn
?TC)))
(
greaterThanOrEqualTo
?WIND 64.0))))
Weather.kif 770-781
Wenn
Entity
ist ein
fall
von
Typhoon
%n{nicht},
dann es gibt
** Entity
C,
GeographicArea
, and und
RealNumber
um
** Entity
C ist ein
fall
von
TropicalCyclone
%n{nicht} und
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
eventLocated
** Entity
C and
** GeographicArea
und
** RealNumber
MilesPerHour
(s) ist gleich
Mean10MinutesWindSpeedFn
** GeographicArea
and die
zeit
des Bestehens von
** Entity
C %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
64.0 %n{nicht}
(=>
(
instance
?TC
TropicalCyclone
)
(
exists
(?PLACE ?WIND)
(
and
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?TC ?PLACE)
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?PLACE
(
WhenFn
?TC)))
(
greaterThanOrEqualTo
?WIND 44.0))))
Weather.kif 677-687
Wenn
Process
ist ein
fall
von
TropicalCyclone
%n{nicht},
dann es gibt
GeographicArea
und
RealNumber
um
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
eventLocated
** Process
and
** GeographicArea
und
** RealNumber
MilesPerHour
(s) ist gleich
Mean1MinuteWindSpeedFn
** GeographicArea
and die
zeit
des Bestehens von
** Process
%n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
44.0 %n{nicht}
(=>
(
instance
?TS
TropicalStorm
)
(
exists
(?PLACE ?WIND)
(
and
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?TS ?PLACE)
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?PLACE
(
WhenFn
?TS)))
(
greaterThanOrEqualTo
?WIND 39.0)
(
lessThanOrEqualTo
?WIND 74.0))))
Weather.kif 712-723
Wenn
Process
ist ein
fall
von
TropicalStorm
%n{nicht},
dann es gibt
GeographicArea
und
RealNumber
um
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
eventLocated
** Process
and
** GeographicArea
und
** RealNumber
MilesPerHour
(s) ist gleich
Mean1MinuteWindSpeedFn
** GeographicArea
and die
zeit
des Bestehens von
** Process
%n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
39.0 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
74.0 %n{nicht}
(=>
(
instance
?X
HighRise
)
(
exists
(?LEVELS ?NUM)
(
and
(
instance
?LEVELS
Collection
)
(
forall
(?FLR)
(=>
(
and
(
instance
?FLR
BuildingLevel
)
(
part
?FLR ?X))
(
member
?FLR ?LEVELS)))
(
memberCount
?LEVELS ?NUM)
(
greaterThanOrEqualTo
?NUM 10))))
Mid-level-ontology.kif 26496-26508
Wenn
Object
ist ein
fall
von
HighRise
%n{nicht},
dann es gibt
Collection
und
Integer
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
** Object
wenn
** ** Object
ist ein
fall
von
BuildingLevel
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** ** Object
ist ein
Mitglied
von
** Collection
%n{nicht}
und
memberCount
** Collection
and
** Integer
und
** Integer
ist
groesserAlsOderGleich
10 %n{nicht}
(=>
(
instance
?X
RadiatingXRay
)
(
exists
(?M)
(
and
(
wavelength
?X
(
MeasureFn
?M
Nanometer
))
(
greaterThanOrEqualTo
?M 0.01)
(
lessThan
10.0 ?M))))
Mid-level-ontology.kif 610-617
Wenn
Radiating
ist ein
fall
von
RadiatingXRay
%n{nicht},
dann es gibt
RealNumber
um
wavelength
** Radiating
and
** RealNumber
Nanometer
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.01 %n{nicht} und 10.0 ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
maximumReplications
?Application ?MaxCopies)
(
greaterThanOrEqualTo
?MaxCopies
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application)))))
QoSontology.kif 750-755
Wenn
maximumReplications
ComputerProgram
and
PositiveInteger
,
dann
** PositiveInteger
ist
groesserAlsOderGleich
die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt %n{nicht}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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