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
temporalPart
Sigma KEE - temporalPart
temporalPart
appearance as argument number 1
(
documentation
temporalPart
ChineseLanguage
"这是类似空间谓词
part
的时间部分。 (
temporalPart
?POS1 ?POS2)的意思是
TimePosition
?POS1 是
TimePosition
?POS2 的一部分。 注:因为
temporalPart
是
ReflexiveRelation
,所以每个 TimePostion 都是它本身的 一个
temporalPart
。")
chinese_format.kif 2693-2696
(
documentation
temporalPart
EnglishLanguage
"The temporal analogue of the spatial
part
predicate. (
temporalPart
?POS1 ?POS2) means that
TimePosition
?POS1 is part of
TimePosition
?POS2. Note that since
temporalPart
is a
ReflexiveRelation
every TimePostion is a
temporalPart
of itself.")
Merge.kif 7957-7960
(
documentation
temporalPart
JapaneseLanguage
"空間
part
述部の時間アナログ。(
temporalPart
?POS1 ?POS2) とは、
TimePosition
?POS1が
TimePosition
?POS2 の一部であることを意味する。 注:
temporalPart
はすべての TimePostion の
ReflexiveRelation
であるため、それ自体の TimePostion である。")
japanese_format.kif 1416-1419
(
domain
temporalPart
1
TimePosition
)
Merge.kif 7954-7954
O argumento numero 1 de
temporalPart
e' uma
instancia
de
Posicao Temporal
(
domain
temporalPart
2
TimePosition
)
Merge.kif 7955-7955
O argumento numero 2 de
temporalPart
e' uma
instancia
de
Posicao Temporal
(
instance
temporalPart
BinaryPredicate
)
Merge.kif 7951-7951
temporalPart
e' uma
instancia
de
Predicado Binario
(
instance
temporalPart
PartialOrderingRelation
)
Merge.kif 7953-7953
temporalPart
e' uma
instancia
de
Relacao parcialmente Ordenada
(
instance
temporalPart
TemporalRelation
)
Merge.kif 7952-7952
temporalPart
e' uma
instancia
de
Relacao Temporal
appearance as argument number 2
(
format
ChineseLanguage
temporalPart
"%1 时段 %n 是 %2 时段 的一
part
")
chinese_format.kif 417-417
(
format
EnglishLanguage
temporalPart
"%1 is %n a
part
of %2")
english_format.kif 423-423
(
format
FrenchLanguage
temporalPart
"%1 est %n une
part
ie de %2")
french_format.kif 243-243
(
format
ItalianLanguage
temporalPart
"%1 è %n una
part
e di%2")
relations-it.txt 296-296
(
format
JapaneseLanguage
temporalPart
"%1 は %2 の
part
では %n")
japanese_format.kif 2037-2037
(
format
PortugueseLanguage
temporalPart
"%1 e' %n uma &parte de %2")
portuguese_format.kif 195-195
(
format
cz
temporalPart
"%1 %p{je} %n{nen�} a
part
of %2'")
relations-cz.txt 248-248
(
format
de
temporalPart
"%1 ist ein teil von %2 %n{nicht}")
relations-de.txt 541-541
(
format
hi
temporalPart
"%1 %2 kaa bhaaga %n hai")
relations-hindi.txt 332-332
(
format
ro
temporalPart
"%1 %n{nu} este o
part
%t{parte} a lui %2")
relations-ro.kif 264-264
(
format
sv
temporalPart
"%1 är %n{inte} en
de
l av %2")
relations-sv.txt 264-264
(
format
tg
temporalPart
"%1 %n ay ang bahagi ng %2")
relations-tg.txt 488-488
(
relatedInternalConcept
typicalTemporalPart
temporalPart
)
Cars.kif 1433-1433
typicalTemporalPart
e'
relacionado
internamente por SUMO a
temporalPart
(
relatedInternalConcept
typicallyContainsTemporalPart
temporalPart
)
Cars.kif 1475-1475
typicallyContainsTemporalPart
e'
relacionado
internamente por SUMO a
temporalPart
(
subrelation
finishes
temporalPart
)
Merge.kif 8086-8086
finishes
e' uma
sub
-relacao de
temporalPart
(
subrelation
starts
temporalPart
)
Merge.kif 8054-8054
starts
e' uma
sub
-relacao de
temporalPart
(
termFormat
ChineseLanguage
temporalPart
"时间部分")
chinese_format.kif 418-418
(
termFormat
ChineseTraditionalLanguage
temporalPart
"時間部分")
domainEnglishFormat.kif 57451-57451
(
termFormat
EnglishLanguage
temporalPart
"temporal part")
domainEnglishFormat.kif 57450-57450
antecedent
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8303-8310
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma &parte de
Intervalo Temporal
Ponto no tempo
e' uma &parte de
Intervalo Temporal
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
and
(
holdsDuring
?TIME1 ?SITUATION)
(
temporalPart
?TIME2 ?TIME1))
(
holdsDuring
?TIME2 ?SITUATION))
Merge.kif 7976-7980
Formula
vale
durante
Posicao Temporal
Posicao Temporal
e' uma &parte de
Posicao Temporal
Formula
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
Colecao
e' uma
instancia
de
Colecao
WebSite
e' uma
instancia
de
WebSite
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebListing
e' uma
instancia
de
WebListing
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
listingSeller
WebListing
and
AutonomousAgent
WebListing
e'
membro
de
Colecao
Fisico
Fisico
Fisico
e' uma
instancia
de
WebListing
Fisico
e'
membro
de
SellersItemsFn
AutonomousAgent
and
WebSite
Ponto no tempo
e' uma &parte de
tempo
de existencia de
Fisico
Fisico
e'
igual
a
WebListing
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Ponto no tempo
e' uma &parte de
tempo
de existencia de
Fisico
Fisico
e' uma
instancia
de
WebListing
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
Ponto no tempo
e'
igual
a
Colecao
(=>
(
and
(
instance
?D
EasterSunday
)
(
temporalPart
?D ?M)
(
instance
?M
Month
))
(
or
(
instance
?M
March
)
(
instance
?M
April
)
(
instance
?M
May
)))
Media.kif 498-506
Posicao Temporal
e' uma
instancia
de
EasterSunday
Posicao Temporal
e' uma &parte de
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Mes
Posicao Temporal
e' uma
instancia
de
Marco
Posicao Temporal
e' uma
instancia
de
Abril
Posicao Temporal
e' uma
instancia
de
Maio
(=>
(
and
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
temporalPart
?D1
(
WeekBeforeFn
?D2))
(
temporalPart
?D2
(
WeekAfterFn
?D1)))
(
exists
(?N1)
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?N1
(
SubtractionFn
?N2 7)))))
Mid-level-ontology.kif 14836-14845
Posicao Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Posicao Temporal
e' uma &parte de
WeekBeforeFn
Posicao Temporal
Posicao Temporal
e' uma &parte de
WeekAfterFn
Posicao Temporal
Inteiro positivo
Posicao Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Inteiro positivo
e'
igual
a (
Inteiro positivo
+ 7)
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9321-9328
Intervalo Temporal
e' uma
instancia
de
Sexta-feira
Intervalo Temporal
e' uma
instancia
de
Sabado
Posicao Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9269-9276
Intervalo Temporal
e' uma
instancia
de
Segunda-feira
Intervalo Temporal
e' uma
instancia
de
Terca-feira
Posicao Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9334-9341
Intervalo Temporal
e' uma
instancia
de
Sabado
Intervalo Temporal
e' uma
instancia
de
Domingo
Posicao Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?DAY1
Sunday
)
(
instance
?DAY2
Monday
)
(
instance
?WEEK1
Week
)
(
instance
?WEEK2
Week
)
(
temporalPart
?DAY1 ?WEEK1)
(
temporalPart
?DAY2 ?WEEK2)
(
meetsTemporally
?WEEK1 ?WEEK2))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9343-9352
Intervalo Temporal
e' uma
instancia
de
Domingo
Intervalo Temporal
e' uma
instancia
de
Segunda-feira
Intervalo Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Intervalo Temporal
Intervalo Temporal
e' uma &parte de
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9308-9315
Intervalo Temporal
e' uma
instancia
de
Quinta-feira
Intervalo Temporal
e' uma
instancia
de
Sexta-feira
Posicao Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9282-9289
Intervalo Temporal
e' uma
instancia
de
Terca-feira
Intervalo Temporal
e' uma
instancia
de
Quarta-feira
Posicao Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9295-9302
Intervalo Temporal
e' uma
instancia
de
Quarta-feira
Intervalo Temporal
e' uma
instancia
de
Quinta-feira
Posicao Temporal
e' uma
instancia
de
Semana
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8264-8269
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 8320-8325
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
(
typicalTemporalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
temporalPart
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
temporalPart
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1453-1470
typicalTemporalPart
Processo
and
Processo
Entidade
e' uma
instancia
de
Processo
Processo
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Processo
PROB e'
maior
que
Numero Real
(=>
(
and
(
typicallyContainsTemporalPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
temporalPart
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
temporalPart
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1493-1510
typicallyContainsTemporalPart
Processo
and
Processo
Entidade
e' uma
instancia
de
Processo
Processo
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma &parte de
Entidade
Processo
PROB e'
maior
que
Numero Real
(=>
(
temporalPart
?POS
(
WhenFn
?THING))
(
time
?THING ?POS))
Merge.kif 7991-7994
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Fisico
Fisico
existe
durante
Posicao Temporal
consequent
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
birthdate
JesusOfNazareth
and
Dia
Intervalo Temporal
e' uma
instancia
de o
ano
-6
Intervalo Temporal
e' uma
instancia
de o
ano
4
Dia
e' uma &parte de o
intervalo
entre o
comeco
de
Intervalo Temporal
e o
fim
de
Intervalo Temporal
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1943-1948
deathdate
JesusOfNazareth
and
Dia
Intervalo Temporal
e' uma
instancia
de o
ano
29
Intervalo Temporal
e' uma
instancia
de o
ano
36
Dia
e' uma &parte de o
intervalo
entre o
comeco
de
Intervalo Temporal
e o
fim
de
Intervalo Temporal
(=>
(
and
(
equal
?FY
(
FiscalYearStartingFn
?PLACE ?YEAR))
(
fiscalYearPeriod
?PLACE ?PERIOD)
(
instance
?FY ?PERIOD))
(
exists
(?DAY ?INST)
(
and
(
instance
?DAY
Day
)
(
starts
?DAY ?FY)
(
instance
?INST ?YEAR)
(
temporalPart
?DAY ?INST))))
Economy.kif 3754-3764
Intervalo Temporal
e'
igual
a
FiscalYearStartingFn
AutonomousAgent
and
Ano
fiscalYearPeriod
AutonomousAgent
and
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
Posicao Temporal
Intervalo Temporal
e' uma
instancia
de
Dia
Intervalo Temporal
comeca
em
Intervalo Temporal
Posicao Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
e' uma &parte de
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
Expellee
e' um
atributo
de
Entidade
Entidade
e' um
cidadao
de
Entidade
-NATION
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
Objeto
Objeto
e' uma
instancia
de
Nacao
Objeto
e'
igual
a
Entidade
-NATION
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
-NATION
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?DECODE
Decoding
)
(
patient
?DECODE ?DOC1))
(
exists
(?ENCODE ?DOC2 ?TIME ?PROP)
(
and
(
containsInformation
?DOC2 ?PROP)
(
containsInformation
?DOC1 ?PROP)
(
temporalPart
?TIME
(
PastFn
(
WhenFn
?DECODE)))
(
holdsDuring
?TIME
(
and
(
instance
?ENCODE
Encoding
)
(
patient
?ENCODE ?DOC2))))))
Merge.kif 12737-12750
Processo
e' uma
instancia
de
Decodificar
ContentBearingPhysical
e' um
patient
de
Processo
Entidade
ContentBearingPhysical
,
Posicao Temporal
and
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
Posicao Temporal
e' uma &parte de
antes
de
tempo
de existencia de
Processo
Entidade
e' uma
instancia
de
Codificar
ContentBearingPhysical
e' um
patient
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?GOAL
GameGoal
)
(
instrument
?GAME ?GOAL)
(
instance
?GAME
Game
)
(
subProcess
?SCORE ?GAME)
(
instance
?SCORE
Score
))
(
exists
(?PIECE ?TIME)
(
and
(
instance
?PIECE
GamePiece
)
(
patient
?SCORE ?PIECE)
(
temporalPart
?TIME
(
WhenFn
?SCORE))
(
holdsDuring
?TIME
(
located
?PIECE ?GOAL)))))
Mid-level-ontology.kif 17050-17062
Objeto
e' uma
instancia
de
GameGoal
Objeto
e' um
instrumento
para
Processo
Processo
e' uma
instancia
de
Jogo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Score
Entidade
Posicao Temporal
Entidade
e' uma
instancia
de
GamePiece
Entidade
e' um
patient
de
Processo
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Objeto
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?H
Hanukkah
)
(
equal
?B
(
BeginFn
?H)))
(
exists
(?M)
(
and
(
temporalPart
?B ?M)
(
instance
?M
Month
)
(
or
(
instance
?M
November
)
(
instance
?M
December
)))))
Media.kif 587-597
Intervalo Temporal
e' uma
instancia
de
Hanukkah
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Posicao Temporal
Ponto no tempo
e' uma &parte de
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Mes
Posicao Temporal
e' uma
instancia
de
Novembro
Posicao Temporal
e' uma
instancia
de
Dezembro
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12212-12220
Processo
e' uma
instancia
de
Manter
Entidade
e' um
patient
de
Processo
Entidade
Posicao Temporal
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?O
OccupationalRole
)
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?O)))
(
exists
(?X ?T ?P ?PT)
(
and
(
instance
?X
CognitiveAgent
)
(
holdsDuring
?T
(
attribute
?X ?O))
(
instance
?P ?PCLASS)
(
agent
?X ?P)
(
time
?P ?PT)
(
temporalPart
?PT ?T))))
Mid-level-ontology.kif 22259-22272
Atributo
e' uma
instancia
de
OccupationalRole
typicalAction
Processo
and
AttrFn
Agente Cognitivo
and
Atributo
Processo
Posicao Temporal
,
AutonomousAgent
and
AutonomousAgent
T
Processo
e' uma
instancia
de
Agente Cognitivo
Atributo
e' um
atributo
de
Processo
vale
durante
Posicao Temporal
AutonomousAgent
e' uma
instancia
de
Processo
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
existe
durante
AutonomousAgent
T
AutonomousAgent
T e' uma &parte de
Posicao Temporal
(=>
(
and
(
instance
?POINT1
TimePoint
)
(
instance
?POINT2
TimePoint
)
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
TimeIntervalFn
?POINT1 ?POINT2) ?INTERVAL))
(
forall
(?POINT)
(<=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT ?POINT2)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 8452-8461
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
o
intervalo
entre
Ponto no tempo
e
Ponto no tempo
e'
igual
a
Intervalo Temporal
Ponto no tempo
Ponto no tempo
e'
entre
ou durante
Ponto no tempo
e
Ponto no tempo
Ponto no tempo
e' uma &parte de
Intervalo Temporal
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18149-18183
Objeto
e' uma
instancia
de
Saw
Processo
e' uma
instancia
de
Cortar
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
Objeto
Objeto
e' um
patient
de
Processo
Processo
Entidade
,
Entidade
,
Intervalo Temporal
,
Posicao Temporal
,
Posicao Temporal
and
Objeto
Processo
e' uma
instancia
de
Movimento
Processo
e' um
sub
-processo de
Processo
Objeto
e' uma
instancia
de
CuttingDevice
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
e' um
patient
de
Processo
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
tempo
de existencia de
Processo
e'
igual
a
Intervalo Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Intervalo Temporal
e' uma &parte de
Posicao Temporal
Entidade
e' uma
instancia
de
Atributo Directional
Entidade
e' uma
instancia
de
Atributo Directional
as entidades no processo
Processo
se
movem
Entidade
vale
durante
Posicao Temporal
as entidades no processo
Processo
se
movem
Entidade
Entidade
e'
igual
a
Entidade
oppositeDirection
Entidade
and
Entidade
~{
Entidade
e'
igual
a
Entidade
} ~{
oppositeDirection
Entidade
and
Entidade
}
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?T1
(
YearFn
26))
(
instance
?T2
(
YearFn
100)))
(
temporalPart
(
WhenFn
TwelveApostles
)
(
TimeIntervalFn
(
BeginFn
?T1)
(
EndFn
?T2))))
Media.kif 1959-1963
Intervalo Temporal
e' uma
instancia
de o
ano
26
Intervalo Temporal
e' uma
instancia
de o
ano
100
tempo
de existencia de
TwelveApostles
e' uma &parte de o
intervalo
entre o
comeco
de
Intervalo Temporal
e o
fim
de
Intervalo Temporal
(=>
(
and
(
property
?Option
EuropeanStyleOption
)
(
agreementExpirationDate
?Option ?Date))
(
exists
(?Period ?Time ?Exercise)
(
and
(
instance
?Period
TimeInterval
)
(
equal
(
EndFn
?Period) ?Date)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
equal
(
WhenFn
?Exercise) ?Time))
(
temporalPart
?Time ?Period)))))
FinancialOntology.kif 2808-2820
Agreement
tem um
atributo
de
EuropeanStyleOption
agreementExpirationDate
Agreement
and
Ponto no tempo
Intervalo Temporal
Intervalo Temporal
and
Fisico
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a
Ponto no tempo
Fisico
e' uma
instancia
de
ExerciseAnOption
tempo
de existencia de
Fisico
e'
igual
a
Intervalo Temporal
Intervalo Temporal
e' uma &parte de
Intervalo Temporal
(=>
(
and
(
subclass
?PAPER
Newspaper
)
(
instance
?WEEK
Week
))
(
exists
(?PUBLICATION ?ISSUE)
(
and
(
instance
?PUBLICATION
Publication
)
(
temporalPart
(
WhenFn
?PUBLICATION) ?WEEK)
(
result
?PUBLICATION ?ISSUE)
(
instance
?ISSUE ?PAPER))))
Mid-level-ontology.kif 14788-14797
Classe
e' uma
sub
-classe de
Newspaper
Posicao Temporal
e' uma
instancia
de
Semana
Processo
Entidade
Processo
e' uma
instancia
de
Publicacao
tempo
de existencia de
Processo
e' uma &parte de
Posicao Temporal
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Classe
(=>
(
classmate
?A1 ?A2 ?COURSE)
(
exists
(?CLASS ?EDU ?TIME)
(
and
(
instance
?CLASS
GroupOfPeople
)
(
instance
?EDU
EducationalProcess
)
(
realization
?EDU ?COURSE)
(
patient
?EDU ?CLASS)
(
temporalPart
?TIME
(
WhenFn
?EDU))
(
memberAtTime
?A1 ?CLASS ?TIME)
(
memberAtTime
?A1 ?CLASS ?TIME))))
Mid-level-ontology.kif 16815-16826
classmate
Humano
,
Humano
and
EducationalCourse
Colecao
Processo
and
Posicao Temporal
Colecao
e' uma
instancia
de
GroupOfPeople
Processo
e' uma
instancia
de
Processo Educacional
Processo
exprime
o conteudo de
EducationalCourse
Colecao
e' um
patient
de
Processo
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
memberAtTime
Humano
,
Colecao
and
Posicao Temporal
memberAtTime
Humano
,
Colecao
and
Posicao Temporal
(=>
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
exists
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
temporalPart
?MO
WinterSeason
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
CelsiusDegree
))
(
lessThan
?AMOUNT -3.0))))
Geography.kif 1533-1541
climateTypeInArea
Area Geografica
and
ColdClimateZone
Intervalo Temporal
Numero Real
Intervalo Temporal
e' uma
instancia
de
Mes
Intervalo Temporal
e' uma &parte de
WinterSeason
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
menos
que -3.0
(=>
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
exists
(?ORGANISM ?TIME ?SAMPLE ?PROC)
(
and
(
holdsDuring
?TIME
(
attribute
?ORGANISM ?DISEASE))
(
increasesLikelihood
(
and
(
instance
?PROC ?PROCESS)
(
temporalPart
(
WhenFn
?PROC) ?TIME)
(
experiencer
?PROC ?ORGANISM)
(
patient
?PROC ?SAMPLE)
(
instance
?SAMPLE ?SUBSTANCE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
attribute
?ORGANISM ?DISEASE)))))))
WMD.kif 941-955
diseaseMedicine
Doenca ou Sindrome
,
Substancia Biologica Ativa
and
Processo
Entidade
Posicao Temporal
,
Entidade
and
Entidade
Doenca ou Sindrome
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Processo
tempo
de existencia de
Entidade
e' uma &parte de
Posicao Temporal
Entidade
experimenta
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Substancia Biologica Ativa
aumenta
a probabilidade de
Doenca ou Sindrome
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
during
?SMALL ?BIG)
(
temporalPart
?SMALL ?BIG))
Merge.kif 8280-8282
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma &parte de
Intervalo Temporal
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 8020-8027
O
comeco
de
Intervalo Temporal
e'
igual
a
Ponto no tempo
Ponto no tempo
Ponto no tempo
e' uma &parte de
Intervalo Temporal
Ponto no tempo
e'
igual
a
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
equal
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 8038-8045
O
fim
de
Intervalo Temporal
e'
igual
a
Ponto no tempo
Ponto no tempo
Ponto no tempo
e' uma &parte de
Intervalo Temporal
Ponto no tempo
e'
igual
a
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME)
(=>
(
and
(
instance
?TIME
TimePoint
)
(
temporalPart
?TIME ?INTERVAL))
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?CLASS)
(
temporalPart
?TIME ?INSTANCE))))))
Merge.kif 9469-9479
Decomposicao
de
Intervalo Temporal
em
Intervalo Temporal
TYPEs e'
igual
a
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Ponto no tempo
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Posicao Temporal
(=>
(
frequency
?PROC ?TIME1)
(
forall
(?TIME2)
(=>
(
duration
?TIME2 ?TIME1)
(
exists
(?POSITION)
(
and
(
temporalPart
?POSITION ?TIME2)
(
holdsDuring
?POSITION
(
exists
(?INST)
(
instance
?INST ?PROC))))))))
Merge.kif 7939-7949
Processo
ocorre
todos os
Duracao Temporal
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
Posicao Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Entidade
Entidade
e' uma
instancia
de
Processo
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?T1
(
attribute
?H
Veteran
))
(
exists
(?T2)
(
and
(
temporalPart
?T2
(
PastFn
(
WhenFn
?T1)))
(
holdsDuring
?T2
(
attribute
?H
Soldier
))
(
not
(
holdsDuring
?T1
(
attribute
?H
Soldier
))))))
Mid-level-ontology.kif 22202-22213
Veteran
e' um
atributo
de
Entidade
vale
durante
Fisico
Posicao Temporal
Posicao Temporal
e' uma &parte de
antes
de
tempo
de existencia de
Fisico
Soldier
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Soldier
e' um
atributo
de
Entidade
vale
durante
Fisico
(=>
(
holdsDuring
?T1
(
inhabits
?ORGANISM ?OBJ))
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME ?T1)
(
holdsDuring
?TIME
(
located
?ORGANISM ?OBJ)))))
Merge.kif 14398-14404
Entidade
vive
em
Entidade
vale
durante
Posicao Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Posicao Temporal
Entidade
e'
situado
em
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?T1
(
states
?AGENT ?SENTENCE))
(
exists
(?COMM)
(
and
(
instance
?COMM
LinguisticCommunication
)
(
agent
?COMM ?AGENT)
(
patient
?COMM ?SENTENCE)
(
temporalPart
?T1
(
WhenFn
?COMM)))))
Media.kif 1844-1851
states
AutonomousAgent
and
Entidade
vale
durante
Posicao Temporal
Processo
Processo
e' uma
instancia
de
LinguisticCommunication
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners