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 8211-8214
(
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 8207-8207
Die Zahl 1 Argument von
temporallyBetweenOrEqual
ist ein
fall
von
TimePoint
%n{nicht}
(
domain
temporallyBetweenOrEqual
2
TimePoint
)
Merge.kif 8208-8208
Die Zahl 2 Argument von
temporallyBetweenOrEqual
ist ein
fall
von
TimePoint
%n{nicht}
(
domain
temporallyBetweenOrEqual
3
TimePoint
)
Merge.kif 8209-8209
Die Zahl 3 Argument von
temporallyBetweenOrEqual
ist ein
fall
von
TimePoint
%n{nicht}
(
instance
temporallyBetweenOrEqual
PartialValuedRelation
)
Merge.kif 8206-8206
temporallyBetweenOrEqual
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
temporallyBetweenOrEqual
TemporalRelation
)
Merge.kif 8204-8204
temporallyBetweenOrEqual
ist ein
fall
von
TemporalRelation
%n{nicht}
(
instance
temporallyBetweenOrEqual
TernaryPredicate
)
Merge.kif 8205-8205
temporallyBetweenOrEqual
ist ein
fall
von
TernaryPredicate
%n{nicht}
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 8182-8182
temporallyBetween
ist eine
teilrelation
von
temporallyBetweenOrEqual
(
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 8234-8243
Wenn
TimePoint
ist
zwischen
oder gleichzeitig mit der
anfang
von die
zeit
des Bestehens von
Physical
und das
ende
von die
zeit
des Bestehens von
** Physical
,
dann
** Physical
besteht
waehrend
** TimePoint
%n{nicht} und
** TimePoint
ist ein
fall
von
TimePoint
%n{nicht}
(=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3)
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3)))
Merge.kif 8216-8220
Wenn
TimePoint
ist
zwischen
oder gleichzeitig mit
** TimePoint
und
** TimePoint
,
dann
** ** TimePoint
geschieht
vor
oder gleichzeitig mit
** TimePoint
%n{nicht} und
** TimePoint
geschieht
vor
oder gleichzeitig mit
** ** TimePoint
%n{nicht}
consequent
(=>
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3))
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8222-8226
Wenn
TimePoint
geschieht
vor
oder gleichzeitig mit
** TimePoint
%n{nicht} und
** ** TimePoint
geschieht
vor
oder gleichzeitig mit
** TimePoint
%n{nicht},
dann
** ** TimePoint
ist
zwischen
oder gleichzeitig mit
** TimePoint
und
** ** 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 8452-8461
Wenn
TimePoint
ist ein
fall
von
TimePoint
%n{nicht} und
** TimePoint
ist ein
fall
von
TimePoint
%n{nicht} und
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
abstand
zwischen
** TimePoint
und
** ** TimePoint
ist gleich
** TimeInterval
%n{nicht},
dann fuer alle
** TimePoint
** ** TimePoint
ist
zwischen
oder gleichzeitig mit
** TimePoint
und
** ** TimePoint
genau dann wenn
** ** TimePoint
ist ein
teil
von
** TimeInterval
%n{nicht}
(=>
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
))
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS))))
Merge.kif 8228-8232
Wenn
Physical
besteht
waehrend
TimePoint
%n{nicht} und
** TimePoint
ist ein
fall
von
TimePoint
%n{nicht},
dann
** TimePoint
ist
zwischen
oder gleichzeitig mit der
anfang
von die
zeit
des Bestehens von
** Physical
und das
ende
von die
zeit
des Bestehens von
** 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
Wenn
lastRenovation
Object
and
** Year
,
dann es gibt
TimeInterval
und
Process
um
** Process
ist ein
fall
von
Repairing
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** TimeInterval
ist ein
fall
von
** Year
%n{nicht} und das
ende
von die
zeit
des Bestehens von
** Process
ist
zwischen
oder gleichzeitig mit der
anfang
von
** TimeInterval
und das
ende
von
** 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
Wenn
yearBuilt
Object
and
** Year
,
dann es gibt
TimeInterval
und
Process
um
** TimeInterval
ist ein
fall
von
** Year
%n{nicht} und
** Process
ist ein
fall
von
Making
%n{nicht} und
** Object
ist ein
resultat
von
** Process
%n{nicht} und das
ende
von die
zeit
des Bestehens von
** Process
ist
zwischen
oder gleichzeitig mit der
anfang
von
** TimeInterval
und das
ende
von
** 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