lessThanOrEqualTo
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
Wenn
Railway
ist ein
fall
von
Railway
%n{nicht} und
** Railway
hat ein
attribut
StandardGauge
%n{nicht} und
trackWidth
** Railway
and
RealNumber
Meter
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
1.44 %n{nicht}
(=>
(
and
(
instance
?SW
BrackishWater
)
(
measure
?SW
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?SW)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 0.5)
(
lessThanOrEqualTo
?R 30.0)))
Geography.kif 2855-2866
Wenn
Object
ist ein
fall
von
BrackishWater
%n{nicht} und das
mass
von
** Object
ist 1.0
Liter
(s) %n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
SodiumChloride
%n{nicht} und das
mass
von
** ** Object
ist
RealNumber
Gram
(s) %n{nicht},
dann
** RealNumber
ist
groesserAls
0.5 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
30.0 %n{nicht}
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2096-2114
Wenn
Process
ist ein
fall
von
Tornado
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
EFScaleAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
MilesPerHour
(s) and
** RealNumber
MilesPerHour
(s),
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** ** RealNumber
MilesPerHour
(s) ist gleich
ThreeSecondGustSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 349-366
Wenn
Process
ist ein
fall
von
Wind
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
BeaufortNumberAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
surfaceWindSpeed
** Object
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
instance
?ZONE
ExclusiveFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1141-1146
Wenn
Physical
ist ein
fall
von
ExclusiveFishingZone
%n{nicht} und
linearExtent
** Physical
and
RealNumber
NauticalMile
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
200.0 %n{nicht}
(=>
(
and
(
instance
?ZONE
ExtendedFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1173-1178
Wenn
Physical
ist ein
fall
von
ExtendedFishingZone
%n{nicht} und
linearExtent
** Physical
and
RealNumber
NauticalMile
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
200.0 %n{nicht}
(=>
(
and
(
instance
?ZONE
MaritimeExclusiveEconomicZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1109-1114
Wenn
Physical
ist ein
fall
von
MaritimeExclusiveEconomicZone
%n{nicht} und
linearExtent
** Physical
and
RealNumber
NauticalMile
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
200.0 %n{nicht}
(=>
(
and
(
instance
?ZONE
MaritimeShelfArea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1068-1073
Wenn
Physical
ist ein
fall
von
MaritimeShelfArea
%n{nicht} und
linearExtent
** Physical
and
RealNumber
NauticalMile
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
200.0 %n{nicht}
(=>
(
and
(
instance
?ZONE
TerritorialSea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 12.0))
Geography.kif 1214-1219
Wenn
Physical
ist ein
fall
von
TerritorialSea
%n{nicht} und
linearExtent
** Physical
and
RealNumber
NauticalMile
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
12.0 %n{nicht}
(=>
(
and
(
lengthOfCrudeOilPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
Wenn
lengthOfCrudeOilPipeline
GeographicArea
and
RealNumber
Meter
(s) und
totalPipelineInArea
** GeographicArea
and
** RealNumber
Meter
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht}
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
Wenn
lengthOfNaturalGasPipeline
GeographicArea
and
RealNumber
Meter
(s) und
totalPipelineInArea
** GeographicArea
and
** RealNumber
Meter
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht}
(=>
(
and
(
lengthOfPetroleumProductPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
Wenn
lengthOfPetroleumProductPipeline
GeographicArea
and
RealNumber
Meter
(s) und
totalPipelineInArea
** GeographicArea
and
** RealNumber
Meter
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht}
(=>
(
and
(
maxCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
lessThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2210-2223
Wenn
maxCardinality
Relation
,
PositiveInteger
and
Integer
und
** Relation
ist ein
fall
von
Predicate
%n{nicht},
dann es gibt
Class
,
Entity
, and und @ARGS um
** Class
ist ein
fall
von
SetOrClass
%n{nicht} und
wenn
** Relation
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann
** Entity
ist ein
fall
von
** Class
%n{nicht} und die Zahl
Faellen
in
** Class
ist
kleinerAlsOderGleich
** Integer
%n{nicht}
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
Wenn
maxRoomCapacity
** StationaryArtifact
and
Integer
und
Entity
ist ein
fall
von
** StationaryArtifact
%n{nicht} und
** Entity
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht},
dann die Aussage es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberCount
** ** entity
and
** ** entity
und
** ** entity
ist
kleinerAlsOderGleich
** Integer
%n{nicht} und
stays
** ** entity
and
** Entity
hat die modale Kraft von
Possibility
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
Wenn
rentalPrice
** Physical
,
FunctionQuantity
,
CognitiveAgent
and
PricingScheme
und
** FunctionQuantity
ist gleich
PerFn
CurrencyMeasure
and das
mass
von
RealNumber
ist
UnitOfMeasure
%n{nicht} %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfDuration
%n{nicht} und
Entity
ist ein
direkter
fall von
** Physical
und
Process
ist ein
fall
von
Renting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
besteht
waehrend
** RealNumber
INT %n{nicht},
dann fuer alle
** TimeInterval
wenn es gibt
** RealNumber
um
** RealNumber
INT geschieht
waehrend
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
dauer
von
** ** TimeInterval
ist
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
endet an
** CognitiveAgent
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** AutonomousAgent
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
(=>
(
and
(
speedScaleAttributeMinMax
?ATTR
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?X ?SPEED)
(
and
(
instance
?X
Motion
)
(
property
?X ?ATTR)
(
measure
?X
(
MeasureFn
?SPEED ?U))
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX))))
Weather.kif 2130-2143
Wenn
speedScaleAttributeMinMax
SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
Physical
und
** RealNumber
um
** Physical
ist ein
fall
von
Motion
%n{nicht} und
** Physical
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und das
mass
von
** Physical
ist
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht}
(=>
(
and
(
subString
?S1 ?S2)
(
equal
?L1
(
StringLengthFn
?S1))
(
equal
?L2
(
StringLengthFn
?S2)))
(
lessThanOrEqualTo
?L1 ?L2))
Mid-level-ontology.kif 24400-24405
Wenn
subString
SymbolicString
and
** SymbolicString
und
NonnegativeInteger
ist gleich
StringLengthFn
** SymbolicString
%n{nicht} und
** NonnegativeInteger
ist gleich
StringLengthFn
** ** SymbolicString
%n{nicht},
dann
** NonnegativeInteger
ist
kleinerAlsOderGleich
** ** NonnegativeInteger
%n{nicht}
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1052-1060
Wenn
suffrageAgeMaximum
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
kleinerAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 1040-1050
Wenn
suffrageAgeMaximum
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
kleinerAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 790-800
Wenn
capacityByArrangement
Region
,
Proposition
and
Integer
,
dann
wenn
** Region
drueckt
** Proposition
aus,
dann die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberCount
** entity
and
** ** entity
und
** ** entity
ist
kleinerAlsOderGleich
** Integer
%n{nicht} und
** entity
befindet
sich an %n{nicht} hat die modale Kraft von
Possibility
(=>
(
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}
(=>
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2051-2053
Wenn
electricityFractionFromSource
GeopoliticalArea
,
** PowerGeneration
and
RealNumber
,
dann
** RealNumber
ist
kleinerAlsOderGleich
1.0 %n{nicht}
(=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2037-2039
Wenn
electricityFractionFromSourceInPeriod
GeopoliticalArea
,
** PowerGeneration
,
RealNumber
and
** TimeInterval
,
dann
** RealNumber
ist
kleinerAlsOderGleich
1.0 %n{nicht}
(=>
(
equal
(
MeasureFn
1
MonthDuration
)
(
MeasureFn
?NUMBER
DayDuration
))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 7128-7132
Wenn 1
MonthDuration
(s) ist gleich
RealNumber
DayDuration
(s) %n{nicht},
dann
** RealNumber
ist
kleinerAlsOderGleich
31 %n{nicht}
(=>
(
exportPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2545-2547
Wenn
exportPartnerByFraction
GeopoliticalArea
,
** GeopoliticalArea
and
PositiveRealNumber
,
dann
** PositiveRealNumber
ist
kleinerAlsOderGleich
1.0 %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