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
measure
Sigma KEE - measure
measure
appearance as argument number 1
(
documentation
measure
ChineseLanguage
"这是一个非常概括的
Predicate
, 它用于断言一个特定的
Object
是由一种特定的
PhysicalQuantity
来量度。一般来说,这个
Predicate
的第二个参数会是由
Function
MeasureFn
所产生的术语。")
chinese_format.kif 2632-2634
(
documentation
measure
EnglishLanguage
"A very general
Predicate
for asserting that a particular
Physical
is measured by a particular
PhysicalQuantity
. In general, the second argument of this
Predicate
will be a term produced with the
Function
MeasureFn
.")
Merge.kif 7505-7508
(
documentation
measure
JapaneseLanguage
"非常に一般的な
Predicate
は、特定の
Object
が特 定の
PhysicalQuantity
によって測定されると主張する。 一般に、この
Predicate
の第2の引数は、
Function
MeasureFn
で生成される用語になる。")
japanese_format.kif 1347-1349
(
domain
measure
1
Physical
)
Merge.kif 7502-7502
Il numero 1 argomenti di
measure
è un
istanza
di
Entit�Concreta
(
domain
measure
2
PhysicalQuantity
)
Merge.kif 7503-7503
Il numero 2 argomenti di
measure
è un
istanza
di
Quantit�Fisica
(
instance
measure
AsymmetricRelation
)
Merge.kif 7501-7501
measure
è un'
istanza
di
RelazioneAsimmetrica
(
instance
measure
BinaryPredicate
)
Merge.kif 7500-7500
measure
è un'
istanza
di
PredicatoBinario
appearance as argument number 2
(
format
ChineseLanguage
measure
"%1 的
measure
%n 是 %2")
chinese_format.kif 607-607
(
format
EnglishLanguage
measure
"the
measure
of %1 is %n %2")
english_format.kif 610-610
(
format
FrenchLanguage
measure
"la mesure de %1 est %n %2")
french_format.kif 368-368
(
format
ItalianLanguage
measure
"lamisura %1 è %n %2")
relations-it.txt 177-177
(
format
JapaneseLanguage
measure
" %1 の
measure
は %2 では %n")
japanese_format.kif 2102-2102
(
format
PortugueseLanguage
measure
"a medida de %1 e' %n %2")
portuguese_format.kif 320-320
(
format
cz
measure
"the
measure
of %1 %p{je} %n{nen�} %2")
relations-cz.txt 378-378
(
format
de
measure
"das mass von %1 ist %2 %n{nicht}")
relations-de.txt 794-794
(
format
hi
measure
"%1 kii maapa %2 %n hai")
relations-hindi.txt 215-215
(
format
ro
measure
"
measure
%t{mãsura} lui %1 %n{nu} este %2")
relations-ro.kif 390-390
(
format
sv
measure
"mätningen av %1 är %n{inte} %2")
relations-sv.txt 409-409
(
format
tg
measure
"ang sukatan ng %1 %n ay %2")
relations-tg.txt 350-350
(
subrelation
absorbedDose
measure
)
MilitaryProcesses.kif 868-868
absorbedDose
è una
sottorelazione
di
measure
(
subrelation
age
measure
)
Merge.kif 7517-7517
age
è una
sottorelazione
di
measure
(
subrelation
airTemperature
measure
)
Mid-level-ontology.kif 25675-25675
airTemperature
è una
sottorelazione
di
measure
(
subrelation
barometricPressure
measure
)
Merge.kif 7815-7815
barometricPressure
è una
sottorelazione
di
measure
(
subrelation
effectiveRange
measure
)
Mid-level-ontology.kif 1386-1386
effectiveRange
è una
sottorelazione
di
measure
(
subrelation
fleetDeadWeightTonnage
measure
)
Transportation.kif 1005-1005
fleetDeadWeightTonnage
è una
sottorelazione
di
measure
(
subrelation
fleetGrossRegisteredTonnage
measure
)
Transportation.kif 987-987
fleetGrossRegisteredTonnage
è una
sottorelazione
di
measure
(
subrelation
linearExtent
measure
)
Merge.kif 7530-7530
linearExtent
è una
sottorelazione
di
measure
(
subrelation
loudness
measure
)
Mid-level-ontology.kif 13727-13727
loudness
è una
sottorelazione
di
measure
(
subrelation
memorySize
measure
)
QoSontology.kif 1660-1660
memorySize
è una
sottorelazione
di
measure
(
subrelation
phMeasure
measure
)
Mid-level-ontology.kif 9864-9864
phMeasure
è una
sottorelazione
di
measure
(
subrelation
significantWaveHeight
measure
)
Weather.kif 1528-1528
significantWaveHeight
è una
sottorelazione
di
measure
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13605-13611
La
misura
Entit�Concreta
è
NumeroReale
MetricTon
(s la
misura
Entit�Concreta
è
NumeroReale
+ 2205.0
PoundMass
(s
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
La
misura
Entit�Concreta
è
NumeroReale
AngularDegree
(s la
misura
Entit�Concreta
è 60.0 +
NumeroReale
ArcMinute
(s
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
La
misura
Entit�Concreta
è
NumeroReale
ArcMinute
(s la
misura
Entit�Concreta
è 60.0 +
NumeroReale
ArcSecond
(s
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16.0)
PoundMass
)))
Mid-level-ontology.kif 13326-13331
La
misura
Entit�Concreta
è
NumeroReale
OunceMass
(s la
misura
Entit�Concreta
è
NumeroReale
+ 16.0
PoundMass
(s
(<=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
potentialOfHydrogen
?SOLUTION ?PH))
Geography.kif 2548-2551
La
misura
Soluzione
è
NumeroReale
PHValue
(s
potentialOfHydrogen
Soluzione
and
NumeroReale
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
amount
Sostanza
,
OggettoCorpuscolare
and
NumeroReale
UnitOfMass
(s
Sostanza
I è un'
istanza
di
Sostanza
la
misura
Sostanza
I è
NumeroReale
2
UnitOfMass
(s
Sostanza
I è una
parte
di
OggettoCorpuscolare
Lista
NumeroReale
2
UnitOfMass
(s è un
Lista
Lista
is
uguale
a
AmountsFn
Sostanza
,
OggettoCorpuscolare
and
UnitOfMass
NumeroReale
is
uguale
a
ListSumFn
Lista
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17948-17959
approximateDiameter
OggettoIntegro
and
NumeroReale
NumeroReale
M(s
sphereRadius
Oggetto
and
NumeroReale
+ 2.0
NumeroReale
M(s la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
misura
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
M è un'
istanza
di
UnitOfLength
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
NumeroReale
is
uguale
a
NumeroReale
(=>
(
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
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
attribute
Oggetto
and
Anemia
Oggetto
è un'
istanza
di
Sangue
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Female
la
misura
Oggetto
è 0.1
Liter
(s
Oggetto
E è un'
istanza
di
Hemoglobin
Oggetto
E è una
parte
di
Oggetto
Oggetto
E2 è un'
istanza
di
Hemoglobin
Oggetto
E is
uguale
a
Oggetto
E2
Oggetto
2 è una
parte
di
Oggetto
la
misura
Oggetto
E è
NumeroReale
Gram
(s
NumeroReale
è
meno
di12
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
attribute
Oggetto
and
Anemia
Oggetto
è un'
istanza
di
Sangue
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Male
la
misura
Oggetto
è 0.1
Liter
(s
Oggetto
E è un'
istanza
di
Hemoglobin
Oggetto
E è una
parte
di
Oggetto
Oggetto
E2 è un'
istanza
di
Hemoglobin
Oggetto
E is
uguale
a
Oggetto
E2
Oggetto
2 è una
parte
di
Oggetto
la
misura
Oggetto
E è
NumeroReale
Gram
(s
NumeroReale
è
meno
di13
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
attribute
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Acquistare
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
askPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
NumeroReale
è
minore
o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
attribute
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Vendere
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
bidPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13841-13854
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
Entit�
è un'
istanza
di
SostanzaPura
la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
attribute
Entit�
and
Gas
vales
durante
IntervalloTemporale
Processo
IntervalloTemporale
sovrappone
s il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Bollire
Entit�
è un
paziente
di
Processo
(=>
(
and
(
comparativeArea
?REGION1 ?RELATION ?FACTOR ?REGION2)
(
instance
?UNIT
UnitOfArea
)
(
measure
?REGION1
(
MeasureFn
?NUM1 ?UNIT))
(
measure
?REGION2
(
MeasureFn
?NUM2 ?UNIT)))
(?RELATION
(
MeasureFn
?NUM1 ?UNIT)
(
MeasureFn
(
MultiplicationFn
?FACTOR ?NUM2) ?UNIT)))
Geography.kif 659-669
comparativeArea
AreaGeografica
,
BinaryRelationExtendedToQuantities
,
NumeroRealePositivo
and
AreaGeografica
Unit�DiMisura
è un'
istanza
di
UnitOfArea
la
misura
AreaGeografica
è
NumeroReale
Unit�DiMisura
(s la
misura
AreaGeografica
è
NumeroReale
Unit�DiMisura
(s
BinaryRelationExtendedToQuantities
NumeroReale
Unit�DiMisura
(s and
NumeroRealePositivo
+
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
concentration
(
MeasureFn
?N1 ?U) ?S
(
MeasureFn
?N2 ?U2) ?M)
(
instance
?SI ?S)
(
part
?SI ?M)
(
measure
?SI
(
MeasureFn
?N3 ?U3))
(
part
?SI ?M)
(
not
(
instance
?SI2 ?S))
(
not
(
equal
?SI ?SIE2))
(
part
?SI2 ?M)
(
measure
?M
(
MeasureFn
?N2 ?U2)))
(
approximateValue
?N1 ?N3))
Medicine.kif 234-249
concentration
NumeroReale
Unit�DiMisura
(s,
Sostanza
,
NumeroReale
Unit�DiMisura
2(s and
Mistura
Sostanza
I è un'
istanza
di
Sostanza
Sostanza
I è una
parte
di
Mistura
la
misura
Sostanza
I è
NumeroReale
Unit�DiMisura
3(s
Sostanza
I è una
parte
di
Mistura
Sostanza
I2 è un'
istanza
di
Sostanza
Sostanza
I is
uguale
a
Sostanza
IE2
Sostanza
I2 è una
parte
di
Mistura
la
misura
Mistura
è
NumeroReale
Unit�DiMisura
2(s
approximateValue
NumeroReale
and
NumeroReale
(=>
(
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
?MEASURE
(
MeasureFn
?NUMBER
Rad
))
(
measure
?OBJ ?MEASURE))
(
absorbedDose
?OBJ ?MEASURE))
MilitaryProcesses.kif 862-866
RadiationMeasure
is
uguale
a
NumeroReale
Rad
(s la
misura
Oggetto
è
RadiationMeasure
absorbedDose
Oggetto
and
RadiationMeasure
(=>
(
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
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
La
misura
Oggetto
è
FunzioneDiQuantit�
vales
durante
PosizioneTemporale
engineIdleSpeed
InternalCombustionEngine
and
FunzioneDiQuantit�
Oggetto
è un'
istanza
di
Automobile
InternalCombustionEngine
è una
parte
di
Oggetto
Oggetto
è una
parte
di
InternalCombustionEngine
l'affermazione
Entit�
Entit�
Entit�
has luogo
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Pushing
Entit�
fine
s in
Entit�
Entit�
è una
parte
di
Oggetto
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
attribute
AutonomousAgent
and
Dieting
vales
durante
IntervalloTemporale
attribute
AutonomousAgent
and
Dieting
vales
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Meal
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
Oggetto
è una
risorsa
per
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
la
misura
Oggetto
è
NumeroReale
Calorie
(s
Oggetto
è un'
istanza
di
Meal
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
Oggetto
è una
risorsa
per
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
la
misura
Oggetto
è
NumeroReale
Calorie
(s
l'affermazione
NumeroReale
è
pi
ù grande di
NumeroReale
ha il modello di forza di
Likely
(=>
(
and
(
instance
?A
Americano
)
(
part
?E ?A)
(
part
?W ?A)
(
instance
?E
Espresso
)
(
instance
?W
DrinkingWater
)
(
measure
?W
(
MeasureFn
90.0
CelsiusDegree
))
(
mixtureRatio
?E ?W ?V1 ?V2
Liter
))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)))
Food.kif 1321-1332
Oggetto
è un'
istanza
di
Americano
Sostanza
è una
parte
di
Oggetto
Sostanza
è una
parte
di
Oggetto
Sostanza
è un'
istanza
di
Espresso
Sostanza
è un'
istanza
di
DrinkingWater
la
misura
Sostanza
è 90.0
CelsiusDegree
(s
mixtureRatio
Sostanza
,
Sostanza
,
NumeroReale
,
NumeroReale
and
Liter
approximateValue
NumeroReale
and 0.03
approximateValue
NumeroReale
and 0.15
(=>
(
and
(
instance
?B
Brine
)
(
measure
?B
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?B)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 35.0)
(
lessThanOrEqualTo
?R 260.0)))
Geography.kif 2873-2884
Oggetto
è un'
istanza
di
Brine
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 35.0
NumeroReale
è
minore
o uguale a 260.0
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13831-13839
Processo
è un'
istanza
di
Bollire
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
Entit�
è un'
istanza
di
SostanzaPura
Entit�
è un
paziente
di
Processo
la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
il
tempo
di esistenza di
Processo
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4081-4113
Oggetto
è un'
istanza
di
BimetalTemperatureSensor
Oggetto
è un'
istanza
di
Metallo
Oggetto
è un'
istanza
di
Metallo
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Entit�
è un'
istanza
di
MisuraDiTemperatura
Entit�
è un'
istanza
di
MisuraDiTemperatura
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
Entit�
is
uguale
a
Entit�
PosizioneTemporale
is
uguale
a
PosizioneTemporale
la
misura
Oggetto
è
Entit�
la
misura
Oggetto
è
NumeroReale
la
misura
Oggetto
è
NumeroReale
vales
durante
PosizioneTemporale
la
misura
Oggetto
è
Entit�
la
misura
Oggetto
è
NumeroReale
la
misura
Oggetto
è
NumeroReale
vales
durante
PosizioneTemporale
NumeroReale
+
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
(=>
(
and
(
instance
?C
Cappuccino
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
approximateValue
?L 20.0)))
Food.kif 1285-1301
Oggetto
è un'
istanza
di
Cappuccino
Sostanza
è una
parte
di
Oggetto
Sostanza
è una
parte
di
Oggetto
Sostanza
è un'
istanza
di
Espresso
Sostanza
è un'
istanza
di
MilkFoam
mixtureRatio
Sostanza
,
Sostanza
,
NumeroReale
,
NumeroReale
and
Liter
OggettoIntegro
è una
parte
di
Sostanza
OggettoIntegro
è un'
istanza
di
Bubble
il
vertice
Sostanza
è
OggettoIntegro
la
misura
OggettoIntegro
è
NumeroReale
Millimeter
(s
approximateValue
NumeroReale
and 0.03
approximateValue
NumeroReale
and 0.15
approximateValue
NumeroReale
and 20.0
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
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
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13605-13611
La
misura
Entit�Concreta
è
NumeroReale
MetricTon
(s la
misura
Entit�Concreta
è
NumeroReale
+ 2205.0
PoundMass
(s
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
La
misura
Entit�Concreta
è
NumeroReale
AngularDegree
(s la
misura
Entit�Concreta
è 60.0 +
NumeroReale
ArcMinute
(s
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
La
misura
Entit�Concreta
è
NumeroReale
ArcMinute
(s la
misura
Entit�Concreta
è 60.0 +
NumeroReale
ArcSecond
(s
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16.0)
PoundMass
)))
Mid-level-ontology.kif 13326-13331
La
misura
Entit�Concreta
è
NumeroReale
OunceMass
(s la
misura
Entit�Concreta
è
NumeroReale
+ 16.0
PoundMass
(s
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
ArableLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
attribute
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Acquistare
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
askPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
NumeroReale
è
minore
o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
attribute
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Vendere
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
bidPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
(
attribute
?X ?Y)
(
instance
?Y
TemperatureAttribute
)
(
instance
?X
Object
))
(
exists
(?TEMP)
(
and
(
measure
?X ?TEMP)
(
instance
?TEMP
TemperatureMeasure
)
(
attribute
?TEMP ?Y))))
Mid-level-ontology.kif 25687-25696
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
TemperatureAttribute
Oggetto
è un'
istanza
di
Oggetto
Oggetto
la
misura
Oggetto
è
Oggetto
Oggetto
è un'
istanza
di
MisuraDiTemperatura
attribute
Oggetto
and
Attributo
(=>
(
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
(
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
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q .5))))
Unlikely
))
Mid-level-ontology.kif 13577-13586
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 è
meno
di
NumeroReale
+ .5 ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13505-13514
defaultMinimumMeasure
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 è
meno
di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMinimumMeasure
?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)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13516-13527
defaultMinimumMeasure
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 è
meno
di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
and
(
graphMeasure
?G ?M)
(
instance
?AN
GraphNode
)
(
graphPart
?AN ?G)
(
graphPart
?AA ?G)
(
instance
?AA
GraphArc
)
(
abstractCounterpart
?AN ?PN)
(
abstractCounterpart
?AA ?PA)
(
arcWeight
?AA ?N))
(
measure
?PA
(
MeasureFn
?N ?M)))
Merge.kif 6165-6176
graphMeasure
Grafo
and
Unit�DiMisura
ElementoDelGrafo
è un'
istanza
di
NodoDelGrafo
ElementoDelGrafo
è una
parte
di
Grafo
arco del grafo
è una
parte
di
Grafo
arco del grafo
è un'
istanza
di
arco del grafo
abstractCounterpart
ElementoDelGrafo
and
Entit�Concreta
abstractCounterpart
arco del grafo
and
Entit�Concreta
il
valore
di
arco del grafo
è
NumeroReale
la
misura
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
immediateInstance
?BIG ?CLASS)
(
immediateInstance
?NORMAL ?CLASS)
(
attribute
?BIG
Oversized
))
(
exists
(?BIGSIZE ?NORMALSIZE ?U)
(
and
(
instance
?U
UnitOfMeasure
)
(
measure
?BIG
(
MeasureFn
?BIGSIZE ?U))
(
measure
?NORMAL
(
MeasureFn
?NORMALSIZE ?U))
(
greaterThan
?BIGSIZE ?NORMALSIZE))))
Hotel.kif 1172-1184
%è una
istanza
immediata %2 %è una
istanza
immediata %2
attribute
Oggetto
and
Oversized
Oggetto
SIZE
NumeroReale
and
Unit�DiMisura
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
la
misura
Oggetto
è
Oggetto
SIZE
Unit�DiMisura
(s la
misura
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s
Oggetto
SIZE è
pi
ù grande di
NumeroReale
(=>
(
and
(
immediateInstance
?X ?CLASS)
(
immediateInstance
?Y ?CLASS)
(
attribute
?X
ColdTemperature
)
(
attribute
?Y
HotTemperature
))
(
exists
(?TEMPX ?TEMPY ?UNIT)
(
and
(
measure
?X
(
MeasureFn
?TEMPX ?UNIT))
(
instance
?UNIT
UnitOfTemperature
)
(
instance
?TEMPX
TemperatureMeasure
)
(
measure
?Y
(
MeasureFn
?TEMPY ?UNIT))
(
instance
?TEMPY
TemperatureMeasure
)
(
greaterThan
?TEMPY ?TEMPX))))
Mid-level-ontology.kif 25722-25737
%è una
istanza
immediata %2 %è una
istanza
immediata %2
attribute
Oggetto
and
ColdTemperature
attribute
Oggetto
and
HotTemperature
NumeroReale
NumeroReale
and
Unit�DiMisura
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è un'
istanza
di
MisuraDiTemperatura
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è un'
istanza
di
MisuraDiTemperatura
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
Processo
è un'
istanza
di
Accelerating
Processo
è un
agente
di
AutonomousAgent
NumeroReale
NumeroReale
,
NumeroReale
,
NumeroReale
,
Entit�
and
Entit�
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?ATOM
Actinium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
227
Amu
)))
Mid-level-ontology.kif 28812-28816
Entit�Concreta
è un'
istanza
di
Actinium
Entit�Concreta
è un'
istanza
di
Atomo
la
misura
Entit�Concreta
è 227
Amu
(s
(=>
(
and
(
instance
?ATOM
Aluminum
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
26.9815
Amu
)))
Mid-level-ontology.kif 27478-27482
Entit�Concreta
è un'
istanza
di
Aluminum
Entit�Concreta
è un'
istanza
di
Atomo
la
misura
Entit�Concreta
è 26.9815
Amu
(s
(=>
(
and
(
instance
?ATOM
Americium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
243
Amu
)))
Mid-level-ontology.kif 28918-28922
Entit�Concreta
è un'
istanza
di
Americium
Entit�Concreta
è un'
istanza
di
Atomo
la
misura
Entit�Concreta
è 243
Amu
(s
(=>
(
and
(
instance
?ATOM
Antimony
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
121.75
Amu
)))
Mid-level-ontology.kif 28112-28116
Entit�Concreta
è un'
istanza
di
Antimony
Entit�Concreta
è un'
istanza
di
Atomo
la
misura
Entit�Concreta
è 121.75
Amu
(s
(=>
(
and
(
instance
?ATOM
Argon
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
39.948
Amu
)))
Mid-level-ontology.kif 27561-27565
Entit�Concreta
è un'
istanza
di
Argon
Entit�Concreta
è un'
istanza
di
Atomo
la
misura
Entit�Concreta
è 39.948
Amu
(s
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