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 8062-8064
(
documentation
starts
JapaneseLanguage
"(
starts
?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期
TimePoint
を持つ TimeInterva であり、?INTERVAL1 が ?INTERVAL2 より前に終了することを意味する。")
japanese_format.kif 1424-1426
(
domain
starts
1
TimeInterval
)
Merge.kif 8059-8059
Il numero 1 argomenti di
starts
è un
istanza
di
IntervalloTemporale
(
domain
starts
2
TimeInterval
)
Merge.kif 8060-8060
Il numero 2 argomenti di
starts
è un
istanza
di
IntervalloTemporale
(
instance
starts
IrreflexiveRelation
)
Merge.kif 8057-8057
starts
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
starts
TemporalRelation
)
Merge.kif 8055-8055
starts
è un'
istanza
di
RelazioneTemporale
(
instance
starts
TotalValuedRelation
)
Merge.kif 8058-8058
starts
è un'
istanza
di
RelazioneAValoreTotale
(
instance
starts
TransitiveRelation
)
Merge.kif 8056-8056
starts
è un'
istanza
di
RelazioneTransitiva
(
subrelation
starts
temporalPart
)
Merge.kif 8054-8054
starts
è una
sottorelazione
di
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
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
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
IntervalloTemporale
IntervalloTemporale
dependencyDelay
ProgrammaDiComputer
and
Durata
dependencyType
ProgrammaDiComputer
and
StartupBlock
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
inizia
s
IntervalloTemporale
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
durata
di
IntervalloTemporale
è
Durata
(=>
(
starts
?INTERVAL1 ?INTERVAL2)
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))))
Merge.kif 8066-8074
IntervalloTemporale
inizia
s
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
succede%{s}
prima
di la
fine
di
IntervalloTemporale
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
attribute
Agreement
and
FOKOrder
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
inizia
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
inizia
s
IntervalloTemporale
(=>
(
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
attribute
Agreement
and
IOCOrder
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
inizia
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
inizia
s
IntervalloTemporale
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8076-8084
L'
inizio
di
IntervalloTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
succede%{s}
prima
di la
fine
di
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
(=>
(
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
IntervalloTemporale
is
uguale
a
FiscalYearStartingFn
AutonomousAgent
and
Anno
fiscalYearPeriod
AutonomousAgent
and
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
PosizioneTemporale
IntervalloTemporale
è un'
istanza
di
Giorno
IntervalloTemporale
inizia
s
IntervalloTemporale
PosizioneTemporale
è un'
istanza
di
Anno
IntervalloTemporale
è una
parte
di
PosizioneTemporale
(=>
(
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 21473-21488
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
?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
è 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
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16293-16298
IntervalloTemporale
è un'
istanza
di
BeginningOperations
AutonomousAgent
è un'
istanza
di
Organizzazione
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
inizia
s il
tempo
di esistenza di
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 11327-11350
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 16394-16403
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
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9431-9436
Decomposizione
di
IntervalloTemporale
in
IntervalloTemporale
TYPEs is
uguale
a
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
(=>
(
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 9457-9467
Decomposizione
di
IntervalloTemporale
in
IntervalloTemporale
TYPEs is
uguale
a
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
non
inizia
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
instance
?AFTERNOON
Afternoon
)
(
exists
(?HOUR ?DAY)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
starts
?HOUR ?AFTERNOON))))
Merge.kif 8817-8823
IntervalloTemporale
è un'
istanza
di
Afternoon
IntervalloTemporale
Giorno
IntervalloTemporale
è un'
istanza
di l'
ora
12
IntervalloTemporale
inizia
s
IntervalloTemporale
(=>
(
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
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
?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 8901-8908
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 8478-8485
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
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8557-8559
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
immediatamente
dopo
PosizioneTemporale
inizia
s
dopo
PosizioneTemporale
(=>
(
instance
?LEAVE
Leaving
)
(
exists
(?GO)
(
and
(
instance
?GO
Translocation
)
(
subProcess
?LEAVE ?GO)
(
starts
(
WhenFn
?LEAVE)
(
WhenFn
?GO)))))
Mid-level-ontology.kif 17299-17305
Processo
è un'
istanza
di
Leaving
Processo
Processo
è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
il
tempo
di esistenza di
Processo
inizia
s il
tempo
di esistenza di
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
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
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?RISE ?SET)
(
and
(
instance
?RISE
Sunrise
)
(
instance
?SET
Sunset
)
(
starts
?SET ?NIGHT)
(
finishes
?RISE ?NIGHT))))
Merge.kif 8923-8930
IntervalloTemporale
è un'
istanza
di
NightTime
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Sunrise
IntervalloTemporale
è un'
istanza
di
Sunset
IntervalloTemporale
inizia
s
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
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 19108-19115
IntervalloTemporale
è un'
istanza
di
PostMeridiem
Giorno
IntervalloTemporale
and
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di l'
ora
12
IntervalloTemporale
inizia
s
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di l'
ora
24
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
instance
?S
(
StartFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
starts
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 424-429
Entit�Concreta
è un'
istanza
di
StartFn
Processo
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Processo
il
tempo
di esistenza di
Entit�Concreta
inizia
s il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?SS
SportServe
)
(
exists
(?S)
(
and
(
instance
?S
Sport
)
(
subProcess
?SS ?S)
(
starts
(
WhenFn
?SS)
(
WhenFn
?S)))))
Mid-level-ontology.kif 17069-17075
Processo
è un'
istanza
di
SportServe
Processo
Processo
è un'
istanza
di
Sport
Processo
è un
sottoprocesso
di
Processo
il
tempo
di esistenza di
Processo
inizia
s il
tempo
di esistenza di
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
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