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
temporalPart
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
Le nombre 1 argument de
temporalPart
est une
instance
de
position temporel
(
domain
temporalPart
2
TimePosition
)
Merge.kif 7933-7933
Le nombre 2 argument de
temporalPart
est une
instance
de
position temporel
(
instance
temporalPart
BinaryPredicate
)
Merge.kif 7929-7929
temporalPart
est une
instance
de
pr�dicat binaire
(
instance
temporalPart
PartialOrderingRelation
)
Merge.kif 7931-7931
temporalPart
est une
instance
de
relation partiellement dirig�e
(
instance
temporalPart
TemporalRelation
)
Merge.kif 7930-7930
temporalPart
est une
instance
de
relation temporel
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
est
reli
� � l'int�rieur de SUMO �
temporalPart
(
relatedInternalConcept
typicallyContainsTemporalPart
temporalPart
)
Cars.kif 1475-1475
typicallyContainsTemporalPart
est
reli
� � l'int�rieur de SUMO �
temporalPart
(
subrelation
finishes
temporalPart
)
Merge.kif 8064-8064
finishes
est une
sous
-relation de
temporalPart
(
subrelation
starts
temporalPart
)
Merge.kif 8032-8032
starts
est une
sous
-relation de
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
Interval temporel
arrive
plus
t�t que
interval temporel
point temporel
est une
instance
de
point temporel
point temporel
est une
instance
de
point temporel
point temporel
est une
partie
de
interval temporel
point temporel
est une
partie
de
interval temporel
point temporel
se produit
avant
point temporel
(=>
(
and
(
holdsDuring
?TIME1 ?SITUATION)
(
temporalPart
?TIME2 ?TIME1))
(
holdsDuring
?TIME2 ?SITUATION))
Merge.kif 7954-7958
Formule
pendant
position temporel
position temporel
est une
partie
de
position temporel
formule
pendant
position temporel
(=>
(
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
Collection
est une
instance
de
collection
WebSite
est une
instance
de
WebSite
AutonomousAgent
est une
instance
de
AutonomousAgent
WebListing
est une
instance
de
WebListing
point temporel
est une
instance
de
point temporel
listingSeller
WebListing
and
AutonomousAgent
WebListing
est un
membre
de
collection
physique
physique
physique
est une
instance
de
WebListing
physique
est un
membre
de
SellersItemsFn
AutonomousAgent
and
WebSite
point temporel
est une
partie
de
temps
d'existence de
physique
physique
est
WebListing
physique
est un
membre
de
collection
physique
est un
membre
de
collection
point temporel
est une
partie
de
temps
d'existence de
physique
physique
est une
instance
de
WebListing
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
point temporel
est
collection
(=>
(
and
(
instance
?D
EasterSunday
)
(
temporalPart
?D ?M)
(
instance
?M
Month
))
(
or
(
instance
?M
March
)
(
instance
?M
April
)
(
instance
?M
May
)))
Media.kif 498-506
Position temporel
est une
instance
de
EasterSunday
position temporel
est une
partie
de
position temporel
position temporel
est une
instance
de
mois
position temporel
est une
instance
de
Mars
position temporel
est une
instance
de
Avril
position temporel
est une
instance
de
Mai
(=>
(
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
Position temporel
est une
instance
de le
jour
nombre entier positif
position temporel
est une
partie
de
WeekBeforeFn
position temporel
position temporel
est une
partie
de
WeekAfterFn
position temporel
nombre entier positif
position temporel
est une
instance
de le
jour
nombre entier positif
nombre entier positif
est
nombre entier positif
+ 7)
(=>
(
and
(
instance
?DAY1
Friday
)
(
instance
?DAY2
Saturday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9299-9306
Interval temporel
est une
instance
de
Vendredi
interval temporel
est une
instance
de
Samedi
position temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?DAY1
Monday
)
(
instance
?DAY2
Tuesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9247-9254
Interval temporel
est une
instance
de
Lundi
interval temporel
est une
instance
de
Mardi
position temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?DAY1
Saturday
)
(
instance
?DAY2
Sunday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9312-9319
Interval temporel
est une
instance
de
Samedi
interval temporel
est une
instance
de
Dimanche
position temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
interval temporel
rencontre
interval temporel
(=>
(
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
Interval temporel
est une
instance
de
Dimanche
interval temporel
est une
instance
de
Lundi
interval temporel
est une
instance
de
semaine
interval temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
interval temporel
interval temporel
est une
partie
de
interval temporel
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?DAY1
Thursday
)
(
instance
?DAY2
Friday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9286-9293
Interval temporel
est une
instance
de
Jeudi
interval temporel
est une
instance
de
Vendredi
position temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?DAY1
Tuesday
)
(
instance
?DAY2
Wednesday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9260-9267
Interval temporel
est une
instance
de
Mardi
interval temporel
est une
instance
de
Mercredi
position temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?DAY1
Wednesday
)
(
instance
?DAY2
Thursday
)
(
instance
?WEEK
Week
)
(
temporalPart
?DAY1 ?WEEK)
(
temporalPart
?DAY2 ?WEEK))
(
meetsTemporally
?DAY1 ?DAY2))
Merge.kif 9273-9280
Interval temporel
est une
instance
de
Mercredi
interval temporel
est une
instance
de
Jeudi
position temporel
est une
instance
de
semaine
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
interval temporel
rencontre
interval temporel
(=>
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8242-8247
Position temporel
est une
instance
de
interval temporel
position temporel
est une
partie
de
interval temporel
position temporel
est une
partie
de
interval temporel
interval temporel
recouvre
interval temporel
(=>
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8298-8303
Position temporel
est une
instance
de
position temporel
position temporel
est une
partie
de
interval temporel
position temporel
est une
partie
de
interval temporel
interval temporel
recouvre
interval temporel
(=>
(
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
processus
and
processus
entit�
est une
instance
de
processus
processus
PROB est
probabilit
� de
entit�
entit�
est une
instance
de
processus
entit�
est une
partie
de
entit�
nombre r�el
est
probabilit
� de
entit�
entit�
est une
instance
de
processus
entit�
est une
partie
de
entit�
processus
PROB est
plus
grand
que
nombre r�el
(=>
(
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
processus
and
processus
entit�
est une
instance
de
processus
processus
PROB est
probabilit
� de
entit�
entit�
est une
instance
de
processus
entit�
est une
partie
de
entit�
nombre r�el
est
probabilit
� de
entit�
entit�
est une
instance
de
processus
entit�
est une
partie
de
entit�
processus
PROB est
plus
grand
que
nombre r�el
(=>
(
temporalPart
?POS
(
WhenFn
?THING))
(
time
?THING ?POS))
Merge.kif 7969-7972
Position temporel
est une
partie
de
temps
d'existence de
physique
physique
existe
pendant
position temporel
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
jour
interval temporel
est une
instance
de l'
ann
�e -6
interval temporel
est une
instance
de l'
ann
�e 4
jour
est une
partie
de l'
intervale
entre le
d
�but de
interval temporel
et la
fin
de
interval temporel
(=>
(
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
jour
interval temporel
est une
instance
de l'
ann
�e 29
interval temporel
est une
instance
de l'
ann
�e 36
jour
est une
partie
de l'
intervale
entre le
d
�but de
interval temporel
et la
fin
de
interval temporel
(=>
(
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
Interval temporel
est
FiscalYearStartingFn
AutonomousAgent
and
ann�e
fiscalYearPeriod
AutonomousAgent
and
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
position temporel
interval temporel
est une
instance
de
jour
interval temporel
commence
interval temporel
position temporel
est une
instance
de
ann�e
interval temporel
est une
partie
de
position temporel
(=>
(
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
Expellee
est un
attribut
de
entit�
entit�
est un
citoyen
de
entit�
-NATION
pendant
position temporel
position temporel
est une
instance
de
interval temporel
processus
objet
objet
est une
instance
de
nation
objet
est
entit�
-NATION
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
-NATION
position temporel
est une
partie
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
decoder
ContentBearingPhysical
est un
patient
de
processus
entit�
ContentBearingPhysical
,
position temporel
and
proposition
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
contient
information
proposition
position temporel
est une
partie
de
avant
temps
d'existence de
processus
entit�
est une
instance
de
encoder
ContentBearingPhysical
est un
patient
de
entit�
pendant
position temporel
(=>
(
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
Objet
est une
instance
de
GameGoal
objet
est un
instrument
pour
processus
processus
est une
instance
de
jeu
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Score
entit�
position temporel
entit�
est une
instance
de
GamePiece
entit�
est un
patient
de
processus
position temporel
est une
partie
de
temps
d'existence de
processus
entit�
est
situ
� �
objet
pendant
position temporel
(=>
(
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
Interval temporel
est une
instance
de
Hanukkah
point temporel
est
d
�but de
interval temporel
position temporel
point temporel
est une
partie
de
position temporel
position temporel
est une
instance
de
mois
position temporel
est une
instance
de
Novembre
position temporel
est une
instance
de
Decembre
(=>
(
and
(
instance
?KEEP
Keeping
)
(
patient
?KEEP ?OBJ))
(
exists
(?PLACE)
(
forall
(?TIME)
(=>
(
temporalPart
?TIME
(
WhenFn
?KEEP))
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE))))))
Merge.kif 12190-12198
Processus
est une
instance
de
garder
entit�
est un
patient
de
processus
entit�
position temporel
position temporel
est une
partie
de
temps
d'existence de
processus
entit�
est
situ
� �
entit�
pendant
position temporel
(=>
(
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
Attribut
est une
instance
de
OccupationalRole
typicalAction
processus
and
AttrFn
agent cognitif
and
attribut
processus
position temporel
,
AutonomousAgent
and
AutonomousAgent
T
processus
est une
instance
de
agent cognitif
attribut
est un
attribut
de
processus
pendant
position temporel
AutonomousAgent
est une
instance
de
processus
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
existe
pendant
AutonomousAgent
T
AutonomousAgent
T est une
partie
de
position temporel
(=>
(
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
Point temporel
est une
instance
de
point temporel
point temporel
est une
instance
de
point temporel
interval temporel
est une
instance
de
interval temporel
l'
intervale
entre
point temporel
et
point temporel
est
interval temporel
point temporel
point temporel
est
entre
ou pendant
point temporel
et
point temporel
point temporel
est une
partie
de
interval temporel
(=>
(
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
Objet
est une
instance
de
Saw
processus
est une
instance
de
couper
objet
est un
instrument
pour
processus
objet
est une
instance
de
objet
objet
est un
patient
de
processus
processus
entit�
,
entit�
,
interval temporel
,
position temporel
,
position temporel
and
objet
processus
est une
instance
de
d�palcement
processus
est un
sous
-processus de
processus
objet
est une
instance
de
CuttingDevice
objet
est une
partie
de
objet
objet
rencontre
objet
objet
est un
patient
de
processus
position temporel
est une
instance
de
interval temporel
position temporel
est une
instance
de
interval temporel
temps
d'existence de
processus
est
interval temporel
interval temporel
est une
partie
de
position temporel
interval temporel
est une
partie
de
position temporel
entit�
est une
instance
de
attribut directionnel
entit�
est une
instance
de
attribut directionnel
les entit�es dans le processus
processus
bougent
entit�
pendant
position temporel
les entit�es dans le processus
processus
bougent
entit�
entit�
est
entit�
oppositeDirection
entit�
and
entit�
~{
entit�
est
entit�
} ~{
oppositeDirection
entit�
and
entit�
}
pendant
position temporel
(=>
(
and
(
instance
?T1
(
YearFn
26))
(
instance
?T2
(
YearFn
100)))
(
temporalPart
(
WhenFn
TwelveApostles
)
(
TimeIntervalFn
(
BeginFn
?T1)
(
EndFn
?T2))))
Media.kif 1959-1963
Interval temporel
est une
instance
de l'
ann
�e 26
interval temporel
est une
instance
de l'
ann
�e 100
temps
d'existence de
TwelveApostles
est une
partie
de l'
intervale
entre le
d
�but de
interval temporel
et la
fin
de
interval temporel
(=>
(
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
a un
attribute
EuropeanStyleOption
agreementExpirationDate
Agreement
and
point temporel
interval temporel
interval temporel
and
physique
interval temporel
est une
instance
de
interval temporel
la
fin
de
interval temporel
est
point temporel
physique
est une
instance
de
ExerciseAnOption
temps
d'existence de
physique
est
interval temporel
interval temporel
est une
partie
de
interval temporel
(=>
(
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
est une
sous
-classe de
Newspaper
position temporel
est une
instance
de
semaine
processus
entit�
processus
est une
instance
de
publier
temps
d'existence de
processus
est une
partie
de
position temporel
entit�
est le
resultat
de
processus
entit�
est une
instance
de
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
humain
,
humain
and
EducationalCourse
collection
processus
and
position temporel
collection
est une
instance
de
GroupOfPeople
processus
est une
instance
de
processus educationnel
processus
exprime
le contenu de
EducationalCourse
collection
est un
patient
de
processus
position temporel
est une
partie
de
temps
d'existence de
processus
memberAtTime
humain
,
collection
and
position temporel
memberAtTime
humain
,
collection
and
position temporel
(=>
(
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
secteur g�ographique
and
ColdClimateZone
interval temporel
nombre r�el
interval temporel
est une
instance
de
mois
interval temporel
est une
partie
de
WinterSeason
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
moins
que -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
maladie ou syndrome
,
substance biologique active
and
processus
entit�
position temporel
,
entit�
and
entit�
maladie ou syndrome
est un
attribut
de
entit�
pendant
position temporel
entit�
est une
instance
de
processus
temps
d'existence de
entit�
est une
partie
de
position temporel
entit�
exp
�rimente
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
substance biologique active
augmente
la probabilit� de
maladie ou syndrome
est un
attribut
de
entit�
pendant
immediatement
apr
�s
position temporel
(=>
(
during
?SMALL ?BIG)
(
temporalPart
?SMALL ?BIG))
Merge.kif 8258-8260
Interval temporel
prend place
pendant
interval temporel
interval temporel
est une
partie
de
interval temporel
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 7998-8005
Le
d
�but de
interval temporel
est
point temporel
point temporel
point temporel
est une
partie
de
interval temporel
point temporel
est
point temporel
point temporel
se produit
avant
point temporel
(=>
(
equal
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 8016-8023
La
fin
de
interval temporel
est
point temporel
point temporel
point temporel
est une
partie
de
interval temporel
point temporel
est
point temporel
point temporel
se produit
avant
point temporel
(=>
(
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
Decomposition
de
interval temporel
en
interval temporel
TYPEs est
interval temporel
position temporel
position temporel
est une
instance
de
point temporel
position temporel
est une
partie
de
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
position temporel
est une
partie
de
position temporel
(=>
(
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
Processus
se
produit tous les
dur�e temporel
interval temporel
la
dur
�� de
interval temporel
est
dur�e temporel
position temporel
position temporel
est une
partie
de
interval temporel
entit�
entit�
est une
instance
de
processus
pendant
position temporel
(=>
(
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
Veteran
est un
attribut
de
entit�
pendant
physique
position temporel
position temporel
est une
partie
de
avant
temps
d'existence de
physique
Soldier
est un
attribut
de
entit�
pendant
position temporel
Soldier
est un
attribut
de
entit�
pendant
physique
(=>
(
holdsDuring
?T1
(
inhabits
?ORGANISM ?OBJ))
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME ?T1)
(
holdsDuring
?TIME
(
located
?ORGANISM ?OBJ)))))
Merge.kif 14376-14382
Entit�
vie
�
entit�
pendant
position temporel
position temporel
position temporel
est une
instance
de
interval temporel
position temporel
est une
partie
de
position temporel
entit�
est
situ
� �
entit�
pendant
position temporel
(=>
(
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�
pendant
position temporel
processus
processus
est une
instance
de
LinguisticCommunication
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
position temporel
est une
partie
de
temps
d'existence de
processus
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