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
FerryBoat
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
O argumento numero 1 de
lessThan
e' uma
instancia
de
Numero Real
(
domain
lessThan
2
RealNumber
)
Merge.kif 1837-1837
O argumento numero 2 de
lessThan
e' uma
instancia
de
Numero Real
(
instance
lessThan
BinaryPredicate
)
Merge.kif 1831-1831
lessThan
e' uma
instancia
de
Predicado Binario
(
instance
lessThan
IrreflexiveRelation
)
Merge.kif 1833-1833
lessThan
e' uma
instancia
de
Relacao Irreflexiva
(
instance
lessThan
RelationExtendedToQuantities
)
Merge.kif 1834-1834
lessThan
e' uma
instancia
de
Relacao estendida a Quantidades
(
instance
lessThan
TransitiveRelation
)
Merge.kif 1832-1832
lessThan
e' uma
instancia
de
Relacao Transitiva
(
trichotomizingOn
lessThan
RealNumber
)
Merge.kif 1835-1835
lessThan
e'
tricotomizado
en
Numero Real
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
e'
inverso
de
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
Objeto auto-conectado
e' uma
instancia
de
LiquidDrop
approximateDiameter
Objeto auto-conectado
and
Numero Real
Micrometer
(s) 500.0 e'
menos
que
Numero Real
Objeto auto-conectado
e' uma
instancia
de
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
Numero Real
Agreement
e' uma
instancia
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
FinancialInstrument
Price e'
menos
que
Numero Real
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
Numero Real
Agreement
e' uma
instancia
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
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
Numero Real
Agreement
e' uma
instancia
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
FinancialInstrument
Price e'
menos
que
Numero Real
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
Numero Real
Agreement
e' uma
instancia
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
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
,
Intervalo Temporal
and
Numero Inteiro
Intervalo Temporal
e' uma
instancia
de
Minuto
Numero Inteiro
Numero Inteiro
e' uma
instancia
de
Recreacao ou Exercicio
Numero Inteiro
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontece
durante
tempo
de existencia de
Numero Inteiro
HumanAdult
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Numero Inteiro
e'
maior
que 16
Numero Inteiro
e'
menos
que 12
Healthy
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
(=>
(
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
,
Dia
and
Numero Real
UnitedStatesDollar
(s)
Numero Real
e'
menos
que 0
Numero Real
e'
igual
a (0 +
Numero Real
)
overdraft
FinancialAccount
,
Numero Real
UnitedStatesDollar
(s) and
Dia
(=>
(
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
Sequencia Simbolica
e'
igual
a
ReverseFn
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
igual
a
StringLengthFn
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
maior
que 1
Numero Inteiro nao-negativo
e'
maior
que 0
Numero Inteiro nao-negativo
e'
menos
que
Numero Inteiro nao-negativo
Numero Inteiro
e'
igual
a o
teto
de (
Numero Inteiro nao-negativo
+ 1) + 2
Numero Inteiro nao-negativo
EW e'
igual
a ((
Numero Inteiro
+
Numero Inteiro nao-negativo
) +
Numero Inteiro
)
Sequencia Simbolica
e'
igual
a
SubstringFn
Sequencia Simbolica
,
Numero Inteiro nao-negativo
and (1 +
Numero Inteiro nao-negativo
)
Sequencia Simbolica
e'
igual
a
SubstringFn
Sequencia Simbolica
,
Numero Inteiro nao-negativo
EW and (1 +
Numero Inteiro nao-negativo
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
e' uma
instancia
de
FinancialAccount
minimumBalance
FinancialAccount
,
UsingAnAccount
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
currentAccountBalance
FinancialAccount
,
Dia
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
Processo
Processo
e' uma
instancia
de
Penalty
a
data
de
Processo
e'
Dia
Processo
termina
em
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
e' uma
instancia
de
LiabilityAccount
minimumPayment
LiabilityAccount
,
Numero Real
Unidade de Medida
(s) and
MonthDuration
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Processo
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Mes
Processo
termina
em
CurrencyFn
LiabilityAccount
paymentsPerPeriod
LiabilityAccount
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
Numero Real
e'
menos
que
Numero Real
Processo
Processo
e' uma
instancia
de
Penalty
Processo
termina
em
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
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
maior
que 12
Numero Real
e'
menos
que 20
Entidade
e' uma
instancia
de
Teenager
vale
durante
Posicao Temporal
(=>
(
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
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menos
que 18
Entidade
e' uma
instancia
de
HumanYouth
vale
durante
Posicao Temporal
(=>
(
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 13885-13900
Entidade
e' uma
instancia
de
Substancia Pura
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
meltingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
a
medida
de
Entidade
e'
Numero Real
Unidade de Medida
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
menos
que
Numero Real
Liquid
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Intervalo Temporal
engloba
tempo
de existencia de
Processo
Processo
e' uma
instancia
de
Derreter
Entidade
e' um
patient
de
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 13902-13915
Entidade
e' uma
instancia
de
Substancia Pura
meltingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s) a
medida
de
Entidade
e'
Numero Real
Unidade de Medida
(s)
vale
durante
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Numero Real
e'
menos
que
Numero Real
Solid
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Intervalo Temporal
engloba
tempo
de existencia de
Processo
Processo
e' uma
instancia
de
Congelar
Entidade
e' um
patient
de
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
Area Aquatica
e' uma
instancia
de
Waterway
depth
Fisico
,
Area Aquatica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
menos
que
Numero Real
navigableForDraft
Area Aquatica
and
Numero Real
Unidade de Medida
(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 13831-13840
Objeto
e' uma
instancia
de
Substancia Pura
Substancia Pura
e' uma
sub
-classe de
Substancia Pura
boilingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s)
meltingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s) a
medida
de
Objeto
e'
Numero Real
KelvinDegree
(s)
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
menos
que
Numero Real
Liquid
e' um
atributo
de
Objeto
(=>
(
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 13842-13851
Objeto
e' uma
instancia
de
Substancia Pura
Substancia Pura
e' uma
sub
-classe de
Substancia Pura
meltingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s)
barometricPressure
Objeto
and
Numero Real
InchMercury
(s)
Numero Real
e'
maior
que 29.92 a
medida
de
Objeto
e'
Numero Real
KelvinDegree
(s)
Numero Real
e'
menos
que
Numero Real
Solid
e' um
atributo
de
Objeto
(=>
(
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
Fisico
e' um
membro
de (@ROW)
Fisico
e' um
membro
de (@ROW)
Entidade
elemento
de (@ROW) e'
igual
a
Fisico
Entidade
elemento
de (@ROW) e'
igual
a
Fisico
Inteiro positivo
e'
menos
que
Inteiro positivo
tempo
de existencia de
Fisico
acontence
antes
de
tempo
de existencia de
Fisico
(=>
(
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
Entidade
,
Numero Real
Unidade de Medida
(s) and
Agente Cognitivo
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
publishedPrice
Entidade
,
Numero Real
Unidade de Medida
(s),
Agente Cognitivo
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
Entidade
e' uma
instancia
de
Entidade
Processo
e' uma
instancia
de
Comprar
AutonomousAgent
e' uma
instancia
imediata de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
Agente Cognitivo
Numero Real
e'
menos
que
Numero Real
o argumento
transactionAmount
Processo
and
Numero Real
tem a
forca
modal
de
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
Mamifero
and
Numero Real
Unidade de Medida
(s)
bloodVolume
Entidade
and
Numero Real
2
Unidade de Medida
(s)
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Mamifero
Numero Real
2 + 2.0 e'
maior
que
Numero Real
Numero Real
2 e'
menos
que 0.8 +
Numero Real
SevereBloodLoss
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
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
Mamifero
and
Numero Real
Unidade de Medida
(s)
bloodVolume
Entidade
and
Numero Real
2
Unidade de Medida
(s)
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Mamifero
Numero Real
2 + 2.0 e'
menos
que
Numero Real
CatastrophicBloodLoss
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
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
Entidade
and
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfTemperature
Entidade
e'
situado
em
Entidade
DeviceOn
e' um
atributo
de
Entidade
airTemperature
Entidade
and
Entidade
Entidade
(s)
Entidade
e'
menos
que
Entidade
vale
durante
Posicao Temporal
o argumento
DeviceDamaged
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
tem a
forca
modal
de
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
Entidade
and
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfTemperature
Entidade
e'
situado
em
Entidade
DeviceOff
e' um
atributo
de
Entidade
airTemperature
Entidade
and
Entidade
Entidade
(s)
Entidade
e'
menos
que
Entidade
vale
durante
Posicao Temporal
o argumento
DeviceDamaged
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
tem a
forca
modal
de
Likely
(=>
(
holdsDuring
?T
(
and
(
oxygenSaturation
?H ?N)
(
lessThan
?N 92.0)))
(
holdsDuring
?T
(
attribute
?H
Hypoxia
)))
Medicine.kif 1240-1246
oxygenSaturation
Entidade
and
Entidade
Entidade
e'
menos
que 92.0
vale
durante
Posicao Temporal
Hypoxia
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
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
Ano
e' uma
instancia
de o
ano
Numero Inteiro
DeathsPerThousandLiveBirthsFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+
Numero Real
e'
igual
a
Numero Real
(<=>
(
instance
?NUMBER
NegativeRealNumber
)
(
and
(
lessThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1948-1952
Numero Real
e' uma
instancia
de
Numero Real negativo
Numero Real
e'
menos
que 0
Numero Real
e' uma
instancia
de
Numero Real
(<=>
(
lessThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1867-1871
Numero Real
e'
menor
ou igual a
Numero Real
Numero Real
e'
igual
a
Numero Real
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Anemia
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Sangue
Objeto
e' uma &parte de
Objeto
Female
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 0.1
Liter
(s)
Objeto
E e' uma
instancia
de
Hemoglobin
Objeto
E e' uma &parte de
Objeto
Objeto
E2 e' uma
instancia
de
Hemoglobin
Objeto
E e'
igual
a
Objeto
E2
Objeto
2 e' uma &parte de
Objeto
a
medida
de
Objeto
E e'
Numero Real
Gram
(s)
Numero Real
e'
menos
que 12
(=>
(
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
Anemia
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Sangue
Objeto
e' uma &parte de
Objeto
Male
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 0.1
Liter
(s)
Objeto
E e' uma
instancia
de
Hemoglobin
Objeto
E e' uma &parte de
Objeto
Objeto
E2 e' uma
instancia
de
Hemoglobin
Objeto
E e'
igual
a
Objeto
E2
Objeto
2 e' uma &parte de
Objeto
a
medida
de
Objeto
E e'
Numero Real
Gram
(s)
Numero Real
e'
menos
que 13
(=>
(
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 18727-18736
CollegeFreshman
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
menos
que 1
(=>
(
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 18742-18752
CollegeJunior
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 2
Numero Real
e'
menos
que 3
(=>
(
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 18758-18768
CollegeSenior
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 3
Numero Real
e'
menos
que 4
(=>
(
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 18774-18784
CollegeSophomore
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 1
Numero Real
e'
menos
que 2
(=>
(
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
A
probabilidade
de
ComfortFood
e' um
atributo
de
Entidade
sabendo que
HeartHealthyFood
e' um
atributo
de
Entidade
vale e'
Numero Real
a
probabilidade
de
ComfortFood
e' um
atributo
de
Entidade
sabendo que
HeartHealthyFood
e' um
atributo
de
Entidade
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Merge.kif 2623-2628
Formula
diminui
a probabilidade de
Formula
a
probabilidade
de
Formula
e'
igual
a
Numero Real
a
probabilidade
de
Formula
sabendo que
Formula
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
(=>
(
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 13576-13585
defaultMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
o argumento
Entidade
Numero Real
UANTITY
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Unidade de Medida
(s)
Numero Real
UANTITY e'
menos
que
Numero Real
+ .5 tem a
forca
modal
de
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 13504-13513
defaultMinimumMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
o argumento
Entidade
Numero Real
UANTITY
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Unidade de Medida
(s)
Numero Real
UANTITY e'
menos
que
Numero Real
tem a
forca
modal
de
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 13515-13526
defaultMinimumMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Classe
e' uma
sub
-classe de
NonCompositeUnitOfMeasure
Unidade de Medida
e' uma
instancia
de
Classe
o argumento
Entidade
Numero Real
UANTITY and
Entidade
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Entidade
(s)
Entidade
e' uma
instancia
de
Classe
Numero Real
UANTITY e'
menos
que
Numero Real
tem a
forca
modal
de
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 13466-13476
defaultMinimumSphereRadius
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Objeto
Sphere
e' um
atributo
de
Objeto
o argumento
Numero Real
ADIUS
sphereRadius
Objeto
and
Numero Real
ADIUS
Unidade de Medida
(s)
Numero Real
ADIUS e'
menos
que
Numero Real
tem a
forca
modal
de
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
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e'
menos
que
Numero Inteiro
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 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
e' uma
instancia
de
AutonomousAgent
potentialCustomer
Agente Cognitivo
and
AutonomousAgent
o argumento
Entidade
e' uma
instancia
de
Reserving
Entidade
termina
em
AutonomousAgent
tem a
forca
modal
de
Necessity
a
probabilidade
de
Entidade
ES1
Entidade
ES1 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES1
fulfillingEntity
AutonomousAgent
and
Entidade
ES1 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
a
probabilidade
de
Entidade
ES2
Entidade
ES2 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES2
fulfillingEntity
AutonomousAgent
and
Entidade
ES2 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
Airport
VeryShortRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
menos
que 914
(=>
(
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
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
ElevationLowPointFn
Area Geografica
and
Area Geografica
Unidade de Medida
e' uma
instancia
de
UnitOfLength
elevation
ElevationLowPointFn
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Area Geografica
Numero Real
geographicSubregion
Area Geografica
and
Area Geografica
Area Geografica
e'
igual
a
ElevationLowPointFn
Area Geografica
elevation
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
lessThan
?FRACTION 0.3))
Weather.kif 888-894
Regiao
e' uma
instancia
de
Area Geografica
Processo
e' uma
instancia
de
ClearWeather
eventLocated
Processo
and
Regiao
cloudCoverFraction
Regiao
and
Numero Real nao-negativo
Numero Real nao-negativo
e'
menos
que 0.3
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
lessThan
?FRACTION 0.3))))
Weather.kif 878-886
Regiao
e' uma
instancia
de
Area Geografica
Processo
e' uma
instancia
de
ClearWeather
eventLocated
Processo
and
Regiao
Numero Real nao-negativo
cloudCoverFraction
Regiao
and
Numero Real nao-negativo
Numero Real nao-negativo
e'
menos
que 0.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
Objeto auto-conectado
e' uma
instancia
de
Bottle
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
a
largura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
largura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
(=>
(
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 10983-10996
Processo
e' uma
instancia
de
Resfriar
Entidade
e' um
patient
de
Processo
Entidade
Numero Real
and
Numero Real
Entidade
e' uma
instancia
de
Medida de Temperatura
Entidade
Entidade
(s) e'
igual
a
Numero Real
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
Entidade
(s) e'
igual
a
Numero Real
vale
durante o
fim
de
tempo
de existencia de
Processo
Numero Real
e'
menos
que
Numero Real
(=>
(
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
e' uma
instancia
de
CPR
Movimento
e' uma
instancia
de
Compressing
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
e' um
sub
-processo de
Processo
o
comprimento
de
Objeto
e'
Numero Real
Centimeter
(s)
Numero Real
e'
maior
que 5.0
Numero Real
e'
menos
que 6.0
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
ComputerProcess
e' uma
instancia
de
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
ComputerProcess
memorySize
DigitalData
and
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
ComputerProcess
Numero Real
e'
menos
que
Numero Real
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
Caminho do Grafo
Caminho do Grafo
Caminho do Grafo
e' uma
instancia
de o
conjunto
de caminhos que dividem
Grafo
em dois grafos distintos
Caminho do Grafo
e' uma
instancia
de o
conjunto
minimal de caminhos que dividem
Grafo
em dois grafos distintos o
comprimento
de
Caminho do Grafo
e'
Inteiro positivo
o
comprimento
de
Caminho do Grafo
e'
Inteiro positivo
Inteiro positivo
e'
menos
que
Inteiro positivo
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