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
lessThan
Sigma KEE - lessThan
lessThan
appearance as argument number 1
(
documentation
lessThan
ChineseLanguage
"(
lessThan
?NUMBER1 ?NUMBER2) 是真的 以防 ?NUMBER1 的
Quantity
比 ?NUMBER2 的
Quantity
要少。")
chinese_format.kif 1729-1730
(
documentation
lessThan
EnglishLanguage
"(
lessThan
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is less than the
Quantity
?NUMBER2.")
Merge.kif 1839-1840
(
documentation
lessThan
JapaneseLanguage
"(
lessThan
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1 が
Quantity
?NUMBER2 より小さい場合に当てはまる。")
japanese_format.kif 337-338
(
domain
lessThan
1
RealNumber
)
Merge.kif 1836-1836
Il numero 1 argomenti di
lessThan
è un
istanza
di
NumeroReale
(
domain
lessThan
2
RealNumber
)
Merge.kif 1837-1837
Il numero 2 argomenti di
lessThan
è un
istanza
di
NumeroReale
(
instance
lessThan
BinaryPredicate
)
Merge.kif 1831-1831
lessThan
è un'
istanza
di
PredicatoBinario
(
instance
lessThan
IrreflexiveRelation
)
Merge.kif 1833-1833
lessThan
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
lessThan
RelationExtendedToQuantities
)
Merge.kif 1834-1834
lessThan
è un'
istanza
di
RelazioneEstesaAQuantit�
(
instance
lessThan
TransitiveRelation
)
Merge.kif 1832-1832
lessThan
è un'
istanza
di
RelazioneTransitiva
(
trichotomizingOn
lessThan
RealNumber
)
Merge.kif 1835-1835
lessThan
è
tricotomizzante
su
NumeroReale
appearance as argument number 2
(
format
ChineseLanguage
lessThan
"%1 %n 是
lessThan
%2")
chinese_format.kif 141-141
(
format
EnglishLanguage
lessThan
"%1 is %n less than %2")
english_format.kif 142-142
(
format
FrenchLanguage
lessThan
"%1 est %n moins que %2")
french_format.kif 92-92
(
format
ItalianLanguage
lessThan
"%1 è %n meno di%2")
relations-it.txt 163-163
(
format
JapaneseLanguage
lessThan
"%1 は %2 より less では %n")
japanese_format.kif 1919-1919
(
format
PortugueseLanguage
lessThan
"%1 e' %n menos que %2")
portuguese_format.kif 44-44
(
format
cz
lessThan
"%1 %p{je} %n{nen�} men�� ne� %2")
relations-cz.txt 76-76
(
format
de
lessThan
"%1 ist kleinerAls %2 %n{nicht}")
relations-de.txt 172-172
(
format
hi
lessThan
"%1 %2 se kama %n hai")
relations-hindi.txt 202-202
(
format
ro
lessThan
"%1 %n{nu} este less%t{mai mic} decât %2")
relations-ro.kif 111-111
(
format
sv
lessThan
"%1 är %n{inte} mindre än %2")
relations-sv.txt 91-91
(
format
tg
lessThan
"%1 %n ay meno ng %2")
relations-tg.txt 325-325
(
inverse
greaterThan
lessThan
)
Merge.kif 1850-1850
greaterThan
è un
inverso
di
lessThan
(
termFormat
ChineseLanguage
lessThan
"少于")
chinese_format.kif 142-142
(
termFormat
ChineseTraditionalLanguage
lessThan
"少於")
domainEnglishFormat.kif 34144-34144
(
termFormat
EnglishLanguage
lessThan
"less than")
domainEnglishFormat.kif 34143-34143
(
termFormat
de
lessThan
"kleinerAls")
terms-de.txt 52-52
(
termFormat
tg
lessThan
"meno ng")
relations-tg.txt 326-326
antecedent
(<=>
(
and
(
instance
?LD
LiquidDrop
)
(
approximateDiameter
?LD
(
MeasureFn
?S
Micrometer
))
(
lessThan
500.0 ?S))
(
instance
?LD
Droplet
))
Geography.kif 7524-7530
OggettoIntegro
è un'
istanza
di
LiquidDrop
approximateDiameter
OggettoIntegro
and
NumeroReale
Micrometer
(s 500.0 è
meno
di
NumeroReale
OggettoIntegro
è un'
istanza
di
Droplet
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3051-3062
FinancialInstrument
FinancialInstrument
Price and
NumeroReale
Agreement
è un'
istanza
di
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
FinancialInstrument
Price è
meno
di
NumeroReale
outOfTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3002-3013
FinancialInstrument
FinancialInstrument
Price and
NumeroReale
Agreement
è un'
istanza
di
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
FinancialInstrument
Price
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3015-3026
FinancialInstrument
FinancialInstrument
Price and
NumeroReale
Agreement
è un'
istanza
di
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
FinancialInstrument
Price è
meno
di
NumeroReale
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3064-3075
FinancialInstrument
FinancialInstrument
Price and
NumeroReale
Agreement
è un'
istanza
di
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
FinancialInstrument
Price
outOfTheMoney
Agreement
and
AutonomousAgent
(=>
(
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
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Balance
UnitedStatesDollar
))
(
lessThan
?Balance 0)
(
equal
?Overdraft
(
SubtractionFn
0 ?Balance)))
(
overdraft
?Account
(
MeasureFn
?Overdraft
UnitedStatesDollar
) ?Date))
FinancialOntology.kif 783-788
currentAccountBalance
FinancialAccount
,
Giorno
and
NumeroReale
UnitedStatesDollar
(s
NumeroReale
è
meno
di0
NumeroReale
is
uguale
a (0 +
NumeroReale
overdraft
FinancialAccount
,
NumeroReale
UnitedStatesDollar
(s and
Giorno
(=>
(
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
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
UsingAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
)
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Amount ?U))
(
lessThan
?Amount ?Balance))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
date
?Penalty ?Date)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 701-714
FinancialAccount
è un'
istanza
di
FinancialAccount
minimumBalance
FinancialAccount
,
UsingAnAccount
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
currentAccountBalance
FinancialAccount
,
Giorno
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
Processo
Processo
è un'
istanza
di
Penalty
data
di
Processo
è
Giorno
Processo
fine
s in
CurrencyFn
FinancialAccount
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
minimumPayment
?Account
(
MeasureFn
?MinPayment ?U)
MonthDuration
)
(
instance
?U
UnitOfCurrency
)
(
exists
(?Payment ?Month)
(
and
(
instance
?Month
Month
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
paymentsPerPeriod
?Account
(
MeasureFn
?Amount ?U) ?Month)
(
lessThan
?Amount ?MinPayment))))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 759-775
LiabilityAccount
è un'
istanza
di
LiabilityAccount
minimumPayment
LiabilityAccount
,
NumeroReale
Unit�DiMisura
(s and
MonthDuration
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Processo
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Mese
Processo
fine
s in
CurrencyFn
LiabilityAccount
paymentsPerPeriod
LiabilityAccount
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
è
meno
di
NumeroReale
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
CurrencyFn
LiabilityAccount
(=>
(
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
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThan
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanYouth
)))
Mid-level-ontology.kif 269-274
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
meno
di18
Entit�
è un'
istanza
di
HumanYouth
vales
durante
PosizioneTemporale
(=>
(
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
?SUBSTANCE ?TYPE)
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
lessThan
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Solid
))
(
exists
(?FREEZE)
(
and
(
overlapsTemporally
(
WhenFn
?FREEZE) ?TIME)
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?SUBSTANCE)))))
Merge.kif 13880-13893
Entit�
è un'
istanza
di
SostanzaPura
meltingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è
meno
di
NumeroReale
attribute
Entit�
and
Solid
vales
durante
IntervalloTemporale
Processo
IntervalloTemporale
sovrappone
s il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Congelare
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?WATERWAY
Waterway
)
(
depth
?OBJ ?WATERWAY
(
MeasureFn
?DEPTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
lessThan
?DRAFT ?DEPTH))
(
navigableForDraft
?WATERWAY
(
MeasureFn
?DRAFT ?UNIT)))
Transportation.kif 2667-2673
SuperficieAcquatica
è un'
istanza
di
Waterway
depth
Entit�Concreta
,
SuperficieAcquatica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
meno
di
NumeroReale
navigableForDraft
SuperficieAcquatica
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13809-13818
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
boilingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s
meltingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
meno
di
NumeroReale
attribute
Oggetto
and
Liquid
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
meltingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s
barometricPressure
Oggetto
and
NumeroReale
InchMercury
(s
NumeroReale
è
pi
ù grande di 29.92 la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
meno
di
NumeroReale
attribute
Oggetto
and
Solid
(=>
(
and
(
processList
@ROW)
(
inList
?Process1
(
ListFn
@ROW))
(
inList
?Process2
(
ListFn
@ROW))
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number1) ?Process1)
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number2) ?Process2)
(
lessThan
?Number1 ?Number2))
(
earlier
(
WhenFn
?Process1)
(
WhenFn
?Process2)))
QoSontology.kif 694-710
processList
@ROW
Entit�Concreta
è un
Entit�Concreta
è un
Entit�
elemento
di (@ROW is
uguale
a
Entit�Concreta
Entit�
elemento
di (@ROW is
uguale
a
Entit�Concreta
NumeroInteroPositivo
è
meno
di
NumeroInteroPositivo
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
productPrice
?ENT
(
MeasureFn
?PRICE1 ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
publishedPrice
?ENT
(
MeasureFn
?PRICE2 ?U) ?AGENT ?PS)
(
validFor
?PS ?CUSTCLASS)
(
instance
?ITEM ?ENT)
(
instance
?B
Buying
)
(
immediateInstance
?CUST ?CUSTCLASS)
(
agent
?B ?CUST)
(
origin
?B ?AGENT)
(
lessThan
?PRICE2 ?PRICE1))
(
modalAttribute
(
transactionAmount
?B ?PRICE1)
Likely
))
Catalog.kif 430-445
productPrice
Entit�
,
NumeroReale
Unit�DiMisura
(s and
AgenteCognitivo
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
publishedPrice
Entit�
,
NumeroReale
Unit�DiMisura
(s,
AgenteCognitivo
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
Entit�
è un'
istanza
di
Entit�
Processo
è un'
istanza
di
Acquistare
%è una
istanza
immediata %2
Processo
è un
agente
di
AutonomousAgent
Processo
si
originas in
AgenteCognitivo
NumeroReale
è
meno
di
NumeroReale
l'affermazione
transactionAmount
Processo
and
NumeroReale
ha il modello di forza di
Likely
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
greaterThan
(
MultiplicationFn
?N2 2.0) ?N)
(
lessThan
?N2
(
MultiplicationFn
0.8 ?N)))
(
holdsDuring
?T
(
attribute
?H
SevereBloodLoss
)))
Medicine.kif 5968-5982
typicalBloodVolume
Mammifero
and
NumeroReale
Unit�DiMisura
(s
bloodVolume
Entit�
and
NumeroReale
2
Unit�DiMisura
(s vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Mammifero
NumeroReale
2 + 2.0 è
pi
ù grande di
NumeroReale
NumeroReale
2 è
meno
di0.8 +
NumeroReale
attribute
Entit�
and
SevereBloodLoss
vales
durante
PosizioneTemporale
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
lessThan
(
MultiplicationFn
?N2 2.0) ?N))
(
holdsDuring
?T
(
attribute
?H
CatastrophicBloodLoss
)))
Medicine.kif 5950-5962
typicalBloodVolume
Mammifero
and
NumeroReale
Unit�DiMisura
(s
bloodVolume
Entit�
and
NumeroReale
2
Unit�DiMisura
(s vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Mammifero
NumeroReale
2 + 2.0 è
meno
di
NumeroReale
attribute
Entit�
and
CatastrophicBloodLoss
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
minDeviceOperatingTemp
Entit�
and
Entit�
Entit�
(s
Entit�
è un'
istanza
di
UnitOfTemperature
Entit�
è
localizzato
in
Entit�
attribute
Entit�
and
DeviceOn
airTemperature
Entit�
and
Entit�
Entit�
(s
Entit�
è
meno
di
Entit�
vales
durante
PosizioneTemporale
l'affermazione
attribute
Entit�
and
DeviceDamaged
vales
durante
immediatamente
dopo
PosizioneTemporale
ha il modello di forza di
Likely
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
minDeviceStorageTemp
Entit�
and
Entit�
Entit�
(s
Entit�
è un'
istanza
di
UnitOfTemperature
Entit�
è
localizzato
in
Entit�
attribute
Entit�
and
DeviceOff
airTemperature
Entit�
and
Entit�
Entit�
(s
Entit�
è
meno
di
Entit�
vales
durante
PosizioneTemporale
l'affermazione
attribute
Entit�
and
DeviceDamaged
vales
durante
immediatamente
dopo
PosizioneTemporale
ha il modello di forza di
Likely
(=>
(
holdsDuring
?T
(
and
(
oxygenSaturation
?H ?N)
(
lessThan
?N 92.0)))
(
holdsDuring
?T
(
attribute
?H
Hypoxia
)))
Medicine.kif 1240-1246
oxygenSaturation
Entit�
and
Entit�
Entit�
è
meno
di92.0 vales
durante
PosizioneTemporale
attribute
Entit�
and
Hypoxia
vales
durante
PosizioneTemporale
consequent
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 238-264
Anno
è un'
istanza
di l'
anno
NumeroIntero
DeathsPerThousandLiveBirthsFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
NumeroIntero
+ 1000 is
uguale
a
NumeroReale
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
NumeroIntero
+
NumeroReale
is
uguale
a
NumeroReale
(<=>
(
instance
?NUMBER
NegativeRealNumber
)
(
and
(
lessThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1948-1952
NumeroReale
è un'
istanza
di
NumeroRealeNegativo
NumeroReale
è
meno
di0
NumeroReale
è un'
istanza
di
NumeroReale
(<=>
(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1867-1871
NumeroReale
è
minore
o uguale a
NumeroReale
NumeroReale
is
uguale
a
NumeroReale
NumeroReale
è
meno
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
?P
CollegeFreshman
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
lessThan
?T 1))))
Mid-level-ontology.kif 18728-18737
attribute
Posizione
and
CollegeFreshman
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
NumeroReale
student
Umano
and
Organizzazione
vales
durante
NumeroReale
YearDuration
(s
NumeroReale
è
meno
di1
(=>
(
and
(
attribute
?P
CollegeJunior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 2)
(
lessThan
?T 3))))
Mid-level-ontology.kif 18743-18753
attribute
Posizione
and
CollegeJunior
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
NumeroReale
student
Umano
and
Organizzazione
vales
durante
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 2
NumeroReale
è
meno
di3
(=>
(
and
(
attribute
?P
CollegeSenior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 3)
(
lessThan
?T 4))))
Mid-level-ontology.kif 18759-18769
attribute
Posizione
and
CollegeSenior
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
NumeroReale
student
Umano
and
Organizzazione
vales
durante
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 3
NumeroReale
è
meno
di4
(=>
(
and
(
attribute
?P
CollegeSophomore
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 1)
(
lessThan
?T 2))))
Mid-level-ontology.kif 18775-18785
attribute
Posizione
and
CollegeSophomore
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
NumeroReale
student
Umano
and
Organizzazione
vales
durante
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 1
NumeroReale
è
meno
di2
(=>
(
and
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
attribute
?X
HeartHealthyFood
) ?NUMBER1)
(
conditionalProbability
(
attribute
?X
ComfortFood
)
(
not
(
attribute
?X
HeartHealthyFood
)) ?NUMBER2))
(
lessThan
?NUMBER1 ?NUMBER2))
Dining.kif 1148-1156
probabilit
à di
attribute
Entit�
and
ComfortFood
ammesso che
attribute
Entit�
and
HeartHealthyFood
valga è
NumeroReale
probabilit
à di
attribute
Entit�
and
ComfortFood
ammesso che
attribute
Entit�
and
HeartHealthyFood
valga è
NumeroReale
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Merge.kif 2623-2628
decreasesLikelihood
Formula
and
Formula
la
probabilit
à di
Formula
is
uguale
a
NumeroReale
probabilit
à di
Formula
ammesso che
Formula
valga è
NumeroReale
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13467-13477
defaultMinimumSphereRadius
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 è
meno
di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
Il
minimo
comune multiplo di @ROW is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
NumeroIntero
è
meno
di
NumeroIntero
NumeroIntero
NumeroIntero
è un
NumeroIntero
mod
NumeroIntero
is
uguale
a 0
(=>
(
and
(
instance
?A
AcuteAngle
)
(
angularMeasure
?A ?N))
(
lessThan
?N 90.0))
Mid-level-ontology.kif 4868-4872
TwoDimensionalAngle
è un'
istanza
di
AcuteAngle
angularMeasure
TwoDimensionalAngle
and
NumeroReale
NumeroReale
è
meno
di90.0
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 772-795
AutonomousAgent
è un'
istanza
di
AutonomousAgent
potentialCustomer
AgenteCognitivo
and
AutonomousAgent
l'affermazione
Entit�
è un'
istanza
di
Reserving
Entit�
fine
s in
AutonomousAgent
ha il modello di forza di
Necessity
probabilit
à di
Entit�
ES1
Entit�
ES1 è un'
istanza
di
Reservation
reservingEntity
AgenteCognitivo
and
Entit�
ES1
fulfillingEntity
AutonomousAgent
and
Entit�
ES1 ammesso che
customer
AgenteCognitivo
and
AutonomousAgent
valga è
NumeroReale
probabilit
à di
Entit�
ES2
Entit�
ES2 è un'
istanza
di
Reservation
reservingEntity
AgenteCognitivo
and
Entit�
ES2
fulfillingEntity
AutonomousAgent
and
Entit�
ES2 ammesso che
customer
AgenteCognitivo
and
AutonomousAgent
valga è
NumeroReale
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
lessThan
?LENGTH 914))))
Transportation.kif 1391-1400
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
VeryShortRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
meno
di914
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
ElevationLowPointFn
AreaGeografica
and
AreaGeografica
Unit�DiMisura
è un'
istanza
di
UnitOfLength
elevation
ElevationLowPointFn
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
AreaGeografica
NumeroReale
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
is
uguale
a
ElevationLowPointFn
AreaGeografica
elevation
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
lessThan
?FRACTION 0.3))
Weather.kif 892-898
Regione
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
ClearWeather
eventLocated
Processo
and
Regione
cloudCoverFraction
Regione
and
NumeroRealeNonNegativo
NumeroRealeNonNegativo
è
meno
di0.3
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
lessThan
?FRACTION 0.3))))
Weather.kif 882-890
Regione
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
ClearWeather
eventLocated
Processo
and
Regione
NumeroRealeNonNegativo
cloudCoverFraction
Regione
and
NumeroRealeNonNegativo
NumeroRealeNonNegativo
è
meno
di0.3
(=>
(
and
(
instance
?BOTTLE
Bottle
)
(
bottom
?BOTTOM ?BOTTLE)
(
top
?TOP ?BOTTLE)
(
instance
?U
UnitOfLength
)
(
width
?BOTTOM
(
MeasureFn
?WIDTH1 ?U))
(
width
?TOP
(
MeasureFn
?WIDTH2 ?U)))
(
lessThan
?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 4698-4708
OggettoIntegro
è un'
istanza
di
Bottle
il
fondo
di
OggettoIntegro
è
OggettoIntegro
il
vertice
OggettoIntegro
è
OggettoIntegro
Unit�DiMisura
è un'
istanza
di
UnitOfLength
l'
ampiezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s l'
ampiezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?COOL
Cooling
)
(
patient
?COOL ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
lessThan
?QUANT2 ?QUANT1))))
Merge.kif 10961-10974
Processo
è un'
istanza
di
Raffreddamento
Entit�
è un
paziente
di
Processo
Entit�
NumeroReale
and
NumeroReale
Entit�
è un'
istanza
di
MisuraDiTemperatura
Entit�
Entit�
(s is
uguale
a
NumeroReale
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
Entit�
(s is
uguale
a
NumeroReale
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?CPR
CPR
)
(
instance
?C
Compressing
)
(
path
?C ?P)
(
subProcess
?C ?CPR)
(
length
?P
(
MeasureFn
?L
Centimeter
)))
(
and
(
greaterThan
?L 5.0)
(
lessThan
?L 6.0)))
Medicine.kif 620-630
Processo
è un'
istanza
di
CPR
Movimento
è un'
istanza
di
Compressing
Oggetto
è
cammino
mentre
Movimento
si verifica
Movimento
è un
sottoprocesso
di
Processo
la
lunghezza
di
Oggetto
è
NumeroReale
Centimeter
(s
NumeroReale
è
pi
ù grande di 5.0
NumeroReale
è
meno
di6.0
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
not
(
exists
(?PATH1 ?PATH2)
(
and
(
instance
?PATH1
(
CutSetFn
?GRAPH))
(
instance
?PATH2
(
MinimalCutSetFn
?GRAPH))
(
pathLength
?PATH1 ?NUMBER1)
(
pathLength
?PATH2 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2))))
Merge.kif 6099-6106
CamminoDelGrafo
CamminoDelGrafo
CamminoDelGrafo
è un'
istanza
di l'
insieme
di cammini che partiziona
Grafo
in due grafi separati
CamminoDelGrafo
è un'
istanza
di l'
insieme
di cammini minimi che partiziona
Grafo
in due separati grafi la
lunghezza
di
CamminoDelGrafo
è
NumeroInteroPositivo
la
lunghezza
di
CamminoDelGrafo
è
NumeroInteroPositivo
NumeroInteroPositivo
è
meno
di
NumeroInteroPositivo
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