Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
TimeIntervalFn
Sigma KEE - TimeIntervalFn
TimeIntervalFn
appearance as argument number 1
(
documentation
TimeIntervalFn
ChineseLanguage
"这是一个
BinaryFunction
,它接受两个
TimePoint
参数,然后得出由这两个
TimePoint
所界定的
TimeInterval
。注:第一个
TimePoint
必须要比第二个
TimePoint
先开始。")
chinese_format.kif 2729-2731
(
documentation
TimeIntervalFn
EnglishLanguage
"A
BinaryFunction
that takes two
TimePoint
s as arguments and returns the
TimeInterval
defined by these two
TimePoint
s.Note that the first
TimePoint
must occur earlier than the second
TimePoint
.")
Merge.kif 8528-8531
(
documentation
TimeIntervalFn
JapaneseLanguage
"
BinaryFunction
は、引数として2つの
TimePoint
を受け取り、これら2つの
TimePoint
によって定義された
TimeInterval
を返す。 最初の
TimePoint
は、2番目の
TimePoint
より前に発生する必要がある。")
japanese_format.kif 1454-1456
(
domain
TimeIntervalFn
1
TimePoint
)
Merge.kif 8524-8524
(
domain
TimeIntervalFn
2
TimePoint
)
Merge.kif 8525-8525
(
instance
TimeIntervalFn
BinaryFunction
)
Merge.kif 8521-8521
(
instance
TimeIntervalFn
PartialValuedRelation
)
Merge.kif 8523-8523
(
instance
TimeIntervalFn
TemporalRelation
)
Merge.kif 8522-8522
(
range
TimeIntervalFn
TimeInterval
)
Merge.kif 8526-8526
appearance as argument number 2
(
format
ChineseLanguage
TimeIntervalFn
"%1 和 %2 间的时段")
chinese_format.kif 453-453
(
format
EnglishLanguage
TimeIntervalFn
"interval between %1 and %2")
english_format.kif 459-459
(
format
FrenchLanguage
TimeIntervalFn
"l'intervale entre %1 et %2")
french_format.kif 263-263
(
format
ItalianLanguage
TimeIntervalFn
"intervallo tra %1 e %2")
relations-it.txt 300-300
(
format
JapaneseLanguage
TimeIntervalFn
"%1 と %2 の interval")
japanese_format.kif 2053-2053
(
format
PortugueseLanguage
TimeIntervalFn
"o intervalo entre %1 e %2")
portuguese_format.kif 215-215
(
format
cz
TimeIntervalFn
"interval between %1 and %2")
relations-cz.txt 269-269
(
format
de
TimeIntervalFn
"abstand zwischen %1 und %2")
relations-de.txt 592-592
(
format
hi
TimeIntervalFn
"%1 aura %2 ke biicha antaraala")
relations-hindi.txt 336-336
(
format
ro
TimeIntervalFn
"interval%t{interval} între %1 ºi %2")
relations-ro.kif 284-284
(
format
sv
TimeIntervalFn
"intervallet mellan %1 och %2")
relations-sv.txt 289-289
(
format
tg
TimeIntervalFn
"patlang sa pagitan ng %1 at %2")
relations-tg.txt 492-492
(
termFormat
ChineseLanguage
TimeIntervalFn
"时段函数")
chinese_format.kif 454-454
(
termFormat
ChineseLanguage
TimeIntervalFn
"时间间隔")
domainEnglishFormat.kif 58132-58132
(
termFormat
ChineseTraditionalLanguage
TimeIntervalFn
"時間間隔")
domainEnglishFormat.kif 58131-58131
(
termFormat
EnglishLanguage
TimeIntervalFn
"time interval")
domainEnglishFormat.kif 58130-58130
(
termFormat
de
TimeIntervalFn
"ZeitabstandFn")
terms-de.txt 182-182
antecedent
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 25535-25549
(=>
(
and
(
instance
?POINT1
TimePoint
)
(
instance
?POINT2
TimePoint
)
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
TimeIntervalFn
?POINT1 ?POINT2) ?INTERVAL))
(
and
(
equal
(
BeginFn
?INTERVAL) ?POINT1)
(
equal
(
EndFn
?INTERVAL) ?POINT2)))
Merge.kif 8533-8541
(=>
(
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 8543-8552
(=>
(
and
(
instance
?T1
TimePoint
)
(
instance
?T2
TimePoint
)
(
equal
?INTERVAL
(
TimeIntervalFn
?T1 ?T2))
(
duration
?INTERVAL ?PERIOD))
(
equal
?INTERVAL
(
TimePeriodFn
?T1 ?PERIOD)))
Mid-level-ontology.kif 15411-15417
consequent
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1938-1943
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1945-1950
(=>
(
and
(
instance
?T1
(
YearFn
26))
(
instance
?T2
(
YearFn
100)))
(
temporalPart
(
WhenFn
TwelveApostles
)
(
TimeIntervalFn
(
BeginFn
?T1)
(
EndFn
?T2))))
Media.kif 1961-1965
(=>
(
and
(
instance
?TIME
TimePoint
)
(
holdsDuring
?TIME
(
age
?OBJ ?DURATION)))
(
duration
(
TimeIntervalFn
(
BeginFn
(
WhenFn
?OBJ)) ?TIME) ?DURATION))
Merge.kif 7569-7573
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 31922-31952
(=>
(
and
(
reservationStart
?TIME1 ?R)
(
reservationEnd
?TIME2 ?R)
(
reservingEntity
?CUST ?R)
(
fulfillingEntity
?AGENT ?R))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST))))
Likely
))
Dining.kif 711-724
(=>
(
and
(
reservedRoom
?RESERVE ?ROOMTYPE)
(
reservationStart
?RESERVE ?TIME1)
(
reservationEnd
?RESERVE ?TIME2)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?X)
(
and
(
instance
?X ?ROOMTYPE)
(
stays
?CUST ?X))))
Likely
))
Hotel.kif 2962-2974
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
FutureFn
?INTERVAL)
(
TimeIntervalFn
(
EndFn
?INTERVAL)
PositiveInfinity
)))
Merge.kif 8634-8636
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
PastFn
?INTERVAL)
(
TimeIntervalFn
NegativeInfinity
(
BeginFn
?INTERVAL))))
Merge.kif 8603-8605
(=>
(
instance
?TIME
LunchTime
)
(
exists
(?ELEVEN ?THREE ?DAY)
(
and
(
during
?TIME
(
TimeIntervalFn
(
BeginFn
?ELEVEN)
(
EndFn
?THREE)))
(
instance
?ELEVEN
(
HourFn
11 ?DAY))
(
instance
?THREE
(
HourFn
15 ?DAY)))))
Food.kif 1873-1882
(=>
(
measuringListDuration
?LIST ?DURATION)
(
exists
(?T)
(
and
(
equal
?T
(
TimeIntervalFn
(
BeginFn
(
WhenFn
(
FirstFn
?LIST)))
(
EndFn
(
WhenFn
(
LastFn
?LIST)))))
(
duration
?T ?DURATION))))
Weather.kif 2707-2715
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