lessThanOrEqualTo
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
Railway
è un'
istanza
di
Railway
Railway
ha un
attributo
StandardGauge
trackWidth
Railway
and
NumeroReale
Meter
(s
NumeroReale
è
minore
o uguale a 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
Oggetto
è un'
istanza
di
BrackishWater
la
misura
Oggetto
è 1.0
Liter
(s
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
SodiumChloride
la
misura
Oggetto
è
NumeroReale
Gram
(s
NumeroReale
è
pi
ù grande di 0.5
NumeroReale
è
minore
o uguale a 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
Processo
è un'
istanza
di
Tornado
SpeedScaleAttribute
è un'
istanza
di
EFScaleAttribute
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
NumeroReale
MilesPerHour
(s and
NumeroReale
MilesPerHour
(s
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
AgenteCognitivo
crede
s
NumeroReale
MilesPerHour
(s is
uguale
a
ThreeSecondGustSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Wind
SpeedScaleAttribute
è un'
istanza
di
BeaufortNumberAttribute
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
AgenteCognitivo
crede
s
surfaceWindSpeed
Oggetto
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
instance
?ZONE
ExclusiveFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1141-1146
Entit�Concreta
è un'
istanza
di
ExclusiveFishingZone
linearExtent
Entit�Concreta
and
NumeroReale
NauticalMile
(s
NumeroReale
è
minore
o uguale a 200.0
(=>
(
and
(
instance
?ZONE
ExtendedFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1173-1178
Entit�Concreta
è un'
istanza
di
ExtendedFishingZone
linearExtent
Entit�Concreta
and
NumeroReale
NauticalMile
(s
NumeroReale
è
minore
o uguale a 200.0
(=>
(
and
(
instance
?ZONE
MaritimeExclusiveEconomicZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1109-1114
Entit�Concreta
è un'
istanza
di
MaritimeExclusiveEconomicZone
linearExtent
Entit�Concreta
and
NumeroReale
NauticalMile
(s
NumeroReale
è
minore
o uguale a 200.0
(=>
(
and
(
instance
?ZONE
MaritimeShelfArea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1068-1073
Entit�Concreta
è un'
istanza
di
MaritimeShelfArea
linearExtent
Entit�Concreta
and
NumeroReale
NauticalMile
(s
NumeroReale
è
minore
o uguale a 200.0
(=>
(
and
(
instance
?ZONE
TerritorialSea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 12.0))
Geography.kif 1214-1219
Entit�Concreta
è un'
istanza
di
TerritorialSea
linearExtent
Entit�Concreta
and
NumeroReale
NauticalMile
(s
NumeroReale
è
minore
o uguale a 12.0
(=>
(
and
(
lengthOfCrudeOilPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 721-725
lengthOfCrudeOilPipeline
AreaGeografica
and
NumeroReale
Meter
(s
totalPipelineInArea
AreaGeografica
and
NumeroReale
Meter
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
and
(
lengthOfNaturalGasPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 744-748
lengthOfNaturalGasPipeline
AreaGeografica
and
NumeroReale
Meter
(s
totalPipelineInArea
AreaGeografica
and
NumeroReale
Meter
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
and
(
lengthOfPetroleumProductPipeline
?AREA
(
MeasureFn
?AMOUNT1
Meter
))
(
totalPipelineInArea
?AREA
(
MeasureFn
?AMOUNT2
Meter
)))
(
lessThanOrEqualTo
?AMOUNT1 ?AMOUNT2))
Transportation.kif 767-771
lengthOfPetroleumProductPipeline
AreaGeografica
and
NumeroReale
Meter
(s
totalPipelineInArea
AreaGeografica
and
NumeroReale
Meter
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
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
Relazione
,
NumeroInteroPositivo
and
NumeroIntero
Relazione
è un'
istanza
di
Predicato
Classe
Entit�
and @ARGS
Classe
è un'
istanza
di
InsiemeOClasse
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
è un'
istanza
di
Classe
il numero di
istanzia
in
Classe
è
minore
o uguale a
NumeroIntero
(=>
(
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
ManufattoStatico
and
NumeroIntero
Entit�
è un'
istanza
di
ManufattoStatico
%è un
elemento
di %2
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
memberCount
Entit�
and
Entit�
Entit�
è
minore
o uguale a
NumeroIntero
stays
Entit�
and
Entit�
ha il modello di forza di
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
Entit�Concreta
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
FunzioneDiQuantit�
is
uguale
a
PerFn
MisuraMonetaria
and la
misura
NumeroReale
è
Unit�DiMisura
Unit�DiMisura
è un'
istanza
di
UnitOfDuration
%è una
istanza
immediata %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
esistes
durante
NumeroReale
INT
IntervalloTemporale
NumeroReale
NumeroReale
INT has luogo
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
durata
di
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
minore
o uguale a
NumeroReale
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
fine
s in
AgenteCognitivo
ScambioFinanziario
è un
agente
di
AutonomousAgent
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
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
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
Entit�Concreta
NumeroReale
Entit�Concreta
è un'
istanza
di
Movimento
Entit�Concreta
ha un
attributo
SpeedScaleAttribute
la
misura
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
and
(
subString
?S1 ?S2)
(
equal
?L1
(
StringLengthFn
?S1))
(
equal
?L2
(
StringLengthFn
?S2)))
(
lessThanOrEqualTo
?L1 ?L2))
Mid-level-ontology.kif 24400-24405
subString
Stringa
and
Stringa
NumeroInteroNonNegativo
is
uguale
a
StringLengthFn
Stringa
NumeroInteroNonNegativo
is
uguale
a
StringLengthFn
Stringa
NumeroInteroNonNegativo
è
minore
o uguale a
NumeroInteroNonNegativo
(=>
(
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
NumeroReale
YearDuration
(s
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
il
et
à di
Oggetto
è
NumeroReale
YearDuration
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
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
NumeroReale
YearDuration
(s
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
NumeroReale
il
et
à di
Oggetto
è
NumeroReale
YearDuration
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
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
Regione
,
Proposizione
and
NumeroIntero
Regione
esprime
Proposizione
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
memberCount
Entit�
and
Entit�
Entit�
è
minore
o uguale a
NumeroIntero
Entit�
è
localizzato
in
Regione
ha il modello di forza di
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
AreaGeografica
and
TemperateClimateZone
IntervalloTemporale
NumeroReale
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
pi
ù grande di o uguale a -3.0
NumeroReale
è
minore
o uguale a 18.0
IntervalloTemporale
NumeroReale
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
meno
di
NumeroReale
(=>
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2051-2053
electricityFractionFromSource
AreaGeopolitica
,
PowerGeneration
and
NumeroReale
NumeroReale
è
minore
o uguale a 1.0
(=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2037-2039
electricityFractionFromSourceInPeriod
AreaGeopolitica
,
PowerGeneration
,
NumeroReale
and
IntervalloTemporale
NumeroReale
è
minore
o uguale a 1.0
(=>
(
equal
(
MeasureFn
1
MonthDuration
)
(
MeasureFn
?NUMBER
DayDuration
))
(
lessThanOrEqualTo
?NUMBER 31))
Merge.kif 7128-7132
1
MonthDuration
(s is
uguale
a
NumeroReale
DayDuration
(s
NumeroReale
è
minore
o uguale a 31
(=>
(
exportPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 2545-2547
exportPartnerByFraction
AreaGeopolitica
,
AreaGeopolitica
and
NumeroRealePositivo
NumeroRealePositivo
è
minore
o uguale a 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