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
temporallyBetween
Sigma KEE - temporallyBetween
temporallyBetween
appearance as argument number 1
(
documentation
temporallyBetween
ChineseLanguage
"(
temporallyBetween
?POINT1 ?POINT2 ?POINT3)的意思是
TimePoint
?POINT2 位于
TimePoint
?POINT1 和 ?POINT3 之间,即是 ?POINT1 在?POINT2 之前,而 ?POINT2 在 ?POINT3 之前。")
chinese_format.kif 2711-2713
(
documentation
temporallyBetween
EnglishLanguage
"(
temporallyBetween
?POINT1 ?POINT2 ?POINT3) means that the
TimePoint
?POINT2 is between the
TimePoint
s ?POINT1 and ?POINT3, i.e. ?POINT1 is before ?POINT2 and ?POINT2 is before ?POINT3.")
Merge.kif 8165-8168
(
documentation
temporallyBetween
JapaneseLanguage
"(
temporallyBetween
?POINT1 ?POINT2 ?POINT3) とは、
TimePoint
?POINT2 が
TimePoint
?POINT1 と ?POINT3の間にあることを意味す る。")
japanese_format.kif 1435-1437
(
domain
temporallyBetween
1
TimePoint
)
Merge.kif 8161-8161
在两个时间之间
的 1 数量 是
时点
的
instance
(
domain
temporallyBetween
2
TimePoint
)
Merge.kif 8162-8162
在两个时间之间
的 2 数量 是
时点
的
instance
(
domain
temporallyBetween
3
TimePoint
)
Merge.kif 8163-8163
在两个时间之间
的 3 数量 是
时点
的
instance
(
instance
temporallyBetween
PartialValuedRelation
)
Merge.kif 8159-8159
在两个时间之间
是
部分值关系
的
instance
(
instance
temporallyBetween
TemporalRelation
)
Merge.kif 8157-8157
在两个时间之间
是
时间关系
的
instance
(
instance
temporallyBetween
TernaryPredicate
)
Merge.kif 8158-8158
在两个时间之间
是
三元谓语
的
instance
(
subrelation
temporallyBetween
temporallyBetweenOrEqual
)
Merge.kif 8160-8160
在两个时间之间
是
在两个时间之间或同时
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
temporallyBetween
"时间%2 %n 是在时间 %1 和 时间 %3
between
")
chinese_format.kif 427-427
(
format
EnglishLanguage
temporallyBetween
"%2 is %n
between
%1 and %3")
english_format.kif 433-433
(
format
FrenchLanguage
temporallyBetween
"%2 est %n entre %1 et %3")
french_format.kif 248-248
(
format
ItalianLanguage
temporallyBetween
"%2 is %n tra %1 e %3")
relations-it.txt 294-294
(
format
JapaneseLanguage
temporallyBetween
"%2 は %1 と %3 の
between
に %n")
japanese_format.kif 2042-2042
(
format
PortugueseLanguage
temporallyBetween
"%2 e' %n entre %1 e %3")
portuguese_format.kif 200-200
(
format
cz
temporallyBetween
"%2 %p{je} %n{nen�}
between
%1 and %3")
relations-cz.txt 253-253
(
format
de
temporallyBetween
"%2 ist zwischen %1 und %3")
relations-de.txt 556-556
(
format
hi
temporallyBetween
"%2 %1 aura %3 ke biicha men %n hai")
relations-hindi.txt 330-330
(
format
ro
temporallyBetween
"%2 %n{nu} este
between
%t{între} %1 ºi %3")
relations-ro.kif 269-269
(
format
sv
temporallyBetween
"%2 ligger %n{inte} mellan %1 och %3")
relations-sv.txt 271-271
(
format
tg
temporallyBetween
"%2 %n ay sa pagitan ng %1 at %3")
relations-tg.txt 486-486
(
termFormat
ChineseLanguage
temporallyBetween
"一时之间")
domainEnglishFormat.kif 57440-57440
(
termFormat
ChineseLanguage
temporallyBetween
"在两个时间之间")
chinese_format.kif 428-428
(
termFormat
ChineseTraditionalLanguage
temporallyBetween
"一時之間")
domainEnglishFormat.kif 57439-57439
(
termFormat
EnglishLanguage
temporallyBetween
"temporally between")
domainEnglishFormat.kif 57438-57438
antecedent
(=>
(
temporallyBetween
?POINT1 ?POINT2 ?POINT3)
(
and
(
before
?POINT1 ?POINT2)
(
before
?POINT2 ?POINT3)))
Merge.kif 8170-8174
如果 时间
时点
是在时间
另一个 时点
和 时间
第三 时点
between
,
然后
那个 另外 时点
%n在
那个 时点
before
发生 和
那个 时点
%n在
那个 第三 时点
before
发生
consequent
(=>
(
and
(
before
?POINT1 ?POINT2)
(
before
?POINT2 ?POINT3))
(
temporallyBetween
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8176-8180
如果
时点
%n在
另一个 时点
before
发生 和
那个 另外 时点
%n在
第三 时点
before
发生,
然后 时间
那个 另外 时点
是在时间
那个 时点
和 时间
那个 第三 时点
between
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
NegativeInfinity
?OTHERPOINT ?POINT)))
Merge.kif 7893-7898
如果
时点
是
时点
的
instance
和
那个 时点
不
equal
负无穷大
,
然后 有存在
另一个 时点
这样 时间
那个 另外 时点
是在时间
负无穷大
和 时间
那个 时点
between
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
?POINT ?OTHERPOINT
PositiveInfinity
)))
Merge.kif 7875-7880
如果
时点
是
时点
的
instance
和
那个 时点
不
equal
正无穷大
,
然后 有存在
另一个 时点
这样 时间
那个 另外 时点
是在时间
那个 时点
和 时间
正无穷大
between
(=>
(
instance
?EM
EspressoMaking
)
(
holdsDuring
?EM
(
exists
(?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
(
and
(
instance
?H
Heating
)
(
patient
?H ?W)
(
measure
?W
(
MeasureFn
?V
Liter
))
(
approximateValue
?V 0.03)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
and
(
measure
?W
(
MeasureFn
?T
CelsiusDegree
))
(
approximateValue
?T 90)))
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?W)
(
holdsDuring
?LM
(
and
(
measure
?W
(
MeasureFn
?P
(
KiloFn
Pascal
)))
(
approximateValue
?P 900)))
(
destination
?LM ?COLL)
(
instance
?COLL
Collection
)
(
measure
?COLL
(
MeasureFn
?K
Gram
))
(
approximateValue
?K 7.5)
(
member
?COLL ?CG)
(
instance
?CG
CoffeeGrind
)
(
attribute
?CG
FineGrind
)
(
located
?COLL ?F)
(
instance
?F
Filter
)
(
instance
?R
Removing
)
(
instrument
?R ?F)
(
patient
?R ?COLL)
(
temporallyBetween
(
EndFn
(
WhenFn
?H))
(
EndFn
(
WhenFn
?LM))
(
EndFn
(
WhenFn
?R)))))))
Food.kif 799-834
如果
时间位置
是
EspressoMaking
的
instance
,
然后 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
,, ,
第五 实体
,, ,
第六 实体
,, ,
第七 实体
,, ,
第八 实体
,, ,
第九 实体
,, ,
第十 实体
, and 和
第十一 实体
这样
那个 实体
是
加热
的
instance
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
的
measure
是
那个 第三 实体
升
和
approximateValue
那个 第三 实体
and 0.03 和
那个 另外 实体
的
measure
是
那个 第四 实体
摄氏度
和
approximateValue
那个 第四 实体
and 90 在
那个 实体
出现 的
time
的结束
holdsDuring
和
那个 第五 实体
是
液体运动
的
instance
和
那个 另外 实体
是
那个 第五 实体
的
patient
和
那个 另外 实体
的
measure
是
那个 第六 实体
帕斯卡
的一千倍 和
approximateValue
那个 第六 实体
and 900 在
那个 第五 实体
holdsDuring
和
那个 第五 实体
在
那个 第七 实体
结束 和
那个 第七 实体
是
群体
的
instance
和
那个 第七 实体
的
measure
是
那个 第八 实体
公克
和
approximateValue
那个 第八 实体
and 7.5 和
那个 第七 实体
是
那个 第九 实体
的
member
和
那个 第九 实体
是
CoffeeGrind
的
instance
和
FineGrind
是
那个 第九 实体
的
attribute
和
那个 第七 实体
是
located
在
那个 第十 实体
和
那个 第十 实体
是
过滤
的
instance
和
那个 第十一 实体
是
移除
的
instance
和
那个 第十 实体
是导致
那个 第十一 实体
的
instrument
和
那个 第七 实体
是
那个 第十一 实体
的
patient
和 时间
那个 第五 实体
出现 的
time
的结束 是在时间
那个 实体
出现 的
time
的结束 和 时间
那个 第十一 实体
出现 的
time
的结束
between
在
那个 时间位置
holdsDuring
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