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
temporallyBetweenOrEqual
Sigma KEE - temporallyBetweenOrEqual
temporallyBetweenOrEqual
appearance as argument number 1
(
documentation
temporallyBetweenOrEqual
ChineseLanguage
"(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3)的意思是
TimePoint
?POINT1 等于或是在
TimePoint
?POINT2 之前, 而 ?POINT2 等于或是在
TimePoint
?POINT3 之前。")
chinese_format.kif 2714-2716
(
documentation
temporallyBetweenOrEqual
EnglishLanguage
"(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3) means that the
TimePoint
?POINT1 is before or equal to the
TimePoint
?POINT2 and ?POINT2 is before or equal to the
TimePoint
?POINT3.")
Merge.kif 8225-8228
(
documentation
temporallyBetweenOrEqual
JapaneseLanguage
"(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3) とは、
TimePoint
?POINT1 が
TimePoint
?POINT2 の前または同等であ ることを意味し、?POINT2 は
TimePoint
?POINT3 の前または同等である。")
japanese_format.kif 1438-1440
(
domain
temporallyBetweenOrEqual
1
TimePoint
)
Merge.kif 8221-8221
域
暫時之間或等於
, 1 and
TimePoint
(
domain
temporallyBetweenOrEqual
2
TimePoint
)
Merge.kif 8222-8222
域
暫時之間或等於
, 2 and
TimePoint
(
domain
temporallyBetweenOrEqual
3
TimePoint
)
Merge.kif 8223-8223
域
暫時之間或等於
, 3 and
TimePoint
(
instance
temporallyBetweenOrEqual
PartialValuedRelation
)
Merge.kif 8220-8220
例
暫時之間或等於
and
PartialValuedRelation
(
instance
temporallyBetweenOrEqual
TemporalRelation
)
Merge.kif 8218-8218
例
暫時之間或等於
and
TemporalRelation
(
instance
temporallyBetweenOrEqual
TernaryPredicate
)
Merge.kif 8219-8219
例
暫時之間或等於
and
TernaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
temporallyBetweenOrEqual
"%2 %n 是在或等于 %1 和 %3
between
")
chinese_format.kif 429-429
(
format
EnglishLanguage
temporallyBetweenOrEqual
"%2 is %n
between
or at %1 and %3")
english_format.kif 435-435
(
format
FrenchLanguage
temporallyBetweenOrEqual
"%2 est %n entre ou pendant %1 et %3")
french_format.kif 249-249
(
format
ItalianLanguage
temporallyBetweenOrEqual
"%2 è %n tra o in %1 e %3")
relations-it.txt 295-295
(
format
JapaneseLanguage
temporallyBetweenOrEqual
"%2 は %1 にも %3 にもその
between
にも %n")
japanese_format.kif 2043-2043
(
format
PortugueseLanguage
temporallyBetweenOrEqual
"%2 e' %n entre ou durante %1 e %3")
portuguese_format.kif 201-201
(
format
cz
temporallyBetweenOrEqual
"%2 %p{je} %n{nen�}
between
or at %1 and %3")
relations-cz.txt 254-254
(
format
de
temporallyBetweenOrEqual
"%2 ist zwischen oder gleichzeitig mit %1 und %3")
relations-de.txt 559-559
(
format
hi
temporallyBetweenOrEqual
"%2 %1 aura %3 ke saatha yaa biicha men %n hai")
relations-hindi.txt 331-331
(
format
ro
temporallyBetweenOrEqual
"%2 %n{nu} este
between
%t{între} %1 ºi %3 sau la %1 sau %3")
relations-ro.kif 270-270
(
format
sv
temporallyBetweenOrEqual
"%2 ligger %n{inte} mellan eller vid %1 och %3")
relations-sv.txt 272-272
(
format
tg
temporallyBetweenOrEqual
"%2 %n ay sa pagitan ng o sa %1 at %3")
relations-tg.txt 487-487
(
subrelation
temporallyBetween
temporallyBetweenOrEqual
)
Merge.kif 8196-8196
子關係
一時之間
and
暫時之間或等於
(
termFormat
ChineseLanguage
temporallyBetweenOrEqual
"在两个时间之间或同时")
chinese_format.kif 430-430
(
termFormat
ChineseLanguage
temporallyBetweenOrEqual
"暂时之间或等于")
domainEnglishFormat.kif 57448-57448
(
termFormat
ChineseTraditionalLanguage
temporallyBetweenOrEqual
"暫時之間或等於")
domainEnglishFormat.kif 57447-57447
(
termFormat
EnglishLanguage
temporallyBetweenOrEqual
"temporally between or equal")
domainEnglishFormat.kif 57446-57446
antecedent
(=>
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS)))
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
)))
Merge.kif 8248-8257
暫時之間或等於
開始
何時
Physical
,
TimePoint
and
結束
何時
Physical
時間
Physical
and
TimePoint
例
TimePoint
and
TimePoint
(=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3)
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3)))
Merge.kif 8230-8234
暫時之間或等於
TimePoint
,
TimePoint
and
TimePoint
之前或相等
TimePoint
and
TimePoint
之前或相等
TimePoint
and
TimePoint
consequent
(=>
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3))
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8236-8240
之前或相等
TimePoint
and
TimePoint
之前或相等
TimePoint
and
TimePoint
暫時之間或等於
TimePoint
,
TimePoint
and
TimePoint
(=>
(
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 8466-8475
例
TimePoint
and
TimePoint
例
TimePoint
and
TimePoint
例
TimeInterval
and
TimeInterval
等於
時間間隔
TimePoint
and
TimePoint
and
TimeInterval
TimePoint
暫時之間或等於
TimePoint
,
TimePoint
and
TimePoint
時間部分
TimePoint
and
TimeInterval
(=>
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
))
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS))))
Merge.kif 8242-8246
時間
Physical
and
TimePoint
例
TimePoint
and
TimePoint
暫時之間或等於
開始
何時
Physical
,
TimePoint
and
結束
何時
Physical
(=>
(
lastRenovation
?OBJ ?YEAR)
(
exists
(?TIME ?REPAIR)
(
and
(
instance
?REPAIR
Repairing
)
(
patient
?REPAIR ?OBJ)
(
instance
?TIME ?YEAR)
(
temporallyBetweenOrEqual
(
BeginFn
?TIME)
(
EndFn
(
WhenFn
?REPAIR))
(
EndFn
?TIME)))))
Hotel.kif 746-756
Object
的
last
renovation
是
年
TimeInterval
Process
例
Process
and
Repairing
患者
Process
and
Object
例
TimeInterval
and
年
暫時之間或等於
開始
TimeInterval
,
結束
何時
Process
and
結束
TimeInterval
(=>
(
yearBuilt
?OBJ ?YEAR)
(
exists
(?TIME ?MAKE)
(
and
(
instance
?TIME ?YEAR)
(
instance
?MAKE
Making
)
(
result
?MAKE ?OBJ)
(
temporallyBetweenOrEqual
(
BeginFn
?TIME)
(
EndFn
(
WhenFn
?MAKE))
(
EndFn
?TIME)))))
Hotel.kif 725-735
Object
已
built
在
年
TimeInterval
Process
例
TimeInterval
and
年
例
Process
and
Making
結果
Process
and
Object
暫時之間或等於
開始
TimeInterval
,
結束
何時
Process
and
結束
TimeInterval
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