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
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 8415-8418
(
documentation
TimeIntervalFn
JapaneseLanguage
"
BinaryFunction
は、引数として2つの
TimePoint
を受け取り、これら2つの
TimePoint
によって定義された
TimeInterval
を返す。 最初の
TimePoint
は、2番目の
TimePoint
より前に発生する必要がある。")
japanese_format.kif 1454-1456
(
domain
TimeIntervalFn
1
TimePoint
)
Merge.kif 8411-8411
时段函数
的 1 数量 是
时点
的
instance
(
domain
TimeIntervalFn
2
TimePoint
)
Merge.kif 8412-8412
时段函数
的 2 数量 是
时点
的
instance
(
instance
TimeIntervalFn
BinaryFunction
)
Merge.kif 8408-8408
时段函数
是
二元函数
的
instance
(
instance
TimeIntervalFn
PartialValuedRelation
)
Merge.kif 8410-8410
时段函数
是
部分值关系
的
instance
(
instance
TimeIntervalFn
TemporalRelation
)
Merge.kif 8409-8409
时段函数
是
时间关系
的
instance
(
range
TimeIntervalFn
TimeInterval
)
Merge.kif 8413-8413
时段函数
的
range
是
时距
的实例
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 58124-58124
(
termFormat
ChineseTraditionalLanguage
TimeIntervalFn
"時間間隔")
domainEnglishFormat.kif 58123-58123
(
termFormat
EnglishLanguage
TimeIntervalFn
"time interval")
domainEnglishFormat.kif 58122-58122
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 23889-23903
如果
Menopausal
是
施事体
的
attribute
在
时距
holdsDuring
和
实数
equal
(1
年持续时间
和
那个 时距
的开始) 和
另一个 时距
equal
那个 另外 时距
和
那个 时距
的开始 间的时段,
然后 不存在
过程
这样
那个 过程
是
经期
的
instance
和
那个 施事体
经历了
那个 过程
(=>
(
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 8420-8428
如果
时点
是
时点
的
instance
和
另一个 时点
是
时点
的
instance
和
时距
是
时距
的
instance
和
那个 时点
和
那个 另外 时点
间的时段
equal
那个 时距
,
然后
那个 时距
的开始
equal
那个 时点
和
那个 时距
的结束
equal
那个 另外 时点
(=>
(
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
如果
时点
是
时点
的
instance
和
另一个 时点
是
时点
的
instance
和
时距
是
时距
的
instance
和
那个 时点
和
那个 另外 时点
间的时段
equal
那个 时距
,
然后 对所有
第三 时点
那个 第三 时点
是在或等于
那个 时点
和
那个 另外 时点
between
若且唯若
那个 第三 时点
时段 是
那个 时距
时段 的一
part
(=>
(
and
(
instance
?T1
TimePoint
)
(
instance
?T2
TimePoint
)
(
equal
?INTERVAL
(
TimeIntervalFn
?T1 ?T2))
(
duration
?INTERVAL ?PERIOD))
(
equal
?INTERVAL
(
TimePeriodFn
?T1 ?PERIOD)))
Mid-level-ontology.kif 14040-14046
如果
时点
是
时点
的
instance
和
另一个 时点
是
时点
的
instance
和
时距
equal
那个 时点
和
那个 另外 时点
间的时段 和
那个 时距
的
duration
是
持续时间
,
然后
那个 时距
equal
time
开始在
那个 时点
并且 持续到
那个 持续时间
consequent
(=>
(
and
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
如果
日
是
JesusOfNazareth
的
birthdate
和
时距
是 -6
year
的
instance
和
另一个 时距
是 4
year
的
instance
,
然后
那个 日
时段 是
那个 时距
的开始 和
那个 另外 时距
的结束 间的时段 时段 的一
part
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1943-1948
如果
日
是
JesusOfNazareth
的
deathdate
和
时距
是 29
year
的
instance
和
另一个 时距
是 36
year
的
instance
,
然后
那个 日
时段 是
那个 时距
的开始 和
那个 另外 时距
的结束 间的时段 时段 的一
part
(=>
(
and
(
instance
?T1
(
YearFn
26))
(
instance
?T2
(
YearFn
100)))
(
temporalPart
(
WhenFn
TwelveApostles
)
(
TimeIntervalFn
(
BeginFn
?T1)
(
EndFn
?T2))))
Media.kif 1959-1963
如果
时距
是 26
year
的
instance
和
另一个 时距
是 100
year
的
instance
,
然后
TwelveApostles
出现 的
time
时段 是
那个 时距
的开始 和
那个 另外 时距
的结束 间的时段 时段 的一
part
(=>
(
and
(
instance
?TIME
TimePoint
)
(
holdsDuring
?TIME
(
age
?OBJ ?DURATION)))
(
duration
(
TimeIntervalFn
(
BeginFn
(
WhenFn
?OBJ)) ?TIME) ?DURATION))
Merge.kif 7524-7528
如果
时点
是
时点
的
instance
和
物理
的
age
是
持续时间
在
那个 时点
holdsDuring
,
然后
那个 物理
出现 的
time
的开始 和
那个 时点
间的时段 的
duration
是
那个 持续时间
(=>
(
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 30030-30060
如果
过程
是
BreakingRecord
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
集合
,
类
,, ,
另一个 过程
,, ,
时点
,, ,
格角色
,, ,
客体
, and 和
实体
这样
那个 集合
是
集合
的
instance
和
那个 施事体
是
那个 集合
的
element
和
那个 类
是
过程
的
subclass
和
那个 客体
是
地区
的
instance
和
那个 时点
是
时点
的
instance
和
那个 实体
是
数量
的
instance
和
那个 另外 过程
是
那个 类
的
instance
和
那个 过程
提到
那个 实体
和
那个 实体
提到
那个 另外 过程
和
那个 施事体
对于
那个 另外 过程
在事件
那个 格角色
plays
角色 和
那个 另外 过程
是
located
在
那个 客体
和 不存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
那个 集合
的
instance
和
那个 另外 实体
不
equal
那个 施事体
和
那个 第三 实体
是
那个 类
的
instance
和
那个 另外 实体
对于
那个 第三 实体
在事件
那个 格角色
plays
角色 和
那个 第三 实体
是
located
在
那个 客体
在
那个 时点
和
那个 过程
出现 的
time
的结束 间的时段
holdsDuring
(=>
(
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
如果
Reservation
starts
在
时点
和
那个 Reservation
ends
在
另一个 时点
和
施事体
reserves
那个 Reservation
和
另一个 施事体
fulfills
那个 Reservation
,
然后 有存在
实体
这样
那个 实体
是
有意图过程
的
instance
和
那个 另外 施事体
是
那个 实体
的
agent
和
那个 实体
在
那个 施事体
结束 在
那个 时点
和
那个 另外 时点
间的时段
holdsDuring
的声明 has
容易
的语气
(=>
(
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 2951-2963
如果
HotelReservation
是对于
有点 HotelUnit
的
reservation
和
Reservation
starts
在
那个 HotelReservation
和
另一个 Reservation
ends
在
那个 HotelReservation
和
那个 HotelReservation
reserves
第三 Reservation
,
然后 有存在
实体
这样
那个 实体
是
有点 HotelUnit
的
instance
和
那个 第三 Reservation
stays
在
那个 实体
在
那个 Reservation
和
那个 另外 Reservation
间的时段
holdsDuring
的声明 has
容易
的语气
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
FutureFn
?INTERVAL)
(
TimeIntervalFn
(
EndFn
?INTERVAL)
PositiveInfinity
)))
Merge.kif 8521-8523
如果
时距
是
时距
的
instance
,
然后
那个 时距
之后
equal
那个 时距
的结束 和
正无穷大
间的时段
(=>
(
instance
?INTERVAL
TimeInterval
)
(
equal
(
PastFn
?INTERVAL)
(
TimeIntervalFn
NegativeInfinity
(
BeginFn
?INTERVAL))))
Merge.kif 8490-8492
如果
时距
是
时距
的
instance
,
然后
那个 时距
before
equal
负无穷大
和
那个 时距
的开始 间的时段
(=>
(
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 1867-1876
如果
时距
是
LunchTime
的
instance
,
然后 有存在
另一个 时距
,
第三 时距
, and 和
有点 日
这样
那个 时距
在
那个 另外 时距
的开始 和
那个 第三 时距
的结束 间的时段 时段内发生 和
那个 另外 时距
是 11
hour
的
instance
和
那个 第三 时距
是 15
hour
的
instance
(=>
(
measuringListDuration
?LIST ?DURATION)
(
exists
(?T)
(
and
(
equal
?T
(
TimeIntervalFn
(
BeginFn
(
WhenFn
(
FirstFn
?LIST)))
(
EndFn
(
WhenFn
(
LastFn
?LIST)))))
(
duration
?T ?DURATION))))
Weather.kif 1878-1886
如果 (量度)
Measuring
串列 list
量度串列
持续了
持续时间
那么久的时间,
然后 有存在
时距
这样
那个 时距
equal
那个 量度串列
的
first
出现 的
time
的开始 和
那个 量度串列
的
last
出现 的
time
的结束 间的时段 和
那个 时距
的
duration
是
那个 持续时间
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