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
starts
Sigma KEE - starts
starts
appearance as argument number 1
(
documentation
starts
ChineseLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL2 两个是
TimeInterval
有共同的开始
TimePoint
,而 ?INTERVAL1 比 ?INTERVAL2 先 结束。")
chinese_format.kif 2701-2703
(
documentation
starts
EnglishLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both
TimeInterval
s that have the same initial
TimePoint
and that ?INTERVAL1 ends before ?INTERVAL2.")
Merge.kif 8040-8042
(
documentation
starts
JapaneseLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期
TimePoint
を持つ TimeInterva であり、?INTERVAL1 が ?INTERVAL2 より前に終了することを意味する。")
japanese_format.kif 1424-1426
(
domain
starts
1
TimeInterval
)
Merge.kif 8037-8037
O argumento numero 1 de
starts
e' uma
instancia
de
Intervalo Temporal
(
domain
starts
2
TimeInterval
)
Merge.kif 8038-8038
O argumento numero 2 de
starts
e' uma
instancia
de
Intervalo Temporal
(
instance
starts
IrreflexiveRelation
)
Merge.kif 8035-8035
starts
e' uma
instancia
de
Relacao Irreflexiva
(
instance
starts
TemporalRelation
)
Merge.kif 8033-8033
starts
e' uma
instancia
de
Relacao Temporal
(
instance
starts
TotalValuedRelation
)
Merge.kif 8036-8036
starts
e' uma
instancia
de
Relacao Total
(
instance
starts
TransitiveRelation
)
Merge.kif 8034-8034
starts
e' uma
instancia
de
Relacao Transitiva
(
subrelation
starts
temporalPart
)
Merge.kif 8032-8032
starts
e' uma
sub
-relacao de
temporalPart
appearance as argument number 2
(
format
ChineseLanguage
starts
"%1 %n
starts
了才到 %2 ")
chinese_format.kif 419-419
(
format
EnglishLanguage
starts
"%1 %n{doesn't} start%p{s} %2")
english_format.kif 425-425
(
format
FrenchLanguage
starts
"%1 %n{ne} commence %n{pas} %2")
french_format.kif 244-244
(
format
ItalianLanguage
starts
"%1 %n{non} inizia%p{s} %2")
relations-it.txt 269-269
(
format
JapaneseLanguage
starts
"%1 は %2 を start%p{s} %n{ない}")
japanese_format.kif 2038-2038
(
format
PortugueseLanguage
starts
"%1 %n{nao} comeca em %n %2")
portuguese_format.kif 196-196
(
format
cz
starts
"%1 %n{doesn't} start%p{s} %2")
relations-cz.txt 249-249
(
format
de
starts
"%1 beginnt %2 %n{nicht}")
relations-de.txt 544-544
(
format
hi
starts
"%1 %2 ko %n{nahiin} praarambha karataa hai")
relations-hindi.txt 306-306
(
format
ro
starts
"%1 %n{nu} start%t{începe} %2")
relations-ro.kif 265-265
(
format
sv
starts
"%1 påbörjar %n{inte} %2")
relations-sv.txt 265-265
(
format
tg
starts
"%1 %n ay simula ng %2")
relations-tg.txt 461-461
(
termFormat
ChineseLanguage
starts
"启动")
domainEnglishFormat.kif 55074-55074
(
termFormat
ChineseLanguage
starts
"开始")
chinese_format.kif 420-420
(
termFormat
ChineseTraditionalLanguage
starts
"啟動")
domainEnglishFormat.kif 55073-55073
(
termFormat
EnglishLanguage
starts
"starts")
domainEnglishFormat.kif 55072-55072
antecedent
(=>
(
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
StartupBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
starts
?Time2 ?Time)
(
equal
(
WhenFn
?Process1) ?Time1)
(
equal
(
EndFn
?Time)
(
BeginFn
?Time1))))
(
duration
?Time ?Delay))
QoSontology.kif 1254-1268
Intervalo Temporal
Intervalo Temporal
dependencyDelay
Programa de Computador
and
Duracao Temporal
dependencyType
Programa de Computador
and
StartupBlock
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
comeca
em
Intervalo Temporal
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a o
comeco
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
(=>
(
starts
?INTERVAL1 ?INTERVAL2)
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))))
Merge.kif 8044-8052
Intervalo Temporal
comeca
em
Intervalo Temporal
o
comeco
de
Intervalo Temporal
e'
igual
a o
comeco
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
comeca
antes
de o
fim
de
Intervalo Temporal
consequent
(=>
(
and
(
attribute
?Order
FOKOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2881-2897
FOKOrder
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
comeca
em
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
comeca
em
Intervalo Temporal
(=>
(
and
(
attribute
?Order
IOCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2854-2870
IOCOrder
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
comeca
em
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
comeca
em
Intervalo Temporal
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8054-8062
O
comeco
de
Intervalo Temporal
e'
igual
a o
comeco
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
comeca
antes
de o
fim
de
Intervalo Temporal
Intervalo Temporal
comeca
em
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
(
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 21474-21489
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
?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 16380-16389
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
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16294-16299
Intervalo Temporal
e' uma
instancia
de
BeginningOperations
AutonomousAgent
e' uma
instancia
de
Organizacao
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
comeca
em
tempo
de existencia de
AutonomousAgent
(=>
(
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 11305-11328
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 16395-16404
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
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9409-9414
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
comeca
em
Intervalo Temporal
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
starts
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME2 ?TIME1))))))
Merge.kif 9435-9445
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
comeca
em %n
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
instance
?AFTERNOON
Afternoon
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
starts
?HOUR ?AFTERNOON))))
Merge.kif 8795-8801
Intervalo Temporal
e' uma
instancia
de
Afternoon
Intervalo Temporal
Dia
Intervalo Temporal
e' uma
instancia
de a
hora
12
Intervalo Temporal
comeca
em
Intervalo Temporal
(=>
(
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 19095-19102
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
?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 8879-8886
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 8456-8463
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
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8535-8537
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
imediatemente
apos
Posicao Temporal
comeca
em
apos
Posicao Temporal
(=>
(
instance
?LEAVE
Leaving
)
(
exists
(?GO)
(
and
(
instance
?GO
Translocation
)
(
subProcess
?LEAVE ?GO)
(
starts
(
WhenFn
?LEAVE)
(
WhenFn
?GO)))))
Mid-level-ontology.kif 17300-17306
Processo
e' uma
instancia
de
Leaving
Processo
Processo
e' uma
instancia
de
Translocation
Processo
e' um
sub
-processo de
Processo
tempo
de existencia de
Processo
comeca
em
tempo
de existencia de
Processo
(=>
(
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
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?SET ?NIGHT)
(
finishes
?RISE ?NIGHT))))
Merge.kif 8901-8908
Intervalo Temporal
e' uma
instancia
de
NightTime
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
?PM
PostMeridiem
)
(
exists
(?D ?HOUR1 ?HOUR2)
(
and
(
instance
?HOUR1
(
HourFn
12 ?D))
(
starts
?HOUR1 ?PM)
(
instance
?HOUR2
(
HourFn
24 ?D))
(
finishes
?HOUR2 ?PM))))
Mid-level-ontology.kif 19109-19116
Intervalo Temporal
e' uma
instancia
de
PostMeridiem
Dia
Intervalo Temporal
and
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de a
hora
12
Intervalo Temporal
comeca
em
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de a
hora
24
Intervalo Temporal
termina
em
Intervalo Temporal
(=>
(
instance
?S
(
StartFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
starts
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 424-429
Fisico
e' uma
instancia
de
StartFn
Processo
Fisico
Fisico
e' uma
instancia
de
Processo
tempo
de existencia de
Fisico
comeca
em
tempo
de existencia de
Fisico
(=>
(
instance
?SS
SportServe
)
(
exists
(?S)
(
and
(
instance
?S
Sport
)
(
subProcess
?SS ?S)
(
starts
(
WhenFn
?SS)
(
WhenFn
?S)))))
Mid-level-ontology.kif 17070-17076
Processo
e' uma
instancia
de
SportServe
Processo
Processo
e' uma
instancia
de
Esporte
Processo
e' um
sub
-processo de
Processo
tempo
de existencia de
Processo
comeca
em
tempo
de existencia de
Processo
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