Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
greaterThan
Sigma KEE - greaterThan
greaterThan
appearance as argument number 1
(
documentation
greaterThan
ChineseLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的
Quantity
比 ?NUMBER2 的
Quantity
要大。")
chinese_format.kif 1731-1732
(
documentation
greaterThan
EnglishLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is greater than the
Quantity
?NUMBER2.")
Merge.kif 1852-1854
(
documentation
greaterThan
JapaneseLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1 が
Quantity
?NUMBER2よりも大きい場合に当てはまる。")
japanese_format.kif 339-340
(
domain
greaterThan
1
RealNumber
)
Merge.kif 1848-1848
Il numero 1 argomenti di
greaterThan
è un
istanza
di
NumeroReale
(
domain
greaterThan
2
RealNumber
)
Merge.kif 1849-1849
Il numero 2 argomenti di
greaterThan
è un
istanza
di
NumeroReale
(
instance
greaterThan
BinaryPredicate
)
Merge.kif 1842-1842
greaterThan
è un'
istanza
di
PredicatoBinario
(
instance
greaterThan
IrreflexiveRelation
)
Merge.kif 1845-1845
greaterThan
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
greaterThan
RelationExtendedToQuantities
)
Merge.kif 1846-1846
greaterThan
è un'
istanza
di
RelazioneEstesaAQuantit�
(
instance
greaterThan
TotalValuedRelation
)
Merge.kif 1843-1843
greaterThan
è un'
istanza
di
RelazioneAValoreTotale
(
instance
greaterThan
TransitiveRelation
)
Merge.kif 1844-1844
greaterThan
è un'
istanza
di
RelazioneTransitiva
(
inverse
greaterThan
lessThan
)
Merge.kif 1850-1850
greaterThan
è un
inverso
di
lessThan
(
trichotomizingOn
greaterThan
RealNumber
)
Merge.kif 1847-1847
greaterThan
è
tricotomizzante
su
NumeroReale
appearance as argument number 2
(
comparativeArea
SouthernOcean
greaterThan
2.0
UnitedStates
)
Geography.kif 4676-4676
comparativeArea
SouthernOcean
,
greaterThan
, 2.0 and
UnitedStates
(
format
ChineseLanguage
greaterThan
"%1 %n 是
greaterThan
%2")
chinese_format.kif 111-111
(
format
EnglishLanguage
greaterThan
"%1 is %n greater than %2")
english_format.kif 111-111
(
format
FrenchLanguage
greaterThan
"%1 est %n plus grand que %2")
french_format.kif 77-77
(
format
ItalianLanguage
greaterThan
"%1 è %n più grande di %2")
relations-it.txt 121-121
(
format
JapaneseLanguage
greaterThan
"%1 は %2 より greater では %n")
japanese_format.kif 1904-1904
(
format
PortugueseLanguage
greaterThan
"%1 e' %n maior que %2")
portuguese_format.kif 29-29
(
format
cz
greaterThan
"%1 %p{je} %n{nen�} v�t�� ne� %2")
relations-cz.txt 77-77
(
format
de
greaterThan
"%1 ist groesserAls %2 %n{nicht}")
relations-de.txt 127-127
(
format
hi
greaterThan
"%1 %2 se badaa %n hai")
relations-hindi.txt 161-161
(
format
ro
greaterThan
"%1 %n{nu} este greater%t{mai mare} decât %2")
relations-ro.kif 96-96
(
format
sv
greaterThan
"%1 är %n{inte} större än %2")
relations-sv.txt 76-76
(
format
tg
greaterThan
"%1 %n ay mas malaki sa %2")
relations-tg.txt 248-248
(
termFormat
ChineseLanguage
greaterThan
"大于")
chinese_format.kif 112-112
(
termFormat
ChineseLanguage
greaterThan
"比较多")
domainEnglishFormat.kif 26532-26532
(
termFormat
ChineseTraditionalLanguage
greaterThan
"比較多")
domainEnglishFormat.kif 26531-26531
(
termFormat
EnglishLanguage
greaterThan
"greater than")
domainEnglishFormat.kif 26530-26530
(
termFormat
de
greaterThan
"groesserAls")
terms-de.txt 37-37
(
termFormat
tg
greaterThan
"mas malaki sa")
relations-tg.txt 249-249
antecedent
(<=>
(
and
(
instance
?Account
PersonalAccount
)
(
greaterThan
(
CardinalityFn
(
KappaFn
?Agent
(
accountHolder
?Account ?Agent))) 1))
(
instance
?Account
JointAccount
))
FinancialOntology.kif 1007-1011
Entit�
è un'
istanza
di
PersonalAccount
il numero di
istanzia
in la
classe
descritta da
Stringa
è
pi
ù grande di 1
Entit�
è un'
istanza
di
JointAccount
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThan
10.0 ?S)
(
greaterThan
?S 2.5))
(
exists
(?PM10)
(
and
(
instance
?PM10
CoarseParticulateMatter
)
(
part
?PM10 ?PM))))
Geography.kif 7440-7451
Oggetto
è un'
istanza
di
ParticulateMatter
OggettoIntegro
è una
parte
di
Oggetto
approximateDiameter
OggettoIntegro
and
NumeroReale
Micrometer
(s 10.0 è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di 2.5
Oggetto
10
Oggetto
10 è un'
istanza
di
CoarseParticulateMatter
Oggetto
10 è una
parte
di
Oggetto
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
IntervalloTemporale
and
NumeroIntero
IntervalloTemporale
è un'
istanza
di
Minuto
NumeroIntero
NumeroIntero
è un'
istanza
di
PassatempoOEsercizio
NumeroIntero
è un
agente
di
AutonomousAgent
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
NumeroIntero
attribute
AutonomousAgent
and
HumanAdult
vales
durante
IntervalloTemporale
NumeroIntero
è
pi
ù grande di 16
NumeroIntero
è
meno
di12
attribute
AutonomousAgent
and
Healthy
vales
durante
IntervalloTemporale
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
climateTypeInArea
AreaGeografica
and
DesertClimateZone
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
pi
ù grande di 18.0
climateTypeInArea
AreaGeografica
and
SubtropicalDesertClimateZone
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
dampingRatio
PhysicalSystem
and
NumeroReale
NumeroReale
è
pi
ù grande di 0
IntervalloTemporale
è un'
istanza
di
Tremor
PhysicalSystem
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
UnitOfLength
physicalAmplitude
IntervalloTemporale
and
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
1
physicalAmplitude
IntervalloTemporale
and
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
2
IntervalloTemporale
1 has luogo
durante
IntervalloTemporale
IntervalloTemporale
2 has luogo
durante
IntervalloTemporale
IntervalloTemporale
1 accades
prima
di
IntervalloTemporale
2
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
equal
(
EditionFn
?TEXT ?INT1) ?EDITION1)
(
equal
(
EditionFn
?TEXT ?INT2) ?EDITION2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?EDITION1)
(
instance
?CBO2 ?EDITION2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Merge.kif 15515-15532
Edizione
NumeroInteroPositivo
di
OggettoSemiotico
is
uguale
a
OggettoSemiotico
edizione
NumeroInteroPositivo
di
OggettoSemiotico
is
uguale
a
OggettoSemiotico
NumeroInteroPositivo
è
pi
ù grande di
NumeroInteroPositivo
Processo
è un'
istanza
di
Editoria
Processo
è un'
istanza
di
Editoria
Entit�
è un'
istanza
di
OggettoSemiotico
Entit�
è un'
istanza
di
OggettoSemiotico
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
data
di
Processo
è
Giorno
data
di
Processo
è
Giorno
la
fine
di
Giorno
succede%{s}
prima
di la
fine
di
Giorno
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3277-3284
NumeroReale
is
uguale
a
AverageFn
Lista
lunghezza
di
Lista
è
pi
ù grande di 0
NumeroReale
is
uguale
a
ListSumFn
Lista
+
lunghezza
di
Lista
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3258-3268
NumeroReale
is
uguale
a
ListSumFn
Lista
lunghezza
di
Lista
è
pi
ù grande di 1
NumeroReale
is
uguale
a (
FirstFn
Lista
+
ListSumFn
SubListFn
2,
lunghezza
di
Lista
and
Lista
(=>
(
and
(
equal
?OUT
(
ReverseFn
?IN))
(
equal
?LEN
(
StringLengthFn
?IN))
(
greaterThan
?LEN 1)
(
greaterThan
?N 0)
(
lessThan
?N ?LEN)
(
equal
?PIVOT
(
CeilingFn
(
DivisionFn
(
SubtractionFn
?LEN 1) 2)))
(
equal
?NEW
(
AdditionFn
(
SubtractionFn
?PIVOT ?N) ?PIVOT))
(
equal
?S
(
SubstringFn
?IN ?N
(
AdditionFn
1 ?N))))
(
equal
?S
(
SubstringFn
?OUT ?NEW
(
AdditionFn
1 ?NEW))))
Media.kif 3068-3089
Stringa
is
uguale
a
ReverseFn
Stringa
NumeroInteroNonNegativo
is
uguale
a
StringLengthFn
Stringa
NumeroInteroNonNegativo
è
pi
ù grande di 1
NumeroInteroNonNegativo
è
pi
ù grande di 0
NumeroInteroNonNegativo
è
meno
di
NumeroInteroNonNegativo
NumeroIntero
is
uguale
a il
tetto
di (
NumeroInteroNonNegativo
+ 1 + 2
NumeroInteroNonNegativo
EW is
uguale
a ((
NumeroIntero
+
NumeroInteroNonNegativo
+
NumeroIntero
Stringa
is
uguale
a
SubstringFn
Stringa
,
NumeroInteroNonNegativo
and (1 +
NumeroInteroNonNegativo
Stringa
is
uguale
a
SubstringFn
Stringa
,
NumeroInteroNonNegativo
EW and (1 +
NumeroInteroNonNegativo
EW
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
greaterThan
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListConcatenateFn
(
ListFn
(
ListOrderFn
?L ?S))
(
SubListFn
(
AdditionFn
1 ?S) ?E ?L))))
Merge.kif 3190-3202
Lista
is
uguale
a
SubListFn
NumeroInteroPositivo
,
NumeroIntero
and
Lista
(
NumeroIntero
+
NumeroInteroPositivo
è
pi
ù grande di 1
Lista
is
uguale
a la lista composta di (
NumeroInteroPositivo
th
elemento
di
Lista
e
SubListFn
(1 +
NumeroInteroPositivo
,
NumeroIntero
and
Lista
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?VA
(
AdditionFn
(
VarianceAverageFn
?M
(
ListOrderFn
?L 1))
(
VarianceAverageFn
?M
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Weather.kif 1453-1465
NumeroReale
is
uguale
a
VarianceAverageFn
Numero
and
Lista
lunghezza
di
Lista
è
pi
ù grande di 1
NumeroReale
is
uguale
a (
VarianceAverageFn
Numero
and 1th
elemento
di
Lista
+
VarianceAverageFn
Numero
and
SubListFn
2,
lunghezza
di
Lista
and
Lista
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
greaterThan
?COUNT 0)
(
marineInventory
?MM ?REGISTER))
(
instance
?REGISTER
FlagOfConvenienceRegister
))
Transportation.kif 1070-1075
fOCShipsByOrigin
MerchantMarine
,
AreaGeopolitica
and
NumeroInteroNonNegativo
NumeroInteroNonNegativo
è
pi
ù grande di 0
marineInventory
MerchantMarine
and
ShipRegister
ShipRegister
è un'
istanza
di
FlagOfConvenienceRegister
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
governorSpeed
SpeedGovernor
and
FunzioneDiQuantit�
NumeroReale
MilesPerHour
(s is
uguale
a
MisuraDiLunghezza
per
Durata
NumeroReale
MilesPerHour
(s is
uguale
a
MisuraDiLunghezza
per
Durata
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
PROB is
uguale
a la
probabilit
à dila
misura
SpeedGovernor
è
NumeroReale
MilesPerHour
(s
NumeroReale
PROB is
uguale
a la
probabilit
à dila
misura
SpeedGovernor
è
NumeroReale
MilesPerHour
(s
NumeroReale
PROB è
pi
ù grande di
NumeroReale
PROB
(=>
(
and
(
instance
?AGENT ?CLASS)
(
lethalDose
?CLASS
(
MeasureFn
?NUMBER ?UNIT))
(
greaterThan
?NUMBER 0.0))
(
instance
?AGENT
LifeThreateningAgent
))
WMD.kif 1017-1023
Entit�
è un'
istanza
di
BiochemicalAgent
lethalDose
BiochemicalAgent
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di 0.0
Entit�
è un'
istanza
di
LifeThreateningAgent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))
(
climateTypeInArea
?AREA
PolarClimateZone
))
Geography.kif 1575-1582
AreaGeografica
è un'
istanza
di
AreaGeografica
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s 10.0 è
pi
ù grande di
NumeroReale
climateTypeInArea
AreaGeografica
and
PolarClimateZone
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
AutonomousAgent
)
(
instance
?BIDDER2
AutonomousAgent
)
(
instance
?ITEM
Object
)
(
instance
?U
UnitOfCurrency
)
(
patient
?AUCTIONING ?ITEM)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER1 ?U) ?BIDDER1)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER2 ?U) ?BIDDER2)
(
greaterThan
?OFFER1 ?OFFER2))
(
destination
?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 354-365
Processo
è un'
istanza
di
Auctioning
AutonomousAgent
è un'
istanza
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Oggetto
è un'
istanza
di
Oggetto
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Oggetto
è un
paziente
di
Processo
bidPrice
Oggetto
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
bidPrice
Oggetto
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
NumeroReale
è
pi
ù grande di
NumeroReale
Processo
fine
s in
AutonomousAgent
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?T1
(
BeginFn
?D1))
(
equal
?T2
(
BeginFn
?D2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8722-8729
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
NumeroInteroPositivo
è
pi
ù grande di
NumeroInteroPositivo
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
greaterThan
?N2 ?N1))
(
earlier
?D1 ?D2))
Merge.kif 8731-8736
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroInteroPositivo
è
pi
ù grande di
NumeroInteroPositivo
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThan
?N 12)
(
lessThan
?N 20))
(
holdsDuring
?T1
(
instance
?H
Teenager
)))
Mid-level-ontology.kif 342-348
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
pi
ù grande di 12
NumeroReale
è
meno
di20
Entit�
è un'
istanza
di
Teenager
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
Oggetto
è un'
istanza
di
Harbor
equipmentCount
Oggetto
,
ShipBerth
and
NumeroReale
NumeroReale
è
pi
ù grande di 0
Oggetto
è
capace
di fare
ShipBerthing
nel ruolo
path
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
MusicalTone
è un'
istanza
di
MusicalTone
soundFrequency
MusicalTone
and
NumeroReale
Hertz
(s
loudness
MusicalTone
and
NumeroReale
Decibel
(s
MusicalTone
è
localizzato
in il luogo
dove
Umano
era in l'
inizio
di il
tempo
di esistenza di
MusicalTone
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di 250 8000 è
pi
ù grande di
NumeroReale
Umano
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Listening
Processo
è un
agente
di
Umano
hearingAcuity
Umano
,
NumeroReale
Decibel
(s and
NumeroReale
Decibel
(s
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13863-13878
Entit�
è un'
istanza
di
SostanzaPura
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
meltingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
IntervalloTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
meno
di
NumeroReale
attribute
Entit�
and
Liquid
vales
durante
IntervalloTemporale
Processo
IntervalloTemporale
sovrappone
s il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Sciogliere
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?SZ
SurfZone
)
(
significantWaveHeight
?SZ
(
WhenFn
?SZ)
(
MeasureFn
?X
FootLength
))
(
greaterThan
?X 8.0))
(
attribute
?SZ
RedFlagSwimmingCondition
))
Weather.kif 1398-1405
SuperficieAcquatica
è un'
istanza
di
SurfZone
significantWaveHeight
SuperficieAcquatica
, il
tempo
di esistenza di
SuperficieAcquatica
and
NumeroReale
FootLength
(s
NumeroReale
è
pi
ù grande di 8.0
attribute
SuperficieAcquatica
and
RedFlagSwimmingCondition
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
IntervalloTemporale
è un'
istanza
di
TimePeriod
durata
di
IntervalloTemporale
è
NumeroReale
MinuteDuration
(s
NumeroReale
è
pi
ù grande di 5.0
Entit�
è un'
istanza
di
Umano
Processo
Processo
è un'
istanza
di
Respirazione
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Entit�
è un
paziente
di
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
Morte
Entit�
esperisce
s
Entit�
IntervalloTemporale
incontra
s il
tempo
di esistenza di
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13798-13807
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
barometricPressure
Oggetto
and
NumeroReale
InchMercury
(s 29.92 è
pi
ù grande di
NumeroReale
boilingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
pi
ù grande di
NumeroReale
attribute
Oggetto
and
Gas
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
attribute
?WATER
OpenSea
)
(
exists
(?LAND ?DIST)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER
(
MeasureFn
?DIST
NauticalMile
))
(
greaterThan
?DIST 5.0))))
Geography.kif 4711-4720
attribute
Oggetto
and
OpenSea
Entit�Concreta
NumeroReale
Oggetto
è un'
istanza
di
SuperficieAcquaticaSalata
Oggetto
è un'
istanza
di
LandlockedWater
la
distanza
tra
Entit�Concreta
e
Oggetto
è
NumeroReale
NauticalMile
(s
NumeroReale
è
pi
ù grande di 5.0
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2 ?LASTPLACE)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 272-293
average
Lista
and
NumeroReale
Lista
NumeroInteroPositivo
lunghezza
di
Lista
is
uguale
a
lunghezza
di
Lista
1th
elemento
di
Lista
is
uguale
a 1th
elemento
di
Lista
NumeroInteroPositivo
NumeroInteroPositivo
è un
Lista
NumeroReale
NumeroReale
MINUSONE,
NumeroInteroPositivo
and
NumeroInteroPositivo
NumeroReale
è
pi
ù grande di 1
NumeroReale
è
minore
o uguale a
lunghezza
di
Lista
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
NumeroReale
NumeroInteroPositivo
è un
Lista
NumeroReale
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
NumeroInteroPositivo
è un
Lista
NumeroReale
MINUSONE is
uguale
a (
NumeroReale
+ 1
NumeroReale
MINUSONE is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
NumeroInteroPositivo
is
uguale
a (
NumeroInteroPositivo
+
NumeroInteroPositivo
NumeroInteroPositivo
is
uguale
a
lunghezza
di
Lista
NumeroReale
is
uguale
a
NumeroInteroPositivo
th
elemento
di
Lista
+
NumeroInteroPositivo
(<=>
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
greaterThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1885-1889
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
is
uguale
a
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(<=>
(
instance
?NUMBER
PositiveRealNumber
)
(
and
(
greaterThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1937-1941
NumeroReale
è un'
istanza
di
NumeroRealePositivo
NumeroReale
è
pi
ù grande di 0
NumeroReale
è un'
istanza
di
NumeroReale
(<=>
(
larger
?OBJ1 ?OBJ2)
(
forall
(?QUANT1 ?QUANT2 ?UNIT)
(=>
(
and
(
measure
?OBJ1
(
MeasureFn
?QUANT1 ?UNIT))
(
measure
?OBJ2
(
MeasureFn
?QUANT2 ?UNIT))
(
instance
?UNIT
UnitOfLength
))
(
greaterThan
?QUANT1 ?QUANT2))))
Merge.kif 7758-7766
Oggetto
è
pi
ù largo di
Oggetto
NumeroReale
NumeroReale
and
Unit�DiMisura
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1754-1759
attribute
Oggetto
and
FlatTerrain
SuperficieTerrestre
è una
parte
di
Oggetto
slopeGradient
SuperficieTerrestre
and
NumeroRealeNonNegativo
0.005 è
pi
ù grande di
NumeroRealeNonNegativo
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1766-1771
attribute
Oggetto
and
LowTerrain
SuperficieTerrestre
è una
parte
di
Oggetto
slopeGradient
SuperficieTerrestre
and
NumeroRealeNonNegativo
0.03 è
pi
ù grande di
NumeroRealeNonNegativo
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
attribute
Oggetto
and
FamilyStylePortion
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
attribute
Oggetto
and
FamilyStylePortion
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Classe
Oggetto
è un'
istanza
di
Classe
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 204-223
attribute
AutonomousAgent
and
Muslim
valore
delle appartenenze di
AutonomousAgent
is
uguale
a
MisuraMonetaria
l'affermazione
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Zakat
Entit�
è un'
istanza
di
Anno
Entit�
has luogo
durante
il
tempo
di esistenza di
AutonomousAgent
attribute
AutonomousAgent
and
FullyFormed
vales
durante
Entit�
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Entit�
valore
di
Entit�
è
Entit�
Entit�
(s
Entit�
è un'
istanza
di
UnitOfCurrency
Entit�
è
pi
ù grande di
MisuraMonetaria
+ 0.025 ha il modello di forza di
Obligation
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
attribute
AutonomousAgent
and
ADHD
attribute
AutonomousAgent
and
ADHD
AutonomousAgent
is
uguale
a
AutonomousAgent
Processo
è un'
istanza
di
Classe
Processo
è un'
istanza
di
Classe
Classe
è una
sottoclasse
di
ProcessoPsicologicoIntenzionale
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
durata
di il
tempo
di esistenza di
Processo
è
Durata
durata
di il
tempo
di esistenza di
Processo
è
Durata
l'affermazione
Durata
è
pi
ù grande di
Durata
ha il modello di forza di
Likely
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
attribute
Oggetto
and
Oversized
%è una
istanza
immediata %2
Classe
è una
sottoclasse
di
HotelUnit
Entit�Concreta
NumeroReale
,
NumeroReale
and
Unit�DiMisura
%è una
istanza
immediata %2
Unit�DiMisura
è un'
istanza
di
UnitOfArea
la
misura
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è un'
istanza
di
MisuraDiArea
NumeroReale
è un'
istanza
di
MisuraDiArea
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
Giorno
NumeroIntero
birthday
Umano
and
Giorno
Giorno
è una
sottoclasse
di
Giorno
NumeroIntero
è un'
istanza
di
NumeroIntero
Giorno
is
uguale
a il
giorno
NumeroInteroPositivo
NumeroIntero
è
pi
ù grande di
NumeroIntero
(=>
(
and
(
capitalExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?CAPAMOUNT ?UNIT) ?PERIOD)
(
annualExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?TOTALAMOUNT ?UNIT) ?PERIOD))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1538-1544
capitalExpendituresOfAreaInPeriod
AreaGeopolitica
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
annualExpendituresOfAreaInPeriod
AreaGeopolitica
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
forall
(?MO)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))))
(
greaterThan
10.0 ?TEMP))
Geography.kif 1522-1530
climateTypeInArea
AreaGeografica
and
ColdClimateZone
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
10.0 è
pi
ù grande di
NumeroReale
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1597-1603
climateTypeInArea
AreaGeografica
and
PolarTypeFClimateZone
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
airTemperature
AreaGeografica
and
Entit�
CelsiusDegree
(s vales
durante
PosizioneTemporale
10.0 è
pi
ù grande di
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
dampingRatio
PhysicalSystem
and
NumeroReale
NumeroReale
è
pi
ù grande di 0
IntervalloTemporale
è un'
istanza
di
Tremor
PhysicalSystem
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
UnitOfLength
physicalAmplitude
IntervalloTemporale
and
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
1
physicalAmplitude
IntervalloTemporale
and
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
2
IntervalloTemporale
1 has luogo
durante
IntervalloTemporale
IntervalloTemporale
2 has luogo
durante
IntervalloTemporale
IntervalloTemporale
1 accades
prima
di
IntervalloTemporale
2
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18446-18451
defaultMaxValue
Predicato
,
NumeroInteroPositivo
and
Quantit�
Predicato
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
l'affermazione
Quantit�
è
pi
ù grande di
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13536-13545
defaultMaximumMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
l'affermazione
Entit�
NumeroReale
UANTITY
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Unit�DiMisura
(s
NumeroReale
UANTITY è
pi
ù grande di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13547-13558
defaultMaximumMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Classe
è una
sottoclasse
di
NonCompositeUnitOfMeasure
Unit�DiMisura
è un'
istanza
di
Classe
l'affermazione
Entit�
NumeroReale
UANTITY and
Entit�
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Entit�
(s
Entit�
è un'
istanza
di
Classe
NumeroReale
UANTITY
Entit�
(s è
pi
ù grande di
NumeroReale
Unit�DiMisura
(s ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13486-13497
defaultMaximumSphereRadius
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
Sphere
l'affermazione
NumeroReale
ADIUS
sphereRadius
Oggetto
and
NumeroReale
ADIUS
Unit�DiMisura
(s
NumeroReale
ADIUS è
pi
ù grande di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY
(
MultiplicationFn
?Q 1.5))))
Unlikely
))
Mid-level-ontology.kif 13566-13575
defaultMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
l'affermazione
Entit�
NumeroReale
UANTITY
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Unit�DiMisura
(s
NumeroReale
UANTITY è
pi
ù grande di
NumeroReale
+ 1.5 ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18429-18434
defaultMinValue
Predicato
,
NumeroInteroPositivo
and
Quantit�
Predicato
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
l'affermazione
Entit�
è
pi
ù grande di
Quantit�
ha il modello di forza di
Likely
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
NumeroReale
MilesPerHour
(s and
Durata
Oggetto
è un'
istanza
di
Automobile
Processo
è un'
istanza
di
GasPedal
Processo
è un'
istanza
di
Pushing
Processo
fine
s in
Oggetto
InternalCombustionEngine
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Crankshaft
Oggetto
è una
parte
di
InternalCombustionEngine
la
misura
Oggetto
è
RotationFn
Entit�
MilesPerHour
(s and
Durata
vales
durante
il
tempo
di esistenza di
Processo
l'affermazione
Entit�
è
pi
ù grande di
NumeroReale
ha il modello di forza di
Likely
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4874-4888
Il
massimo
comune divisore di@ROW is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
NumeroIntero
è
pi
ù grande di
NumeroIntero
NumeroIntero
NumeroIntero
è un
NumeroIntero
mod
NumeroIntero
is
uguale
a 0
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18343-18358
Organizzazione
is
uguale
a
DepartmentOfFn
Organizzazione
and
Entit�Concreta
subOrganization
Organizzazione
2 and
Organizzazione
Organizzazione
is
uguale
a
Organizzazione
2
Entit�
è un'
istanza
di
Entit�Concreta
Organizzazione
è
interessato
a
Entit�
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
è un
agente
di
Organizzazione
Entit�
2 is
uguale
a la
probabilit
à di
Entit�
è un
agente
di
Organizzazione
2
NumeroReale
è
pi
ù grande di
Entit�
2
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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