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 8187-8190
(
documentation
temporallyBetween
JapaneseLanguage
"(
temporallyBetween
?POINT1 ?POINT2 ?POINT3) とは、
TimePoint
?POINT2 が
TimePoint
?POINT1 と ?POINT3の間にあることを意味す る。")
japanese_format.kif 1435-1437
(
domain
temporallyBetween
1
TimePoint
)
Merge.kif 8183-8183
Le nombre 1 argument de
temporallyBetween
est une
instance
de
point temporel
(
domain
temporallyBetween
2
TimePoint
)
Merge.kif 8184-8184
Le nombre 2 argument de
temporallyBetween
est une
instance
de
point temporel
(
domain
temporallyBetween
3
TimePoint
)
Merge.kif 8185-8185
Le nombre 3 argument de
temporallyBetween
est une
instance
de
point temporel
(
instance
temporallyBetween
PartialValuedRelation
)
Merge.kif 8181-8181
temporallyBetween
est une
instance
de
relation partielle
(
instance
temporallyBetween
TemporalRelation
)
Merge.kif 8179-8179
temporallyBetween
est une
instance
de
relation temporel
(
instance
temporallyBetween
TernaryPredicate
)
Merge.kif 8180-8180
temporallyBetween
est une
instance
de
pr�dicat ternaire
(
subrelation
temporallyBetween
temporallyBetweenOrEqual
)
Merge.kif 8182-8182
temporallyBetween
est une
sous
-relation de
temporallyBetweenOrEqual
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 8192-8196
Point temporel
est
entre
point temporel
et
point temporel
point temporel
se produit
avant
point temporel
point temporel
se produit
avant
point temporel
consequent
(=>
(
and
(
before
?POINT1 ?POINT2)
(
before
?POINT2 ?POINT3))
(
temporallyBetween
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8198-8202
Point temporel
se produit
avant
point temporel
point temporel
se produit
avant
point temporel
point temporel
est
entre
point temporel
et
point temporel
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
NegativeInfinity
?OTHERPOINT ?POINT)))
Merge.kif 7915-7920
Point temporel
est une
instance
de
point temporel
point temporel
est
NegativeInfinity
point temporel
point temporel
est
entre
NegativeInfinity
et
point temporel
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
?POINT ?OTHERPOINT
PositiveInfinity
)))
Merge.kif 7897-7902
Point temporel
est une
instance
de
point temporel
point temporel
est
PositiveInfinity
point temporel
point temporel
est
entre
point temporel
et
PositiveInfinity
(=>
(
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
Position temporel
est une
instance
de
EspressoMaking
entit�
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
r�chauffer
entit�
est un
patient
de
entit�
la
mesure
de
entit�
est
entit�
Liter
(s)
approximateValue
entit�
and 0.03 la
mesure
de
entit�
est
entit�
CelsiusDegree
(s)
approximateValue
entit�
and 90
pendant
la
fin
de
temps
d'existence de
entit�
entit�
est une
instance
de
LiquidMotion
entit�
est un
patient
de
entit�
la
mesure
de
entit�
est
entit�
1
millier
Pascal
s(s)
approximateValue
entit�
and 900
pendant
entit�
entit�
aboutit
�
entit�
entit�
est une
instance
de
collection
la
mesure
de
entit�
est
entit�
Gram
(s)
approximateValue
entit�
and 7.5
entit�
est un
membre
de
entit�
entit�
est une
instance
de
CoffeeGrind
FineGrind
est un
attribut
de
entit�
entit�
est
situ
� �
entit�
entit�
est une
instance
de
Filter
entit�
est une
instance
de
supprimer
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
la
fin
de
temps
d'existence de
entit�
est
entre
la
fin
de
temps
d'existence de
entit�
et la
fin
de
temps
d'existence de
entit�
pendant
position temporel
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