lessThanOrEqualTo
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
Railway
est une
instance
de
Railway
Railway
a un
attribute
StandardGauge
trackWidth
Railway
and
nombre r�el
Meter
(s)
nombre r�el
est plus
petit
ou �gal � 1.44
(=>
(
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
Objet
est une
instance
de
BrackishWater
la
mesure
de
objet
est 1.0
Liter
(s)
objet
est une
partie
de
objet
objet
est une
instance
de
SodiumChloride
la
mesure
de
objet
est
nombre r�el
Gram
(s)
nombre r�el
est
plus
grand
que 0.5
nombre r�el
est plus
petit
ou �gal � 30.0
(=>
(
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
Processus
est une
instance
de
Tornado
SpeedScaleAttribute
est une
instance
de
EFScaleAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
MilesPerHour
(s) and
nombre r�el
MilesPerHour
(s)
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
nombre r�el
MilesPerHour
(s) est
ThreeSecondGustSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Wind
SpeedScaleAttribute
est une
instance
de
BeaufortNumberAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
surfaceWindSpeed
objet
and
nombre r�el
unit� de mesure
(s)
(=>
(
and
(
instance
?ZONE
ExclusiveFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1141-1146
Physique
est une
instance
de
ExclusiveFishingZone
linearExtent
physique
and
nombre r�el
NauticalMile
(s)
nombre r�el
est plus
petit
ou �gal � 200.0
(=>
(
and
(
instance
?ZONE
ExtendedFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1173-1178
Physique
est une
instance
de
ExtendedFishingZone
linearExtent
physique
and
nombre r�el
NauticalMile
(s)
nombre r�el
est plus
petit
ou �gal � 200.0
(=>
(
and
(
instance
?ZONE
MaritimeExclusiveEconomicZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1109-1114
Physique
est une
instance
de
MaritimeExclusiveEconomicZone
linearExtent
physique
and
nombre r�el
NauticalMile
(s)
nombre r�el
est plus
petit
ou �gal � 200.0
(=>
(
and
(
instance
?ZONE
MaritimeShelfArea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1068-1073
Physique
est une
instance
de
MaritimeShelfArea
linearExtent
physique
and
nombre r�el
NauticalMile
(s)
nombre r�el
est plus
petit
ou �gal � 200.0
(=>
(
and
(
instance
?ZONE
TerritorialSea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 12.0))
Geography.kif 1214-1219
Physique
est une
instance
de
TerritorialSea
linearExtent
physique
and
nombre r�el
NauticalMile
(s)
nombre r�el
est plus
petit
ou �gal � 12.0
(=>
(
and
(
lengthOfCrudeOilPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
lengthOfCrudeOilPipeline
secteur g�ographique
and
nombre r�el
Meter
(s)
totalPipelineInArea
secteur g�ographique
and
nombre r�el
Meter
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
lengthOfNaturalGasPipeline
secteur g�ographique
and
nombre r�el
Meter
(s)
totalPipelineInArea
secteur g�ographique
and
nombre r�el
Meter
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
(=>
(
and
(
lengthOfPetroleumProductPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
lengthOfPetroleumProductPipeline
secteur g�ographique
and
nombre r�el
Meter
(s)
totalPipelineInArea
secteur g�ographique
and
nombre r�el
Meter
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
(=>
(
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
maxCardinality
relation
,
nombre entier positif
and
nombre entier
relation
est une
instance
de
predicat
classe
entit�
and @ARGS
classe
est une
instance
de
ensemble ou classe
relation
@ARGS
entit�
est
nombre entier positif
th
entit�
est une
instance
de
classe
le nombre d'
instances
dans
classe
est plus
petit
ou �gal �
nombre entier
(=>
(
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
maxRoomCapacity
artefact stationnaire
and
nombre entier
entit�
est une
instance
de
artefact stationnaire
entit�
est un
appartenir
�
AutonomousAgent
l'argument
entit�
entit�
entit�
est une
instance
de
GroupOfPeople
memberCount
entit�
and
entit�
entit�
est plus
petit
ou �gal �
nombre entier
stays
entit�
and
entit�
a la
force
modale
de
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
rentalPrice
physique
,
function de quantit�
,
agent cognitif
and
PricingScheme
function de quantit�
est
PerFn
mesure de devise
and la
mesure
de
nombre r�el
est
unit� de mesure
unit� de mesure
est une
instance
de
UnitOfDuration
entit�
est une
instance
imm�diate de
physique
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
existe
pendant
nombre r�el
INT
interval temporel
nombre r�el
nombre r�el
INT prend place
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
financial transaction
financial transaction
est une
instance
de
Payment
financial transaction
aboutit
�
agent cognitif
financial transaction
est un
agent
de
AutonomousAgent
transactionAmount
financial transaction
and
mesure de devise
(=>
(
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
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
physique
nombre r�el
physique
est une
instance
de
d�palcement
physique
a un
attribute
SpeedScaleAttribute
la
mesure
de
physique
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
(=>
(
and
(
subString
?S1 ?S2)
(
equal
?L1
(
StringLengthFn
?S1))
(
equal
?L2
(
StringLengthFn
?S2)))
(
lessThanOrEqualTo
?L1 ?L2))
Mid-level-ontology.kif 24400-24405
subString
cha�ne sympbolique
and
cha�ne sympbolique
nombre entier non n�gatif
est
StringLengthFn
cha�ne sympbolique
nombre entier non n�gatif
est
StringLengthFn
cha�ne sympbolique
nombre entier non n�gatif
est plus
petit
ou �gal �
nombre entier non n�gatif
(=>
(
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
suffrageAgeMaximum
AutonomousAgent
and
nombre r�el
YearDuration
(s)
Election
est une
instance
de
ElectionFn
AutonomousAgent
objet
est
capable
de faire
VotingFn
Election
dans le r�le
agent
l'
objet
est
nombre r�el
YearDuration
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
(=>
(
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
suffrageAgeMaximum
AutonomousAgent
and
nombre r�el
YearDuration
(s)
Election
est une
instance
de
ElectionFn
AutonomousAgent
objet
est
capable
de faire
VotingFn
Election
dans le r�le
agent
nombre r�el
l'
objet
est
nombre r�el
YearDuration
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
(=>
(
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
capacityByArrangement
r�gion
,
proposition
and
nombre entier
r�gion
d
�finie
proposition
l'argument
entit�
entit�
entit�
est une
instance
de
GroupOfPeople
memberCount
entit�
and
entit�
entit�
est plus
petit
ou �gal �
nombre entier
entit�
est
situ
� �
r�gion
a la
force
modale
de
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
climateTypeInArea
secteur g�ographique
and
TemperateClimateZone
interval temporel
nombre r�el
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
plus
grand
ou �gal � -3.0
nombre r�el
est plus
petit
ou �gal � 18.0
interval temporel
nombre r�el
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
moins
que
nombre r�el
(=>
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2051-2053
electricityFractionFromSource
secteur g�opolitique
,
PowerGeneration
and
nombre r�el
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2037-2039
electricityFractionFromSourceInPeriod
secteur g�opolitique
,
PowerGeneration
,
nombre r�el
and
interval temporel
nombre r�el
est plus
petit
ou �gal � 1.0
(=>
(
equal
(
MeasureFn
1
MonthDuration
)
(
MeasureFn
?NUMBER
DayDuration
))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 7128-7132
1
MonthDuration
(s) est
nombre r�el
DayDuration
(s)
nombre r�el
est plus
petit
ou �gal � 31
(=>
(
exportPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2545-2547
exportPartnerByFraction
secteur g�opolitique
,
secteur g�opolitique
and
nombre r�el positif
nombre r�el positif
est plus
petit
ou �gal � 1.0
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