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
Elevator
Sigma KEE - temporalPart
temporalPart
appearance as argument number 1
(
documentation
temporalPart
ChineseLanguage
"这是类似空间谓词
part
的时间部分。 (
temporalPart
?POS1 ?POS2)的意思是
TimePosition
?POS1 是
TimePosition
?POS2 的一部分。 注:因为
temporalPart
是
ReflexiveRelation
,所以每个 TimePostion 都是它本身的 一个
temporalPart
。")
chinese_format.kif 2693-2696
(
documentation
temporalPart
EnglishLanguage
"The temporal analogue of the spatial
part
predicate. (
temporalPart
?POS1 ?POS2) means that
TimePosition
?POS1 is part of
TimePosition
?POS2. Note that since
temporalPart
is a
ReflexiveRelation
every TimePostion is a
temporalPart
of itself.")
Merge.kif 7935-7938
(
documentation
temporalPart
JapaneseLanguage
"空間
part
述部の時間アナログ。(
temporalPart
?POS1 ?POS2) とは、
TimePosition
?POS1が
TimePosition
?POS2 の一部であることを意味する。 注:
temporalPart
はすべての TimePostion の
ReflexiveRelation
であるため、それ自体の TimePostion である。")
japanese_format.kif 1416-1419
(
domain
temporalPart
1
TimePosition
)
Merge.kif 7932-7932
Il numero 1 argomenti di
temporalPart
è un
istanza
di
PosizioneTemporale
(
domain
temporalPart
2
TimePosition
)
Merge.kif 7933-7933
Il numero 2 argomenti di
temporalPart
è un
istanza
di
PosizioneTemporale
(
instance
temporalPart
BinaryPredicate
)
Merge.kif 7929-7929
temporalPart
è un'
istanza
di
PredicatoBinario
(
instance
temporalPart
PartialOrderingRelation
)
Merge.kif 7931-7931
temporalPart
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
temporalPart
TemporalRelation
)
Merge.kif 7930-7930
temporalPart
è un'
istanza
di
RelazioneTemporale
appearance as argument number 2
(
format
ChineseLanguage
temporalPart
"%1 时段 %n 是 %2 时段 的一
part
")
chinese_format.kif 417-417
(
format
EnglishLanguage
temporalPart
"%1 is %n a
part
of %2")
english_format.kif 423-423
(
format
FrenchLanguage
temporalPart
"%1 est %n une
part
ie de %2")
french_format.kif 243-243
(
format
ItalianLanguage
temporalPart
"%1 è %n una
part
e di%2")
relations-it.txt 296-296
(
format
JapaneseLanguage
temporalPart
"%1 は %2 の
part
では %n")
japanese_format.kif 2037-2037
(
format
PortugueseLanguage
temporalPart
"%1 e' %n uma &parte de %2")
portuguese_format.kif 195-195
(
format
cz
temporalPart
"%1 %p{je} %n{nen�} a
part
of %2'")
relations-cz.txt 248-248
(
format
de
temporalPart
"%1 ist ein teil von %2 %n{nicht}")
relations-de.txt 541-541
(
format
hi
temporalPart
"%1 %2 kaa bhaaga %n hai")
relations-hindi.txt 332-332
(
format
ro
temporalPart
"%1 %n{nu} este o
part
%t{parte} a lui %2")
relations-ro.kif 264-264
(
format
sv
temporalPart
"%1 är %n{inte} en
de
l av %2")
relations-sv.txt 264-264
(
format
tg
temporalPart
"%1 %n ay ang bahagi ng %2")
relations-tg.txt 488-488
(
relatedInternalConcept
typicalTemporalPart
temporalPart
)
Cars.kif 1433-1433
typicalTemporalPart
è
interamente
correlato a
temporalPart
(
relatedInternalConcept
typicallyContainsTemporalPart
temporalPart
)
Cars.kif 1475-1475
typicallyContainsTemporalPart
è
interamente
correlato a
temporalPart
(
subrelation
finishes
temporalPart
)
Merge.kif 8064-8064
finishes
è una
sottorelazione
di
temporalPart
(
subrelation
starts
temporalPart
)
Merge.kif 8032-8032
starts
è una
sottorelazione
di
temporalPart
(
termFormat
ChineseLanguage
temporalPart
"时间部分")
chinese_format.kif 418-418
(
termFormat
ChineseTraditionalLanguage
temporalPart
"時間部分")
domainEnglishFormat.kif 57451-57451
(
termFormat
EnglishLanguage
temporalPart
"temporal part")
domainEnglishFormat.kif 57450-57450
antecedent
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8281-8288
IntervalloTemporale
accades
prima
di
IntervalloTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
and
(
holdsDuring
?TIME1 ?SITUATION)
(
temporalPart
?TIME2 ?TIME1))
(
holdsDuring
?TIME2 ?SITUATION))
Merge.kif 7954-7958
Formula
vales
durante
PosizioneTemporale
PosizioneTemporale
è una
parte
di
PosizioneTemporale
Formula
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
WebSite
è un'
istanza
di
WebSite
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebListing
è un'
istanza
di
WebListing
PuntoTemporale
è un'
istanza
di
PuntoTemporale
listingSeller
WebListing
and
AutonomousAgent
WebListing
è un
membro
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
Entit�Concreta
è un'
istanza
di
WebListing
Entit�Concreta
è un
membro
di
SellersItemsFn
AutonomousAgent
and
WebSite
PuntoTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
is
uguale
a
WebListing
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
PuntoTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
è un'
istanza
di
WebListing
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
PuntoTemporale
is
uguale
a
InsiemeConcreto
(=>
(
and
(
instance
?D
EasterSunday
)
(
temporalPart
?D ?M)
(
instance
?M
Month
))
(
or
(
instance
?M
March
)
(
instance
?M
April
)
(
instance
?M
May
)))
Media.kif 498-506
PosizioneTemporale
è un'
istanza
di
EasterSunday
PosizioneTemporale
è una
parte
di
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
Mese
PosizioneTemporale
è un'
istanza
di
Marzo
PosizioneTemporale
è un'
istanza
di
Aprile
PosizioneTemporale
è un'
istanza
di
Maggio
(=>
(
and
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
temporalPart
?D1
(
WeekBeforeFn
?D2))
(
temporalPart
?D2
(
WeekAfterFn
?D1)))
(
exists
(?N1)
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?N1
(
SubtractionFn
?N2 7)))))
Mid-level-ontology.kif 14837-14846
PosizioneTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
PosizioneTemporale
è una
parte
di
WeekBeforeFn
PosizioneTemporale
PosizioneTemporale
è una
parte
di
WeekAfterFn
PosizioneTemporale
NumeroInteroPositivo
PosizioneTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroInteroPositivo
is
uguale
a (
NumeroInteroPositivo
+ 7
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9299-9306
IntervalloTemporale
è un'
istanza
di
Venerd�
IntervalloTemporale
è un'
istanza
di
Sabato
PosizioneTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9247-9254
IntervalloTemporale
è un'
istanza
di
Luned�
IntervalloTemporale
è un'
istanza
di
Marted�
PosizioneTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9312-9319
IntervalloTemporale
è un'
istanza
di
Sabato
IntervalloTemporale
è un'
istanza
di
Domenica
PosizioneTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DAY1
Sunday
)
(
instance
?DAY2
Monday
)
(
instance
?WEEK1
Week
)
(
instance
?WEEK2
Week
)
(
temporalPart
?DAY1 ?WEEK1)
(
temporalPart
?DAY2 ?WEEK2)
(
meetsTemporally
?WEEK1 ?WEEK2))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9321-9330
IntervalloTemporale
è un'
istanza
di
Domenica
IntervalloTemporale
è un'
istanza
di
Luned�
IntervalloTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
IntervalloTemporale
IntervalloTemporale
è una
parte
di
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9286-9293
IntervalloTemporale
è un'
istanza
di
Gioved�
IntervalloTemporale
è un'
istanza
di
Venerd�
PosizioneTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9260-9267
IntervalloTemporale
è un'
istanza
di
Marted�
IntervalloTemporale
è un'
istanza
di
Mercoled�
PosizioneTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9273-9280
IntervalloTemporale
è un'
istanza
di
Mercoled�
IntervalloTemporale
è un'
istanza
di
Gioved�
PosizioneTemporale
è un'
istanza
di
Settimana
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8242-8247
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
(=>
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8298-8303
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
(=>
(
and
(
typicalTemporalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
temporalPart
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
temporalPart
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1453-1470
typicalTemporalPart
Processo
and
Processo
Entit�
è un'
istanza
di
Processo
Processo
PROB is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
parte
di
Entit�
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
parte
di
Entit�
Processo
PROB è
pi
ù grande di
NumeroReale
(=>
(
and
(
typicallyContainsTemporalPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
temporalPart
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
temporalPart
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1493-1510
typicallyContainsTemporalPart
Processo
and
Processo
Entit�
è un'
istanza
di
Processo
Processo
PROB is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
parte
di
Entit�
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
parte
di
Entit�
Processo
PROB è
pi
ù grande di
NumeroReale
(=>
(
temporalPart
?POS
(
WhenFn
?THING))
(
time
?THING ?POS))
Merge.kif 7969-7972
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
esistes
durante
PosizioneTemporale
consequent
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
birthdate
JesusOfNazareth
and
Giorno
IntervalloTemporale
è un'
istanza
di l'
anno
-6
IntervalloTemporale
è un'
istanza
di l'
anno
4
Giorno
è una
parte
di
intervallo
tra l'
inizio
di
IntervalloTemporale
e la
fine
di
IntervalloTemporale
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1943-1948
deathdate
JesusOfNazareth
and
Giorno
IntervalloTemporale
è un'
istanza
di l'
anno
29
IntervalloTemporale
è un'
istanza
di l'
anno
36
Giorno
è una
parte
di
intervallo
tra l'
inizio
di
IntervalloTemporale
e la
fine
di
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
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
attribute
Entit�
and
Expellee
Entit�
è un
cittadino
di
Entit�
-NATION vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
Processo
Oggetto
Oggetto
è un'
istanza
di
Nazione
Oggetto
is
uguale
a
Entit�
-NATION
Processo
è un'
istanza
di
Translocation
Processo
si
originas in
Oggetto
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
-NATION
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DECODE
Decoding
)
(
patient
?DECODE ?DOC1))
(
exists
(?ENCODE ?DOC2 ?TIME ?PROP)
(
and
(
containsInformation
?DOC2 ?PROP)
(
containsInformation
?DOC1 ?PROP)
(
temporalPart
?TIME
(
PastFn
(
WhenFn
?DECODE)))
(
holdsDuring
?TIME
(
and
(
instance
?ENCODE
Encoding
)
(
patient
?ENCODE ?DOC2))))))
Merge.kif 12715-12728
Processo
è un'
istanza
di
Decodificare
ContentBearingPhysical
è un
paziente
di
Processo
Entit�
ContentBearingPhysical
,
PosizioneTemporale
and
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
PosizioneTemporale
è una
parte
di
prima
il
tempo
di esistenza di
Processo
Entit�
è un'
istanza
di
Codificare
ContentBearingPhysical
è un
paziente
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?GOAL
GameGoal
)
(
instrument
?GAME ?GOAL)
(
instance
?GAME
Game
)
(
subProcess
?SCORE ?GAME)
(
instance
?SCORE
Score
))
(
exists
(?PIECE ?TIME)
(
and
(
instance
?PIECE
GamePiece
)
(
patient
?SCORE ?PIECE)
(
temporalPart
?TIME
(
WhenFn
?SCORE))
(
holdsDuring
?TIME
(
located
?PIECE ?GOAL)))))
Mid-level-ontology.kif 17051-17063
Oggetto
è un'
istanza
di
GameGoal
Oggetto
è uno
strumento
per
Processo
Processo
è un'
istanza
di
Gioco
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Score
Entit�
PosizioneTemporale
Entit�
è un'
istanza
di
GamePiece
Entit�
è un
paziente
di
Processo
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Oggetto
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?H
Hanukkah
)
(
equal
?B
(
BeginFn
?H)))
(
exists
(?M)
(
and
(
temporalPart
?B ?M)
(
instance
?M
Month
)
(
or
(
instance
?M
November
)
(
instance
?M
December
)))))
Media.kif 587-597
IntervalloTemporale
è un'
istanza
di
Hanukkah
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
PosizioneTemporale
PuntoTemporale
è una
parte
di
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
Mese
PosizioneTemporale
è un'
istanza
di
Novembre
PosizioneTemporale
è un'
istanza
di
Dicembre
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12190-12198
Processo
è un'
istanza
di
Trattenere
Entit�
è un
paziente
di
Processo
Entit�
PosizioneTemporale
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?O
OccupationalRole
)
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?O)))
(
exists
(?X ?T ?P ?PT)
(
and
(
instance
?X
CognitiveAgent
)
(
holdsDuring
?T
(
attribute
?X ?O))
(
instance
?P ?PCLASS)
(
agent
?X ?P)
(
time
?P ?PT)
(
temporalPart
?PT ?T))))
Mid-level-ontology.kif 22260-22273
Attributo
è un'
istanza
di
Occupazione
typicalAction
Processo
and
AttrFn
AgenteCognitivo
and
Attributo
Processo
PosizioneTemporale
,
AutonomousAgent
and
AutonomousAgent
T
Processo
è un'
istanza
di
AgenteCognitivo
attribute
Processo
and
Attributo
vales
durante
PosizioneTemporale
AutonomousAgent
è un'
istanza
di
Processo
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
esistes
durante
AutonomousAgent
T
AutonomousAgent
T è una
parte
di
PosizioneTemporale
(=>
(
and
(
instance
?POINT1
TimePoint
)
(
instance
?POINT2
TimePoint
)
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
TimeIntervalFn
?POINT1 ?POINT2) ?INTERVAL))
(
forall
(?POINT)
(<=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT ?POINT2)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 8430-8439
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
intervallo
tra
PuntoTemporale
e
PuntoTemporale
is
uguale
a
IntervalloTemporale
PuntoTemporale
PuntoTemporale
è
tra
o in
PuntoTemporale
e
PuntoTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18150-18184
Oggetto
è un'
istanza
di
Saw
Processo
è un'
istanza
di
Tagliare
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è un
paziente
di
Processo
Processo
Entit�
,
Entit�
,
IntervalloTemporale
,
PosizioneTemporale
,
PosizioneTemporale
and
Oggetto
Processo
è un'
istanza
di
Movimento
Processo
è un
sottoprocesso
di
Processo
Oggetto
è un'
istanza
di
CuttingDevice
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è un
paziente
di
Processo
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
il
tempo
di esistenza di
Processo
is
uguale
a
IntervalloTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
Entit�
è un'
istanza
di
AttributoDirezionale
Entit�
è un'
istanza
di
AttributoDirezionale
entità nel processo
Processo
si stanno
muovendo
verso
Entit�
vales
durante
PosizioneTemporale
entità nel processo
Processo
si stanno
muovendo
verso
Entit�
Entit�
is
uguale
a
Entit�
oppositeDirection
Entit�
and
Entit�
~{
Entit�
is
uguale
a
Entit�
} ~{
oppositeDirection
Entit�
and
Entit�
} vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?T1
(
YearFn
26))
(
instance
?T2
(
YearFn
100)))
(
temporalPart
(
WhenFn
TwelveApostles
)
(
TimeIntervalFn
(
BeginFn
?T1)
(
EndFn
?T2))))
Media.kif 1959-1963
IntervalloTemporale
è un'
istanza
di l'
anno
26
IntervalloTemporale
è un'
istanza
di l'
anno
100
il
tempo
di esistenza di
TwelveApostles
è una
parte
di
intervallo
tra l'
inizio
di
IntervalloTemporale
e la
fine
di
IntervalloTemporale
(=>
(
and
(
property
?Option
EuropeanStyleOption
)
(
agreementExpirationDate
?Option ?Date))
(
exists
(?Period ?Time ?Exercise)
(
and
(
instance
?Period
TimeInterval
)
(
equal
(
EndFn
?Period) ?Date)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
equal
(
WhenFn
?Exercise) ?Time))
(
temporalPart
?Time ?Period)))))
FinancialOntology.kif 2808-2820
Agreement
ha un
attributo
EuropeanStyleOption
agreementExpirationDate
Agreement
and
PuntoTemporale
IntervalloTemporale
IntervalloTemporale
and
Entit�Concreta
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a
PuntoTemporale
Entit�Concreta
è un'
istanza
di
ExerciseAnOption
il
tempo
di esistenza di
Entit�Concreta
is
uguale
a
IntervalloTemporale
IntervalloTemporale
è una
parte
di
IntervalloTemporale
(=>
(
and
(
subclass
?PAPER
Newspaper
)
(
instance
?WEEK
Week
))
(
exists
(?PUBLICATION ?ISSUE)
(
and
(
instance
?PUBLICATION
Publication
)
(
temporalPart
(
WhenFn
?PUBLICATION) ?WEEK)
(
result
?PUBLICATION ?ISSUE)
(
instance
?ISSUE ?PAPER))))
Mid-level-ontology.kif 14789-14798
Classe
è una
sottoclasse
di
Newspaper
PosizioneTemporale
è un'
istanza
di
Settimana
Processo
Entit�
Processo
è un'
istanza
di
Editoria
il
tempo
di esistenza di
Processo
è una
parte
di
PosizioneTemporale
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
Classe
(=>
(
classmate
?A1 ?A2 ?COURSE)
(
exists
(?CLASS ?EDU ?TIME)
(
and
(
instance
?CLASS
GroupOfPeople
)
(
instance
?EDU
EducationalProcess
)
(
realization
?EDU ?COURSE)
(
patient
?EDU ?CLASS)
(
temporalPart
?TIME
(
WhenFn
?EDU))
(
memberAtTime
?A1 ?CLASS ?TIME)
(
memberAtTime
?A1 ?CLASS ?TIME))))
Mid-level-ontology.kif 16816-16827
classmate
Umano
,
Umano
and
EducationalCourse
InsiemeConcreto
Processo
and
PosizioneTemporale
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
Processo
è un'
istanza
di
ProcessoEducazionale
Processo
esprime
il contenuto di
EducationalCourse
InsiemeConcreto
è un
paziente
di
Processo
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
memberAtTime
Umano
,
InsiemeConcreto
and
PosizioneTemporale
memberAtTime
Umano
,
InsiemeConcreto
and
PosizioneTemporale
(=>
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
exists
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
temporalPart
?MO
WinterSeason
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
CelsiusDegree
))
(
lessThan
?AMOUNT -3.0))))
Geography.kif 1533-1541
climateTypeInArea
AreaGeografica
and
ColdClimateZone
IntervalloTemporale
NumeroReale
IntervalloTemporale
è un'
istanza
di
Mese
IntervalloTemporale
è una
parte
di
WinterSeason
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
meno
di-3.0
(=>
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
exists
(?ORGANISM ?TIME ?SAMPLE ?PROC)
(
and
(
holdsDuring
?TIME
(
attribute
?ORGANISM ?DISEASE))
(
increasesLikelihood
(
and
(
instance
?PROC ?PROCESS)
(
temporalPart
(
WhenFn
?PROC) ?TIME)
(
experiencer
?PROC ?ORGANISM)
(
patient
?PROC ?SAMPLE)
(
instance
?SAMPLE ?SUBSTANCE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
attribute
?ORGANISM ?DISEASE)))))))
WMD.kif 941-955
diseaseMedicine
MalattiaOSindrome
,
SostanzaBiologicamenteAttiva
and
Processo
Entit�
PosizioneTemporale
,
Entit�
and
Entit�
attribute
Entit�
and
MalattiaOSindrome
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Processo
il
tempo
di esistenza di
Entit�
è una
parte
di
PosizioneTemporale
Entit�
esperisce
s
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
SostanzaBiologicamenteAttiva
aumenta
s la verosimiglianza di
attribute
Entit�
and
MalattiaOSindrome
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
during
?SMALL ?BIG)
(
temporalPart
?SMALL ?BIG))
Merge.kif 8258-8260
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
è una
parte
di
IntervalloTemporale
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 7998-8005
L'
inizio
di
IntervalloTemporale
is
uguale
a
PuntoTemporale
PuntoTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
PuntoTemporale
is
uguale
a
PuntoTemporale
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
equal
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 8016-8023
La
fine
di
IntervalloTemporale
is
uguale
a
PuntoTemporale
PuntoTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
PuntoTemporale
is
uguale
a
PuntoTemporale
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME)
(=>
(
and
(
instance
?TIME
TimePoint
)
(
temporalPart
?TIME ?INTERVAL))
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?CLASS)
(
temporalPart
?TIME ?INSTANCE))))))
Merge.kif 9447-9457
Decomposizione
di
IntervalloTemporale
in
IntervalloTemporale
TYPEs is
uguale
a
IntervalloTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
PuntoTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
PosizioneTemporale
(=>
(
frequency
?PROC ?TIME1)
(
forall
(?TIME2)
(=>
(
duration
?TIME2 ?TIME1)
(
exists
(?POSITION)
(
and
(
temporalPart
?POSITION ?TIME2)
(
holdsDuring
?POSITION
(
exists
(?INST)
(
instance
?INST ?PROC))))))))
Merge.kif 7917-7927
Processo
ricorre
ogni
Durata
IntervalloTemporale
durata
di
IntervalloTemporale
è
Durata
PosizioneTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
Entit�
Entit�
è un'
istanza
di
Processo
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?T1
(
attribute
?H
Veteran
))
(
exists
(?T2)
(
and
(
temporalPart
?T2
(
PastFn
(
WhenFn
?T1)))
(
holdsDuring
?T2
(
attribute
?H
Soldier
))
(
not
(
holdsDuring
?T1
(
attribute
?H
Soldier
))))))
Mid-level-ontology.kif 22203-22214
attribute
Entit�
and
Veteran
vales
durante
Entit�Concreta
PosizioneTemporale
PosizioneTemporale
è una
parte
di
prima
il
tempo
di esistenza di
Entit�Concreta
attribute
Entit�
and
Soldier
vales
durante
PosizioneTemporale
attribute
Entit�
and
Soldier
non vale
durante
Entit�Concreta
(=>
(
holdsDuring
?T1
(
inhabits
?ORGANISM ?OBJ))
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME ?T1)
(
holdsDuring
?TIME
(
located
?ORGANISM ?OBJ)))))
Merge.kif 14376-14382
Entit�
abita
s in
Entit�
vales
durante
PosizioneTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
PosizioneTemporale
Entit�
è
localizzato
in
Entit�
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?T1
(
states
?AGENT ?SENTENCE))
(
exists
(?COMM)
(
and
(
instance
?COMM
LinguisticCommunication
)
(
agent
?COMM ?AGENT)
(
patient
?COMM ?SENTENCE)
(
temporalPart
?T1
(
WhenFn
?COMM)))))
Media.kif 1844-1851
states
AutonomousAgent
and
Entit�
vales
durante
PosizioneTemporale
Processo
Processo
è un'
istanza
di
LinguisticCommunication
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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