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 8189-8192
(
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 8185-8185
The number 1 argument of
temporally between or equal
is an
instance
of
time point
(
domain
temporallyBetweenOrEqual
2
TimePoint
)
Merge.kif 8186-8186
The number 2 argument of
temporally between or equal
is an
instance
of
time point
(
domain
temporallyBetweenOrEqual
3
TimePoint
)
Merge.kif 8187-8187
The number 3 argument of
temporally between or equal
is an
instance
of
time point
(
instance
temporallyBetweenOrEqual
PartialValuedRelation
)
Merge.kif 8184-8184
temporally between or equal
is an
instance
of
partial valued relation
(
instance
temporallyBetweenOrEqual
TemporalRelation
)
Merge.kif 8182-8182
temporally between or equal
is an
instance
of
temporal relation
(
instance
temporallyBetweenOrEqual
TernaryPredicate
)
Merge.kif 8183-8183
temporally between or equal
is an
instance
of
ternary predicate
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 8160-8160
temporally between
is a
subrelation
of
temporally between or equal
(
termFormat
ChineseLanguage
temporallyBetweenOrEqual
"在两个时间之间或同时")
chinese_format.kif 430-430
(
termFormat
ChineseLanguage
temporallyBetweenOrEqual
"暂时之间或等于")
domainEnglishFormat.kif 57446-57446
(
termFormat
ChineseTraditionalLanguage
temporallyBetweenOrEqual
"暫時之間或等於")
domainEnglishFormat.kif 57445-57445
(
termFormat
EnglishLanguage
temporallyBetweenOrEqual
"temporally between or equal")
domainEnglishFormat.kif 57444-57444
antecedent
(=>
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS)))
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
)))
Merge.kif 8212-8221
If
a time point
is
between
or at the
beginning
of the
time
of existence of
a physical
and the
end
of the
time
of existence of
the physical
,
then
the physical
exists
during
the time point
and
the time point
is an
instance
of
time point
(=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3)
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3)))
Merge.kif 8194-8198
If
a time point
is
between
or at
another time point
and
a third time point
,
then
the other time point
happen
s before or at
the time point
and
the time point
happen
s before or at
the third time point
consequent
(=>
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3))
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8200-8204
If
a time point
happen
s before or at
another time point
and
the other time point
happen
s before or at
a third time point
,
then
the other time point
is
between
or at
the time point
and
the third time point
(=>
(
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
If
a time point
is an
instance
of
time point
and
another time point
is an
instance
of
time point
and
a time interval
is an
instance
of
time interval
and
interval
between
the time point
and
the other time point
is
equal
to
the time interval
,
then for all
a third time point
the third time point
is
between
or at
the time point
and
the other time point
if and only if
the third time point
is a
part
of
the time interval
(=>
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
))
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS))))
Merge.kif 8206-8210
If
a physical
exists
during
a time point
and
the time point
is an
instance
of
time point
,
then
the time point
is
between
or at the
beginning
of the
time
of existence of
the physical
and the
end
of the
time
of existence of
the 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
If the
last
renovation
of
an object
was in
a kind of year
,
then there exist
a time interval
and
a process
such that
the process
is an
instance
of
repairing
and
the object
is a
patient
of
the process
and
the time interval
is an
instance
of
a kind of year
and the
end
of the
time
of existence of
the process
is
between
or at the
beginning
of
the time interval
and the
end
of
the time interval
(=>
(
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
If
an object
was
built
in
a kind of year
,
then there exist
a time interval
and
a process
such that
the time interval
is an
instance
of
a kind of year
and
the process
is an
instance
of
making
and
the object
is a
result
of
the process
and the
end
of the
time
of existence of
the process
is
between
or at the
beginning
of
the time interval
and the
end
of
the 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