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
Il numero 1 argomenti di
starts
è un
istanza
di
IntervalloTemporale
(
domain
starts
2
TimeInterval
)
Merge.kif 8038-8038
Il numero 2 argomenti di
starts
è un
istanza
di
IntervalloTemporale
(
instance
starts
IrreflexiveRelation
)
Merge.kif 8035-8035
starts
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
starts
TemporalRelation
)
Merge.kif 8033-8033
starts
è un'
istanza
di
RelazioneTemporale
(
instance
starts
TotalValuedRelation
)
Merge.kif 8036-8036
starts
è un'
istanza
di
RelazioneAValoreTotale
(
instance
starts
TransitiveRelation
)
Merge.kif 8034-8034
starts
è un'
istanza
di
RelazioneTransitiva
(
subrelation
starts
temporalPart
)
Merge.kif 8032-8032
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 8044-8052
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 8054-8062
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 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
?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
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16294-16299
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 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
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
exists
(?TIME)
(
and
(
instance
?TIME ?CLASS)
(
starts
?TIME ?INTERVAL))))
Merge.kif 9409-9414
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 9435-9445
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 8795-8801
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 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
?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
)
(
starts
(
ImmediateFutureFn
?INTERVAL)
(
FutureFn
?INTERVAL)))
Merge.kif 8535-8537
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 17300-17306
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 8901-8908
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 19109-19116
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 17070-17076
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