Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
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
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 8263-8266
(
documentation
temporallyBetween
JapaneseLanguage
"(
temporallyBetween
?POINT1 ?POINT2 ?POINT3) とは、
TimePoint
?POINT2 が
TimePoint
?POINT1 と ?POINT3の間にあることを意味す る。")
japanese_format.kif 1435-1437
(
domain
temporallyBetween
1
TimePoint
)
Merge.kif 8259-8259
The number 1 argument of
temporally between
is an
instance
of
time point
(
domain
temporallyBetween
2
TimePoint
)
Merge.kif 8260-8260
The number 2 argument of
temporally between
is an
instance
of
time point
(
domain
temporallyBetween
3
TimePoint
)
Merge.kif 8261-8261
The number 3 argument of
temporally between
is an
instance
of
time point
(
instance
temporallyBetween
PartialValuedRelation
)
Merge.kif 8257-8257
temporally between
is an
instance
of
partial valued relation
(
instance
temporallyBetween
TemporalRelation
)
Merge.kif 8255-8255
temporally between
is an
instance
of
temporal relation
(
instance
temporallyBetween
TernaryPredicate
)
Merge.kif 8256-8256
temporally between
is an
instance
of
ternary predicate
(
subrelation
temporallyBetween
temporallyBetweenOrEqual
)
Merge.kif 8258-8258
temporally between
is a
subrelation
of
temporally between or equal
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 57446-57446
(
termFormat
ChineseLanguage
temporallyBetween
"在两个时间之间")
chinese_format.kif 428-428
(
termFormat
ChineseTraditionalLanguage
temporallyBetween
"一時之間")
domainEnglishFormat.kif 57445-57445
(
termFormat
EnglishLanguage
temporallyBetween
"temporally between")
domainEnglishFormat.kif 57444-57444
(
termFormat
de
temporallyBetween
"zeitlichZwischen")
terms-de.txt 171-171
antecedent
(=>
(
temporallyBetween
?POINT1 ?POINT2 ?POINT3)
(
and
(
before
?POINT1 ?POINT2)
(
before
?POINT2 ?POINT3)))
Merge.kif 8268-8272
If
a time point
is
between
another time point
and
a third time point
,
then
the other time point
happens
before
the time point
and
the time point
happens
before
the third time point
consequent
(=>
(
and
(
before
?POINT1 ?POINT2)
(
before
?POINT2 ?POINT3))
(
temporallyBetween
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8274-8278
If
a time point
happens
before
another time point
and
the other time point
happens
before
a third time point
,
then
the other time point
is
between
the time point
and
the third time point
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
NegativeInfinity
?OTHERPOINT ?POINT)))
Merge.kif 7963-7968
If
a time point
is an
instance
of
time point
and
the time point
is not
equal
to
negative infinity
,
then there exists
another time point
such that
the other time point
is
between
negative infinity
and
the time point
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
?POINT ?OTHERPOINT
PositiveInfinity
)))
Merge.kif 7945-7950
If
a time point
is an
instance
of
time point
and
the time point
is not
equal
to
positive infinity
,
then there exists
another time point
such that
the other time point
is
between
the time point
and
positive infinity
(=>
(
finishesDuring
?INTERVAL1 ?INTERVAL2)
(
temporallyBetween
(
BeginFn
?INTERVAL2)
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
Merge.kif 8175-8177
If
finishes during
a time interval
and
another time interval
,
then the
end
of
the time interval
is
between
the
beginning
of
the other time interval
and the
end
of
the other time interval
(=>
(
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
If
a time position
is an
instance
of
espresso making
,
then there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
,, ,
a fifth entity
,, ,
a sixth entity
,, ,
a seventh entity
,, ,
a eighth entity
,, ,
a ninth entity
,, ,
a tenth entity
and
a eleventh entity
such that
the entity
is an
instance
of
heating
and
the other entity
is a
patient
of
the entity
and the
measure
of
the other entity
is
the third entity
liter
(s) and the approximate value of
the third entity
is 0.03 and the
measure
of
the other entity
is
the fourth entity
celsius degree
(s) and the approximate value of
the fourth entity
is 90 holds
during
the
end
of the
time
of existence of
the entity
and
the fifth entity
is an
instance
of
liquid motion
and
the other entity
is a
patient
of
the fifth entity
and the
measure
of
the other entity
is
the sixth entity
1
thousand
pascal
s(s) and the approximate value of
the sixth entity
is 900 holds
during
the fifth entity
and
the fifth entity
end
s up at
the seventh entity
and
the seventh entity
is an
instance
of
collection
and the
measure
of
the seventh entity
is
the eighth entity
gram
(s) and the approximate value of
the eighth entity
is 7.5 and
the seventh entity
is a
member
of
the ninth entity
and
the ninth entity
is an
instance
of
coffee grind
and
fine grind
is an
attribute
of
the ninth entity
and
the seventh entity
is
located
at
the tenth entity
and
the tenth entity
is an
instance
of
filter
and
the eleventh entity
is an
instance
of
removing
and
the tenth entity
is an
instrument
for
the eleventh entity
and
the seventh entity
is a
patient
of
the eleventh entity
and the
end
of the
time
of existence of
the fifth entity
is
between
the
end
of the
time
of existence of
the entity
and the
end
of the
time
of existence of
the eleventh entity
holds
during
the time position
(=>
(
startsDuring
?INTERVAL1 ?INTERVAL2)
(
temporallyBetween
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
Merge.kif 8188-8190
If
starts during
a time interval
and
another time interval
,
then the
beginning
of
the time interval
is
between
the
beginning
of
the other time interval
and the
end
of
the other time interval
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