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
finishes
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 8072-8074
(
documentation
finishes
JapaneseLanguage
"(
finishes
?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2が両方とも同じ末な
TimePoint
を持つ
TimeInterval
であり、?INTERVAL2 が ?INTERVAL1より前に開始することを意味する。")
japanese_format.kif 1427-1429
(
domain
finishes
1
TimeInterval
)
Merge.kif 8069-8069
Il numero 1 argomenti di
finishes
è un
istanza
di
IntervalloTemporale
(
domain
finishes
2
TimeInterval
)
Merge.kif 8070-8070
Il numero 2 argomenti di
finishes
è un
istanza
di
IntervalloTemporale
(
instance
finishes
IrreflexiveRelation
)
Merge.kif 8067-8067
finishes
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
finishes
TemporalRelation
)
Merge.kif 8065-8065
finishes
è un'
istanza
di
RelazioneTemporale
(
instance
finishes
TotalValuedRelation
)
Merge.kif 8068-8068
finishes
è un'
istanza
di
RelazioneAValoreTotale
(
instance
finishes
TransitiveRelation
)
Merge.kif 8066-8066
finishes
è un'
istanza
di
RelazioneTransitiva
(
subrelation
finishes
temporalPart
)
Merge.kif 8064-8064
finishes
è una
sottorelazione
di
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
IntervalloTemporale
Giorno
finisce
es
IntervalloTemporale
maturityDate
FinancialAccount
and
Giorno
(=>
(
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
IntervalloTemporale
è un'
istanza
di
Anno
IntervalloTemporale
è un'
istanza
di
EasterSunday
IntervalloTemporale
è un'
istanza
di
AscensionThursday
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
durata
di
IntervalloTemporale
è 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
IntervalloTemporale
è un'
istanza
di
Anno
IntervalloTemporale
è un'
istanza
di
EasterSunday
IntervalloTemporale
è un'
istanza
di
PalmSunday
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
durata
di
IntervalloTemporale
è 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
IntervalloTemporale
è un'
istanza
di
Anno
IntervalloTemporale
è un'
istanza
di
EasterSunday
IntervalloTemporale
è un'
istanza
di
Pentecost
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
durata
di
IntervalloTemporale
è 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
IntervalloTemporale
IntervalloTemporale
dependencyDelay
ProgrammaDiComputer
and
Durata
dependencyType
ProgrammaDiComputer
and
ShutdownBlock
hasDependency
ProgrammaDiComputer
and
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
durata
di
IntervalloTemporale
è
Durata
(=>
(
finishes
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1))))
Merge.kif 8076-8084
IntervalloTemporale
finisce
es
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
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
attribute
Agreement
and
GTCOrder
agreementPeriod
Agreement
and
IntervalloTemporale
Processo
IntervalloTemporale
Processo
è un'
istanza
di
FillingAnOrder
Agreement
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
Processo
IntervalloTemporale
Processo
è un'
istanza
di
CancellingAnOrder
Agreement
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8086-8094
L'
inizio
di
IntervalloTemporale
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
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
è un'
istanza
di
Ambulating
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
Processo
Processo
Processo
è un'
istanza
di
Stepping
Processo
è un'
istanza
di
Stepping
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
il
tempo
di esistenza di
Processo
inizia
s
IntervalloTemporale
il
tempo
di esistenza di
Processo
finisce
es
IntervalloTemporale
Processo
is
uguale
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
è un'
istanza
di
Blushing
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
IntervalloTemporale
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
StatoEmotivo
Entit�
è un'
istanza
di
StatoEmotivo
Entit�
is
uguale
a
Entit�
attribute
AutonomousAgent
and
Entit�
vales
durante
IntervalloTemporale
attribute
AutonomousAgent
and
Entit�
vales
durante
IntervalloTemporale
il
tempo
di esistenza di
Processo
inizia
s
IntervalloTemporale
il
tempo
di esistenza di
Processo
finisce
es
IntervalloTemporale
(=>
(
and
(
instance
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
Processo
è un'
istanza
di
CheckInService
Processo
causa
s
Processo
Entit�Concreta
è un'
istanza
di
CheckOutService
il
tempo
di esistenza di
Entit�Concreta
finisce
es il
tempo
di esistenza di
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 16380-16389
Processo
è un'
istanza
di
FallingAsleep
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
inizia
s il
tempo
di esistenza di
Processo
IntervalloTemporale
finisce
es il
tempo
di esistenza di
Processo
attribute
AutonomousAgent
and
Sveglio
vales
durante
IntervalloTemporale
attribute
AutonomousAgent
and
Addormentato
vales
durante
IntervalloTemporale
(=>
(
and
(
instance
?OP
CeasingOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
finishes
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16331-16336
IntervalloTemporale
è un'
istanza
di
CeasingOperations
AutonomousAgent
è un'
istanza
di
Organizzazione
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
finisce
es il
tempo
di esistenza di
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
Entit�Concreta
è un'
istanza
di
OrganismRemains
Entit�
è una
parte
di
Entit�Concreta
vales
durante
il
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Organismo
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
il
tempo
di esistenza di
Entit�Concreta
finisce
es il
tempo
di esistenza di
Entit�Concreta
Entit�
è una
parte
di
Entit�Concreta
vales
durante
il
tempo
di esistenza di
Entit�Concreta
(=>
(
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
è un'
istanza
di
Translocation
Processo
è un'
istanza
di
Translocation
Processo
si
originas in
Oggetto
Processo
si
originas in
Oggetto
Processo
fine
s in
Oggetto
Processo
fine
s in
Entit�
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
esperisce
s
Processo
Processo
Processo
è un'
istanza
di
Translocation
Processo
si
originas in
Oggetto
Processo
fine
s in
Entit�
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
inizia
s il
tempo
di esistenza di
Processo
il
tempo
di esistenza di
Processo
finisce
es il
tempo
di esistenza di
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
è un'
istanza
di
WakingUp
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
inizia
s il
tempo
di esistenza di
Processo
IntervalloTemporale
finisce
es il
tempo
di esistenza di
Processo
attribute
AutonomousAgent
and
Addormentato
vales
durante
IntervalloTemporale
attribute
AutonomousAgent
and
Sveglio
vales
durante
IntervalloTemporale
(=>
(
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 3710-3751
Oggetto
è un'
istanza
di
CarAlarm
Oggetto
è un'
istanza
di
SelfPoweredRoadVehicle
Oggetto
è una
parte
di
Oggetto
Entit�
Entit�
,
Entit�
and
Entit�
Oggetto
ha
scopo
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Danneggiare
Entit�
è un'
istanza
di
Umano
Entit�
è un
agente
di
Entit�
Oggetto
è un
paziente
di
Entit�
il
tempo
di esistenza di
Entit�
is
uguale
a
Entit�
eventPartlyLocated
Entit�
and
Entit�
Entit�
Entit�
è un'
istanza
di
OndaSonora
Entit�
è un
agente
di
Oggetto
Entit�
causa
s
Entit�
Entit�
ha
scopo
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è
Near
a
Entit�
vales
durante
Entit�
aumenta
s la verosimiglianza di
Entit�
conosce
s
Entit�
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Danneggiare
eventPartlyLocated
Entit�
and
Entit�
Oggetto
è un
paziente
di
Entit�
vales
durante
Entit�
il
tempo
di esistenza di
Entit�
finisce
es il
tempo
di esistenza di
Entit�
(=>
(
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 20356-20365
meatOfAnimal
Carne
and
Animale
Entit�
è un'
istanza
di
Carne
IntervalloTemporale
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Animale
IntervalloTemporale
finisce
es il
tempo
di esistenza di
Entit�Concreta
Entit�
è una
parte
di
Entit�Concreta
vales
durante
IntervalloTemporale
(=>
(
and
(
statementPeriod
?Statement ?Period)
(
dateOfStatement
?Statement ?Date))
(
finishes
?Date ?Period))
FinancialOntology.kif 4070-4074
statementPeriod
BankStatement
and
IntervalloTemporale
dateOfStatement
BankStatement
and
Giorno
Giorno
finisce
es
IntervalloTemporale
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
finishes
?TIME ?INTERVAL))))
Merge.kif 9416-9421
Decomposizione
di
IntervalloTemporale
in
IntervalloTemporale
TYPEs is
uguale
a
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
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 9423-9433
Decomposizione
di
IntervalloTemporale
in
IntervalloTemporale
TYPEs is
uguale
a
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
non
finisce
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
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 20568-20578
Entit�
è un'
istanza
di
IntensiveCareUnit
stays
Entit�
and
Entit�
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
Morte
il
tempo
di esistenza di
Entit�
finisce
es
PosizioneTemporale
ha il modello di forza di
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 19095-19102
IntervalloTemporale
è un'
istanza
di
AnteMeridiem
Giorno
IntervalloTemporale
and
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di l'
ora
24
IntervalloTemporale
inizia
s
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di l'
ora
12
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
instance
?ARRIVE
Arriving
)
(
exists
(?GO)
(
and
(
instance
?GO
Translocation
)
(
subProcess
?ARRIVE ?GO)
(
finishes
(
WhenFn
?ARRIVE)
(
WhenFn
?GO)))))
Mid-level-ontology.kif 17311-17317
Processo
è un'
istanza
di
Arriving
Processo
Processo
è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
il
tempo
di esistenza di
Processo
finisce
es il
tempo
di esistenza di
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
IntervalloTemporale
è un'
istanza
di
Divorcing
Entit�
Entit�
,
IntervalloTemporale
and
IntervalloTemporale
spouse
Entit�
and
Entit�
vales
durante
IntervalloTemporale
spouse
Entit�
and
Entit�
vales
durante
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
(=>
(
instance
?DAY
DayTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?RISE ?DAY)
(
finishes
?SET ?DAY))))
Merge.kif 8879-8886
IntervalloTemporale
è un'
istanza
di
DayTime
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Sunrise
IntervalloTemporale
è un'
istanza
di
Sunset
IntervalloTemporale
inizia
s
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
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
IntervalloTemporale
è un'
istanza
di il
periodo
ricorrente da
IntervalloTemporale
a
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8504-8506
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
immediatamente
prima
di
PosizioneTemporale
finisce
es
prima
PosizioneTemporale
(=>
(
instance
?MORNING
Morning
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
finishes
?HOUR ?MORNING))))
Merge.kif 8807-8813
IntervalloTemporale
è un'
istanza
di
Morning
IntervalloTemporale
Giorno
IntervalloTemporale
è un'
istanza
di l'
ora
12
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
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
IntervalloTemporale
è un'
istanza
di
MuakharSadaq
AutonomousAgent
Entit�
,
IntervalloTemporale
and
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
si
originas in
AutonomousAgent
IntervalloTemporale
fine
s in
Entit�
wife
Entit�
and
AutonomousAgent
vales
durante
IntervalloTemporale
wife
Entit�
and
AutonomousAgent
non vale
durante
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
IntervalloTemporale
succede%{s}
prima
di
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
(=>
(
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
IntervalloTemporale
è un'
istanza
di
MuqaddamSadaq
AutonomousAgent
Entit�
,
IntervalloTemporale
and
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
si
originas in
AutonomousAgent
IntervalloTemporale
fine
s in
Entit�
wife
Entit�
and
AutonomousAgent
non vale
durante
IntervalloTemporale
wife
Entit�
and
AutonomousAgent
vales
durante
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
IntervalloTemporale
succede%{s}
prima
di
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
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
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
finisce
es il
tempo
di esistenza di
JesusOfNazareth
IntervalloTemporale
inizia
s il
tempo
di esistenza di
TwelveApostles
Entit�
Entit�
è un
membro
di
TwelveApostles
vales
durante
IntervalloTemporale
friend
Entit�
and
JesusOfNazareth
vales
durante
IntervalloTemporale
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