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
overlapsTemporally
Sigma KEE - overlapsTemporally
overlapsTemporally
appearance as argument number 1
(
documentation
overlapsTemporally
ChineseLanguage
"(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)的意思是
TimeInterval
?INTERVAL1 和 ?INTERVAL2 有
TimeInterval
作为它们的 一个共同部分。")
chinese_format.kif 2717-2719
(
documentation
overlapsTemporally
EnglishLanguage
"(
overlapsTemporally
?INTERVAL1 ?INTERVAL2) means that the
TimeInterval
s ?INTERVAL1 and ?INTERVAL2 have a
TimeInterval
as a common part.")
Merge.kif 8230-8232
(
documentation
overlapsTemporally
JapaneseLanguage
"(
overlapsTemporally
?INTERVAL1 ?INTERVAL2) とは、
TimeInterval
s ?INTERVAL1 と ?INTERVAL2 が共通の部分として
TimeInterval
を持っていることを意味する。")
japanese_format.kif 1441-1443
(
domain
overlapsTemporally
1
TimeInterval
)
Merge.kif 8227-8227
O argumento numero 1 de
overlapsTemporally
e' uma
instancia
de
Intervalo Temporal
(
domain
overlapsTemporally
2
TimeInterval
)
Merge.kif 8228-8228
O argumento numero 2 de
overlapsTemporally
e' uma
instancia
de
Intervalo Temporal
(
instance
overlapsTemporally
BinaryPredicate
)
Merge.kif 8223-8223
overlapsTemporally
e' uma
instancia
de
Predicado Binario
(
instance
overlapsTemporally
ReflexiveRelation
)
Merge.kif 8225-8225
overlapsTemporally
e' uma
instancia
de
Relacao Reflexiva
(
instance
overlapsTemporally
SymmetricRelation
)
Merge.kif 8226-8226
overlapsTemporally
e' uma
instancia
de
Relacao Simetrica
(
instance
overlapsTemporally
TemporalRelation
)
Merge.kif 8224-8224
overlapsTemporally
e' uma
instancia
de
Relacao Temporal
appearance as argument number 2
(
format
ChineseLanguage
overlapsTemporally
"%2 时段 %n{doesn't} 和 %1 重叠")
chinese_format.kif 431-431
(
format
EnglishLanguage
overlapsTemporally
"%2 %n{doesn't} overlap%p{s} %1")
english_format.kif 437-437
(
format
FrenchLanguage
overlapsTemporally
"%2 %n{ne} recouvre %n{pas} %1")
french_format.kif 250-250
(
format
ItalianLanguage
overlapsTemporally
"%2 %n{non} sovrappone%p{s} %1")
relations-it.txt 208-208
(
format
JapaneseLanguage
overlapsTemporally
"%2 は %1 と overlap%p{s} %n{dない}")
japanese_format.kif 2044-2044
(
format
PortugueseLanguage
overlapsTemporally
"%2 %n{nao} engloba %n %1")
portuguese_format.kif 202-202
(
format
cz
overlapsTemporally
"%2 %n{doesn't} overlap%p{s} %1")
relations-cz.txt 256-256
(
format
de
overlapsTemporally
"%2
de
ckt sich mit %1 %n{nicht}")
relations-de.txt 562-562
(
format
hi
overlapsTemporally
"%2 %1 se ativyaapta %n{nahiin} hai")
relations-hindi.txt 246-246
(
format
ro
overlapsTemporally
"%2 %n{nu} overlap%t{se suprapune} peste %1")
relations-ro.kif 271-271
(
format
sv
overlapsTemporally
"%2 överlappar %n{inte} %1")
relations-sv.txt 274-274
(
format
tg
overlapsTemporally
"%2 %n ay natataklob sa %1")
relations-tg.txt 398-398
(
termFormat
ChineseLanguage
overlapsTemporally
"在时间上重叠")
chinese_format.kif 432-432
(
termFormat
ChineseLanguage
overlapsTemporally
"暂时重叠")
domainEnglishFormat.kif 43788-43788
(
termFormat
ChineseTraditionalLanguage
overlapsTemporally
"暫時重疊")
domainEnglishFormat.kif 43787-43787
(
termFormat
EnglishLanguage
overlapsTemporally
"overlap temporally")
domainEnglishFormat.kif 43786-43786
(
termFormat
tg
overlapsTemporally
"natataklob ng panahon")
relations-tg.txt 399-399
antecedent
(=>
(
and
(
instance
?LOW
LowTide
)
(
instance
?HIGH
HighTide
)
(
eventLocated
?LOW ?PLACE)
(
eventLocated
?HIGH ?PLACE)
(
instance
?DAY
Day
)
(
overlapsTemporally
?LOW ?DAY)
(
overlapsTemporally
?HIGH ?DAY))
(
exists
(?AMOUNT1 ?AMOUNT2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
?LOW
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT1 ?U)))
(
holdsDuring
?HIGH
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT2 ?U)))
(
greaterThan
?AMOUNT2 ?AMOUNT1))))
Geography.kif 4958-4976
Intervalo Temporal
e' uma
instancia
de
LowTide
Intervalo Temporal
e' uma
instancia
de
HighTide
eventLocated
Intervalo Temporal
and
Objeto
eventLocated
Intervalo Temporal
and
Objeto
Intervalo Temporal
e' uma
instancia
de
Dia
Intervalo Temporal
engloba
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
Numero Real
Numero Real
and
Entidade
Entidade
e' uma
instancia
de
UnitOfLength
waterDepth
Objeto
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
waterDepth
Objeto
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
lowTide
?PLACE ?TIME1
(
MeasureFn
?AMOUNT1 ?U))
(
highTide
?PLACE ?TIME2
(
MeasureFn
?AMOUNT2 ?U))
(
instance
?U
UnitOfLength
)
(
instance
?DAY
Day
)
(
overlapsTemporally
?TIME1 ?DAY)
(
overlapsTemporally
?TIME2 ?DAY))
(
greaterThan
?AMOUNT1 ?AMOUNT2))
Geography.kif 5027-5037
lowTide
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
highTide
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Intervalo Temporal
e' uma
instancia
de
Dia
Intervalo Temporal
engloba
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8234-8240
Intervalo Temporal
engloba
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8290-8296
Intervalo Temporal
engloba
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
consequent
(<=>
(
yearOfFounding
?O ?Y)
(
exists
(?F ?YEAR)
(
and
(
overlapsTemporally
(
WhenFn
?F) ?YEAR)
(
instance
?YEAR
(
YearFn
?Y))
(
instance
?F
Founding
)
(
result
?F ?O))))
Mid-level-ontology.kif 968-975
yearOfFounding
Organizacao
and
Numero Inteiro
Processo
Numero Inteiro
EAR
Numero Inteiro
EAR
engloba
tempo
de existencia de
Processo
Numero Inteiro
EAR e' uma
instancia
de o
ano
Numero Inteiro
Processo
e' uma
instancia
de
Founding
Organizacao
e' o
resultado
de
Processo
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6231-6244
allergic
Humano
and
Substancia
Substancia
UB e' uma
instancia
de
Substancia
Substancia
UB
encontra
Humano
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
AllergicReaction
Humano
experimenta
Entidade
tempo
de existencia de
Entidade
engloba
Posicao Temporal
o
comeco
de
Posicao Temporal
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
attribute
?Order
GTCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Execute ?Time)
(
and
(
instance
?Execute
FillingAnOrder
)
(
patient
?Execute ?Order)
(
equal
(
WhenFn
?Execute) ?Time)
(
overlapsTemporally
?Time ?Period)))
(
exists
(?Cancel ?End)
(
and
(
instance
?Cancel
CancellingAnOrder
)
(
patient
?Cancel ?Order)
(
equal
(
WhenFn
?Cancel) ?End)
(
finishes
?End ?Period)))))
FinancialOntology.kif 2917-2933
GTCOrder
e' um
atributo
de
Agreement
agreementPeriod
Agreement
and
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
FillingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
Processo
Intervalo Temporal
Processo
e' uma
instancia
de
CancellingAnOrder
Agreement
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
(=>
(
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
LimitOrder
e' um
atributo
de
Transacao Financeira
partyToAgreement
Transacao Financeira
and
Agreement
Broker
e' um
atributo
de
Agreement
orderFor
Transacao Financeira
,
Comprar
and
Security
a
medida
de
Security
e'
Quantidade Fisica
limitPrice
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
askPrice
Security
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Numero Real
e'
menor
ou igual a
Numero Real
Agreement
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
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
LimitOrder
e' um
atributo
de
Transacao Financeira
partyToAgreement
Transacao Financeira
and
Agreement
Broker
e' um
atributo
de
Agreement
orderFor
Transacao Financeira
,
Vender
and
Security
a
medida
de
Security
e'
Quantidade Fisica
limitPrice
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
bidPrice
Security
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
ou igual a
Numero Real
Agreement
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
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
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Entidade
e' uma
instancia
de
Substancia Pura
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'
maior
ou igual a
Numero Real
Gas
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Intervalo Temporal
engloba
tempo
de existencia de
Processo
Processo
e' uma
instancia
de
Ferver
Entidade
e' um
patient
de
Processo
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18203-18209
Embryonic
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Nascimento
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
AutonomousAgent
experimenta
Processo
Intervalo Temporal
nao
engloba
%n
Intervalo Temporal
(=>
(
and
(
instance
?C
Convoy
)
(
member
?VEH ?C))
(
exists
(?DRIVE)
(
and
(
instance
?DRIVE
Driving
)
(
overlapsTemporally
(
WhenFn
?DRIVE)
(
WhenFn
?C))
(
patient
?DRIVE ?VEH))))
Mid-level-ontology.kif 22348-22356
Colecao
e' uma
instancia
de
Convoy
Fisico
e'
membro
de
Colecao
Processo
Processo
e' uma
instancia
de
Dirigir
tempo
de existencia de
Colecao
engloba
tempo
de existencia de
Processo
Fisico
e' um
patient
de
Processo
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
Processo
e' uma
instancia
de
Dodging
Processo
e' um
agente
de
AutonomousAgent
Processo
T e'
igual
a
tempo
de existencia de
Processo
Processo
tem por
fim
Entidade
Processo
T
encontra
tempo
de existencia de
Entidade
tempo
de existencia de
Entidade
engloba
Processo
T
Entidade
e' uma
instancia
de
Impactar
AutonomousAgent
e' um
patient
de
Entidade
(=>
(
and
(
instance
?DIGEST
Digesting
)
(
agent
?DIGEST ?ORGANISM))
(
exists
(?INGEST)
(
and
(
instance
?INGEST
Ingesting
)
(
agent
?INGEST ?ORGANISM)
(
overlapsTemporally
(
WhenFn
?INGEST)
(
WhenFn
?DIGEST)))))
Merge.kif 10289-10297
Processo
e' uma
instancia
de
Digesting
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Ingerir
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
engloba
tempo
de existencia de
Processo
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2471-2482
Intervalo Temporal
e' uma
instancia
de
Drought
eventLocated
Intervalo Temporal
and
Objeto
Intervalo Temporal
Objeto
Intervalo Temporal
e' uma
instancia
de
Raining
Objeto
e' uma
instancia
de
Regiao
eventLocated
Intervalo Temporal
and
Objeto
Objeto
engloba
Objeto
Intervalo Temporal
engloba
Intervalo Temporal
(=>
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8242-8247
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
(=>
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8298-8303
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1464-1473
Intervalo Temporal
e' uma
instancia
de
MusclesRelaxing
AutonomousAgent
experimenta
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
MusclesBecomingTense
AutonomousAgent
experimenta
Intervalo Temporal
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1450-1459
Intervalo Temporal
e' uma
instancia
de
MusclesBecomingTense
AutonomousAgent
experimenta
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
MusclesRelaxing
AutonomousAgent
experimenta
Intervalo Temporal
(=>
(
and
(
instance
?R
RelievingPain
)
(
patient
?R ?H))
(
and
(
exists
(?P1)
(
and
(
overlapsTemporally
(
WhenFn
?P1)
(
ImmediatePastFn
(
WhenFn
?R)))
(
instance
?P1
Pain
)
(
located
?P1 ?H)))
(
not
(
exists
(?P2)
(
and
(
overlapsTemporally
(
WhenFn
?P2)
(
ImmediateFutureFn
(
WhenFn
?R)))
(
instance
?P2
Pain
)
(
located
?P2 ?H))))))
Mid-level-ontology.kif 5779-5798
Processo
e' uma
instancia
de
RelievingPain
Objeto
e' um
patient
de
Processo
Fisico
imediatemente
antes
de
tempo
de existencia de
Processo
engloba
tempo
de existencia de
Fisico
Fisico
e' uma
instancia
de
Pain
Fisico
e'
situado
em
Objeto
Fisico
imediatemente
apos
tempo
de existencia de
Processo
engloba
tempo
de existencia de
Fisico
Fisico
e' uma
instancia
de
Pain
Fisico
e'
situado
em
Objeto
(=>
(
and
(
instance
?REL
BinaryPredicate
)
(
instance
?REL
SpatialRelation
)
(
instance
?OBJ1
Physical
)
(
instance
?OBJ2
Physical
)
(?REL ?OBJ1 ?OBJ2))
(
overlapsTemporally
(
WhenFn
?OBJ1)
(
WhenFn
?OBJ2)))
Merge.kif 8249-8256
Entidade
e' uma
instancia
de
Predicado Binario
Entidade
e' uma
instancia
de
Relacao Espacial
Fisico
e' uma
instancia
de
Fisico
Fisico
e' uma
instancia
de
Fisico
Entidade
Fisico
and
Fisico
tempo
de existencia de
Fisico
engloba
tempo
de existencia de
Fisico
(=>
(
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
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 13880-13893
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
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8269-8279
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
o
comeco
de
Intervalo Temporal
ocorre
antes ou durante o
comeco
de
Intervalo Temporal
o
comeco
de
Intervalo Temporal
comeca
antes
de o
fim
de
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
(=>
(
and
(
instance
?W
WorkLeave
)
(
instance
?WORK
Working
)
(
agent
?W ?PERSON)
(
agent
?WORK ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
overlapsTemporally
(
WhenFn
?W)
(
WhenFn
?WORK))))
Mid-level-ontology.kif 20426-20436
Processo
e' uma
instancia
de
WorkLeave
Processo
ORK e' uma
instancia
de
Working
Processo
e' um
agente
de
AutonomousAgent
Processo
ORK e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
tempo
de existencia de
Processo
ORK nao
engloba
%n
tempo
de existencia de
Processo
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Process
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA)
(
overlapsTemporally
(
WhenFn
?ITEM)
(
WhenFn
?AREA)))))
Geography.kif 2280-2290
naturalHazardTypeInArea
Area Geografica
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
Fisico
Fisico
e' uma
instancia
de
Fisico
Fisico
e'
situado
em
Area Geografica
tempo
de existencia de
Area Geografica
engloba
tempo
de existencia de
Fisico
(=>
(
attribute
?H
ArtCritic
)
(
hasPurpose
?H
(
exists
(?AW ?T ?CLASS)
(
and
(
instance
?AW
ArtWork
)
(
overlapsTemporally
(
WhenFn
?AW)
(
WhenFn
?H))
(
instance
?T ?CLASS)
(
subclass
?CLASS
Article
)
(
authors
?H ?CLASS)
(
refers
?T ?AW)))))
Mid-level-ontology.kif 21089-21101
ArtCritic
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Objeto de Arte
tempo
de existencia de
Objeto
engloba
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' uma
sub
-classe de
Artigo
Objeto
e' o
autor
de
Entidade
Entidade
inclui uma
referencia
a
Entidade
(=>
(
attribute
?H
NewsReporter
)
(
hasPurpose
?H
(
exists
(?EV ?T ?NEWS)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
instance
?T ?NEWS)
(
or
(
subclass
?NEWS
Newspaper
)
(
subclass
?NEWS
NewsProgram
))
(
authors
?H ?NEWS)
(
refers
?T ?EV)))))
Mid-level-ontology.kif 21066-21080
NewsReporter
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
tempo
de existencia de
Objeto
engloba
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' uma
sub
-classe de
Newspaper
Entidade
e' uma
sub
-classe de
NewsProgram
Objeto
e' o
autor
de
Entidade
Entidade
inclui uma
referencia
a
Entidade
(=>
(
dateDissolved
?THING ?DATE)
(
exists
(?DAY)
(
and
(
instance
?DAY ?DATE)
(
overlapsTemporally
?DAY
(
EndFn
(
WhenFn
?THING))))))
Government.kif 2558-2563
dateDissolved
Fisico
and
Posicao Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Posicao Temporal
o
fim
de
tempo
de existencia de
Fisico
engloba
Intervalo Temporal
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
not
(
overlapsTemporally
CommonEra
BeforeCommonEra
))
Mid-level-ontology.kif 7891-7891
BeforeCommonEra
nao
engloba
%n
CommonEra
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