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
MashupRecording
Sigma KEE - finishes
finishes
appearance as argument number 1
(
documentation
finishes
ChineseLanguage
"(
finishes
?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL 2两个是
TimeInterval
有共同的结束
TimePoint
,而 ?INTERVAL2 比 ?INTERVAL1 先开始。")
chinese_format.kif 2704-2706
(
documentation
finishes
EnglishLanguage
"(
finishes
?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both
TimeInterval
s that have the same ending
TimePoint
and that ?INTERVAL2 begins before ?INTERVAL1.")
Merge.kif 8094-8096
(
documentation
finishes
JapaneseLanguage
"(
finishes
?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2が両方とも同じ末な
TimePoint
を持つ
TimeInterval
であり、?INTERVAL2 が ?INTERVAL1より前に開始することを意味する。")
japanese_format.kif 1427-1429
(
domain
finishes
1
TimeInterval
)
Merge.kif 8091-8091
O argumento numero 1 de
finishes
e' uma
instancia
de
Intervalo Temporal
(
domain
finishes
2
TimeInterval
)
Merge.kif 8092-8092
O argumento numero 2 de
finishes
e' uma
instancia
de
Intervalo Temporal
(
instance
finishes
IrreflexiveRelation
)
Merge.kif 8089-8089
finishes
e' uma
instancia
de
Relacao Irreflexiva
(
instance
finishes
TemporalRelation
)
Merge.kif 8087-8087
finishes
e' uma
instancia
de
Relacao Temporal
(
instance
finishes
TotalValuedRelation
)
Merge.kif 8090-8090
finishes
e' uma
instancia
de
Relacao Total
(
instance
finishes
TransitiveRelation
)
Merge.kif 8088-8088
finishes
e' uma
instancia
de
Relacao Transitiva
(
subrelation
finishes
temporalPart
)
Merge.kif 8086-8086
finishes
e' uma
sub
-relacao de
temporalPart
appearance as argument number 2
(
format
ChineseLanguage
finishes
"%1 %n
finishes
了才到 %2")
chinese_format.kif 421-421
(
format
EnglishLanguage
finishes
"%1 %n{doesn't} finish%p{es} %2")
english_format.kif 427-427
(
format
FrenchLanguage
finishes
"%1 %n{ne} finit %n{pas} %2")
french_format.kif 245-245
(
format
ItalianLanguage
finishes
"%1 %n{non} finisce%p{es} %2")
relations-it.txt 111-111
(
format
JapaneseLanguage
finishes
"%1 は %2 を finish%p{es} %n{ない}")
japanese_format.kif 2039-2039
(
format
PortugueseLanguage
finishes
"%1 %n{nao} termina em %n %2")
portuguese_format.kif 197-197
(
format
cz
finishes
"%1 %n{doesn't} finish%p{es} %2")
relations-cz.txt 250-250
(
format
de
finishes
"%1 beendet %2 %n{nicht}")
relations-de.txt 547-547
(
format
hi
finishes
"%1 %2 ko samaapta %n{nahiin} karataa hai")
relations-hindi.txt 151-151
(
format
ro
finishes
"%1 %n{nu} finish%t{terminã} %2")
relations-ro.kif 266-266
(
format
sv
finishes
"%1 avslutar %n{inte} %2")
relations-sv.txt 266-266
(
format
tg
finishes
"%1 %n simutin %2")
relations-tg.txt 232-232
(
termFormat
ChineseLanguage
finishes
"完成")
chinese_format.kif 422-422
(
termFormat
ChineseLanguage
finishes
"饰面")
domainEnglishFormat.kif 23876-23876
(
termFormat
ChineseTraditionalLanguage
finishes
"飾面")
domainEnglishFormat.kif 23875-23875
(
termFormat
EnglishLanguage
finishes
"finishes")
domainEnglishFormat.kif 23874-23874
(
termFormat
tg
finishes
"simutin")
relations-tg.txt 233-233
antecedent
(<=>
(
and
(
agreementPeriod
?Account ?Period)
(
finishes
?End ?Period))
(
maturityDate
?Account ?End))
FinancialOntology.kif 642-646
agreementPeriod
FinancialAccount
and
Intervalo Temporal
Dia
termina
em
Intervalo Temporal
maturityDate
FinancialAccount
and
Dia
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?A
AscensionThursday
)
(
during
?E ?Y)
(
during
?A ?Y)
(
starts
?E ?I)
(
finishes
?A ?I))
(
duration
?I
(
MeasureFn
40
DayDuration
)))
Media.kif 538-547
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
e' uma
instancia
de
EasterSunday
Intervalo Temporal
e' uma
instancia
de
AscensionThursday
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e' 40
DayDuration
(s)
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?P
PalmSunday
)
(
during
?E ?Y)
(
during
?P ?Y)
(
starts
?P ?I)
(
finishes
?E ?I))
(
duration
?I
(
MeasureFn
8
DayDuration
)))
Media.kif 473-482
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
e' uma
instancia
de
EasterSunday
Intervalo Temporal
e' uma
instancia
de
PalmSunday
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e' 8
DayDuration
(s)
(=>
(
and
(
instance
?Y
Year
)
(
instance
?E
EasterSunday
)
(
instance
?P
Pentecost
)
(
during
?E ?Y)
(
during
?P ?Y)
(
starts
?E ?I)
(
finishes
?P ?I))
(
duration
?I
(
MeasureFn
50
DayDuration
)))
Media.kif 559-568
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
e' uma
instancia
de
EasterSunday
Intervalo Temporal
e' uma
instancia
de
Pentecost
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e' 50
DayDuration
(s)
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1270-1284
Intervalo Temporal
Intervalo Temporal
dependencyDelay
Programa de Computador
and
Duracao Temporal
dependencyType
Programa de Computador
and
ShutdownBlock
hasDependency
Programa de Computador
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
o
comeco
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
(=>
(
finishes
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1))))
Merge.kif 8098-8106
Intervalo Temporal
termina
em
Intervalo Temporal
o
comeco
de
Intervalo Temporal
comeca
antes
de o
comeco
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
consequent
(=>
(
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
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8108-8116
O
comeco
de
Intervalo Temporal
comeca
antes
de o
comeco
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
equal
?DURATION
(
WhenFn
?AMBULATE)))
(
exists
(?STEP1 ?STEPN)
(
and
(
instance
?STEP1
Stepping
)
(
instance
?STEPN
Stepping
)
(
subProcess
?STEP1 ?AMBULATE)
(
subProcess
?STEPN ?AMBULATE)
(
starts
(
WhenFn
?STEP1) ?DURATION)
(
finishes
(
WhenFn
?STEPN) ?DURATION)
(
not
(
equal
?STEP1 ?STEPN)))))
Mid-level-ontology.kif 487-499
Processo
e' uma
instancia
de
Ambulating
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
Processo
Processo
Processo
e' uma
instancia
de
Stepping
Processo
e' uma
instancia
de
Stepping
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
tempo
de existencia de
Processo
comeca
em
Intervalo Temporal
tempo
de existencia de
Processo
termina
em
Intervalo Temporal
Processo
e'
igual
a
Processo
(=>
(
and
(
instance
?B
Blushing
)
(
experiencer
?B ?A))
(
exists
(?T1 ?T2 ?S1 ?S2)
(
and
(
instance
?S1
EmotionalState
)
(
instance
?S2
EmotionalState
)
(
not
(
equal
?S1 ?S2))
(
holdsDuring
?T1
(
attribute
?A ?S1))
(
holdsDuring
?T2
(
attribute
?A ?S2))
(
starts
(
WhenFn
?B) ?T2)
(
finishes
(
WhenFn
?B) ?T1))))
Mid-level-ontology.kif 21473-21488
Processo
e' uma
instancia
de
Blushing
AutonomousAgent
experimenta
Processo
Intervalo Temporal
Intervalo Temporal
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Estado Emocional
Entidade
e' uma
instancia
de
Estado Emocional
Entidade
e'
igual
a
Entidade
Entidade
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Entidade
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
tempo
de existencia de
Processo
comeca
em
Intervalo Temporal
tempo
de existencia de
Processo
termina
em
Intervalo Temporal
(=>
(
and
(
instance
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
Processo
e' uma
instancia
de
CheckInService
Processo
causa
Processo
Fisico
e' uma
instancia
de
CheckOutService
tempo
de existencia de
Fisico
termina
em
tempo
de existencia de
Processo
(=>
(
and
(
instance
?FALL
FallingAsleep
)
(
experiencer
?FALL ?AGENT))
(
exists
(?START ?FINISH)
(
and
(
starts
?START
(
WhenFn
?FALL))
(
finishes
?FINISH
(
WhenFn
?FALL))
(
holdsDuring
?START
(
attribute
?AGENT
Awake
))
(
holdsDuring
?FINISH
(
attribute
?AGENT
Asleep
)))))
Mid-level-ontology.kif 16379-16388
Processo
e' uma
instancia
de
FallingAsleep
AutonomousAgent
experimenta
Processo
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
comeca
em
tempo
de existencia de
Processo
Intervalo Temporal
termina
em
tempo
de existencia de
Processo
Acordado
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Dormindo
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
(=>
(
and
(
instance
?OP
CeasingOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
finishes
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16330-16335
Intervalo Temporal
e' uma
instancia
de
CeasingOperations
AutonomousAgent
e' uma
instancia
de
Organizacao
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
termina
em
tempo
de existencia de
AutonomousAgent
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
holdsDuring
(
WhenFn
?REM)
(
part
?OBJ ?REM)))
(
exists
(?ORG)
(
and
(
instance
?ORG
Organism
)
(
earlier
(
WhenFn
?ORG)
(
WhenFn
?REM))
(
finishes
(
WhenFn
?REM)
(
WhenFn
?ORG))
(
holdsDuring
(
WhenFn
?ORG)
(
part
?OBJ ?ORG)))))
Mid-level-ontology.kif 45-56
Fisico
e' uma
instancia
de
OrganismRemains
Entidade
e' uma &parte de
Fisico
vale
durante
tempo
de existencia de
Fisico
Fisico
Fisico
e' uma
instancia
de
Organismo
tempo
de existencia de
Fisico
acontence
antes
de
tempo
de existencia de
Fisico
tempo
de existencia de
Fisico
termina
em
tempo
de existencia de
Fisico
Entidade
e' uma &parte de
Fisico
vale
durante
tempo
de existencia de
Fisico
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11327-11350
Processo
e' uma
instancia
de
Translocation
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Processo
tem como
origem
Objeto
Processo
termina
em
Objeto
Processo
termina
em
Entidade
AutonomousAgent
experimenta
Processo
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
comeca
em
tempo
de existencia de
Processo
tempo
de existencia de
Processo
termina
em
tempo
de existencia de
Processo
(=>
(
and
(
instance
?WAKE
WakingUp
)
(
experiencer
?WAKE ?AGENT))
(
exists
(?START ?FINISH)
(
and
(
starts
?START
(
WhenFn
?WAKE))
(
finishes
?FINISH
(
WhenFn
?WAKE))
(
holdsDuring
?START
(
attribute
?AGENT
Asleep
))
(
holdsDuring
?FINISH
(
attribute
?AGENT
Awake
)))))
Mid-level-ontology.kif 16394-16403
Processo
e' uma
instancia
de
WakingUp
AutonomousAgent
experimenta
Processo
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
comeca
em
tempo
de existencia de
Processo
Intervalo Temporal
termina
em
tempo
de existencia de
Processo
Dormindo
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Acordado
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3718-3759
Objeto
e' uma
instancia
de
CarAlarm
Objeto
e' uma
instancia
de
SelfPoweredRoadVehicle
Objeto
e' uma &parte de
Objeto
Entidade
Entidade
,
Entidade
and
Entidade
Objeto
tem por
fim
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' uma
instancia
de
Humano
Entidade
e' um
agente
de
Entidade
Objeto
e' um
patient
de
Entidade
tempo
de existencia de
Entidade
e'
igual
a
Entidade
eventPartlyLocated
Entidade
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
e' um
agente
de
Objeto
Entidade
causa
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
Near
em relacao a
Entidade
vale
durante
Entidade
aumenta
a probabilidade de
Entidade
sabe
Entidade
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
eventPartlyLocated
Entidade
and
Entidade
Objeto
e' um
patient
de
Entidade
vale
durante
Entidade
tempo
de existencia de
Entidade
termina
em
tempo
de existencia de
Entidade
(=>
(
and
(
meatOfAnimal
?MEAT ?ANIMAL)
(
instance
?M ?MEAT))
(
exists
(?TIME ?A)
(
and
(
instance
?A ?ANIMAL)
(
finishes
?TIME
(
WhenFn
?A))
(
holdsDuring
?TIME
(
part
?M ?A)))))
Mid-level-ontology.kif 20355-20364
meatOfAnimal
Carne
and
Animal
Entidade
e' uma
instancia
de
Carne
Intervalo Temporal
Fisico
Fisico
e' uma
instancia
de
Animal
Intervalo Temporal
termina
em
tempo
de existencia de
Fisico
Entidade
e' uma &parte de
Fisico
vale
durante
Intervalo Temporal
(=>
(
and
(
statementPeriod
?Statement ?Period)
(
dateOfStatement
?Statement ?Date))
(
finishes
?Date ?Period))
FinancialOntology.kif 4070-4074
statementPeriod
BankStatement
and
Intervalo Temporal
dateOfStatement
BankStatement
and
Dia
Dia
termina
em
Intervalo Temporal
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
finishes
?TIME ?INTERVAL))))
Merge.kif 9438-9443
Decomposicao
de
Intervalo Temporal
em
Intervalo Temporal
TYPEs e'
igual
a
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
finishes
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME1 ?TIME2))))))
Merge.kif 9445-9455
Decomposicao
de
Intervalo Temporal
em
Intervalo Temporal
TYPEs e'
igual
a
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
nao
termina
em %n
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
holdsDuring
?T
(
and
(
instance
?ICU
IntensiveCareUnit
)
(
stays
?H ?ICU)))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
finishes
(
WhenFn
?D) ?T)))
Possibility
))
Mid-level-ontology.kif 20567-20577
Entidade
e' uma
instancia
de
IntensiveCareUnit
stays
Entidade
and
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
Morte
tempo
de existencia de
Entidade
termina
em
Posicao Temporal
tem a
forca
modal
de
Possibility
(=>
(
instance
?AM
AnteMeridiem
)
(
exists
(?D ?HOUR1 ?HOUR2)
(
and
(
instance
?HOUR1
(
HourFn
24 ?D))
(
starts
?HOUR1 ?AM)
(
instance
?HOUR2
(
HourFn
12 ?D))
(
finishes
?HOUR2 ?AM))))
Mid-level-ontology.kif 19094-19101
Intervalo Temporal
e' uma
instancia
de
AnteMeridiem
Dia
Intervalo Temporal
and
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de a
hora
24
Intervalo Temporal
comeca
em
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de a
hora
12
Intervalo Temporal
termina
em
Intervalo Temporal
(=>
(
instance
?ARRIVE
Arriving
)
(
exists
(?GO)
(
and
(
instance
?GO
Translocation
)
(
subProcess
?ARRIVE ?GO)
(
finishes
(
WhenFn
?ARRIVE)
(
WhenFn
?GO)))))
Mid-level-ontology.kif 17310-17316
Processo
e' uma
instancia
de
Arriving
Processo
Processo
e' uma
instancia
de
Translocation
Processo
e' um
sub
-processo de
Processo
tempo
de existencia de
Processo
termina
em
tempo
de existencia de
Processo
(=>
(
instance
?D
Divorcing
)
(
exists
(?P1 ?P2 ?T1 ?T2)
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
holdsDuring
?T2
(
not
(
spouse
?P1 ?P2)))
(
finishes
?T1 ?D)
(
starts
?T2 ?D))))
Mid-level-ontology.kif 1025-1034
Intervalo Temporal
e' uma
instancia
de
Divorcing
Entidade
Entidade
,
Intervalo Temporal
and
Intervalo Temporal
spouse
Entidade
and
Entidade
vale
durante
Intervalo Temporal
spouse
Entidade
and
Entidade
vale
durante
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
(=>
(
instance
?DAY
DayTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?RISE ?DAY)
(
finishes
?SET ?DAY))))
Merge.kif 8901-8908
Intervalo Temporal
e' uma
instancia
de
DayTime
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Sunrise
Intervalo Temporal
e' uma
instancia
de
Sunset
Intervalo Temporal
comeca
em
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
(=>
(
instance
?INTERVAL
(
RecurrentTimeIntervalFn
?TIMECLASS1 ?TIMECLASS2))
(
exists
(?TIME1 ?TIME2)
(
and
(
instance
?TIME1 ?TIMECLASS1)
(
instance
?TIME2 ?TIMECLASS2)
(
starts
?TIME1 ?INTERVAL)
(
finishes
?TIME2 ?INTERVAL))))
Merge.kif 8478-8485
Intervalo Temporal
e' uma
instancia
de o
periodo
recorrente
de
Intervalo Temporal
a
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8526-8528
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
imediatemente
antes
de
Posicao Temporal
termina
em
antes
de
Posicao Temporal
(=>
(
instance
?MORNING
Morning
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
finishes
?HOUR ?MORNING))))
Merge.kif 8829-8835
Intervalo Temporal
e' uma
instancia
de
Morning
Intervalo Temporal
Dia
Intervalo Temporal
e' uma
instancia
de a
hora
12
Intervalo Temporal
termina
em
Intervalo Temporal
(=>
(
instance
?MS
MuakharSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
holdsDuring
?T1
(
wife
?W ?H))
(
not
(
holdsDuring
?T2
(
wife
?W ?H)))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 285-299
Intervalo Temporal
e' uma
instancia
de
MuakharSadaq
AutonomousAgent
Entidade
,
Intervalo Temporal
and
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
tem como
origem
AutonomousAgent
Intervalo Temporal
termina
em
Entidade
wife
Entidade
and
AutonomousAgent
vale
durante
Intervalo Temporal
wife
Entidade
and
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
Intervalo Temporal
comeca
antes
de
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
(=>
(
instance
?MS
MuqaddamSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
not
(
holdsDuring
?T1
(
wife
?W ?H)))
(
holdsDuring
?T2
(
wife
?W ?H))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 305-319
Intervalo Temporal
e' uma
instancia
de
MuqaddamSadaq
AutonomousAgent
Entidade
,
Intervalo Temporal
and
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
tem como
origem
AutonomousAgent
Intervalo Temporal
termina
em
Entidade
wife
Entidade
and
AutonomousAgent
vale
durante
Intervalo Temporal
wife
Entidade
and
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
Intervalo Temporal
comeca
antes
de
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
finishes
?TIME
(
WhenFn
JesusOfNazareth
))
(
starts
?TIME
(
WhenFn
TwelveApostles
))
(
forall
(?MEM)
(=>
(
holdsDuring
?TIME
(
member
?MEM
TwelveApostles
))
(
holdsDuring
?TIME
(
friend
?MEM
JesusOfNazareth
))))))
Media.kif 1970-1978
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
termina
em
tempo
de existencia de
JesusOfNazareth
Intervalo Temporal
comeca
em
tempo
de existencia de
TwelveApostles
Entidade
Entidade
e'
membro
de
TwelveApostles
vale
durante
Intervalo Temporal
friend
Entidade
and
JesusOfNazareth
vale
durante
Intervalo Temporal
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