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
Il numero 1 argomenti di
temporallyBetweenOrEqual
è un
istanza
di
PuntoTemporale
(
domain
temporallyBetweenOrEqual
2
TimePoint
)
Merge.kif 8186-8186
Il numero 2 argomenti di
temporallyBetweenOrEqual
è un
istanza
di
PuntoTemporale
(
domain
temporallyBetweenOrEqual
3
TimePoint
)
Merge.kif 8187-8187
Il numero 3 argomenti di
temporallyBetweenOrEqual
è un
istanza
di
PuntoTemporale
(
instance
temporallyBetweenOrEqual
PartialValuedRelation
)
Merge.kif 8184-8184
temporallyBetweenOrEqual
è un'
istanza
di
RelazioneAValoreParziale
(
instance
temporallyBetweenOrEqual
TemporalRelation
)
Merge.kif 8182-8182
temporallyBetweenOrEqual
è un'
istanza
di
RelazioneTemporale
(
instance
temporallyBetweenOrEqual
TernaryPredicate
)
Merge.kif 8183-8183
temporallyBetweenOrEqual
è un'
istanza
di
PredicatoTernario
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
temporallyBetween
è una
sottorelazione
di
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 8212-8221
PuntoTemporale
è
tra
o in l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
e la
fine
di il
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
esistes
durante
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
(=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3)
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3)))
Merge.kif 8194-8198
PuntoTemporale
è
tra
o in
PuntoTemporale
e
PuntoTemporale
PuntoTemporale
succede
%{s} prima di o con
PuntoTemporale
PuntoTemporale
succede
%{s} prima di o con
PuntoTemporale
consequent
(=>
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3))
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8200-8204
PuntoTemporale
succede
%{s} prima di o con
PuntoTemporale
PuntoTemporale
succede
%{s} prima di o con
PuntoTemporale
PuntoTemporale
è
tra
o in
PuntoTemporale
e
PuntoTemporale
(=>
(
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
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
intervallo
tra
PuntoTemporale
e
PuntoTemporale
is
uguale
a
IntervalloTemporale
PuntoTemporale
PuntoTemporale
è
tra
o in
PuntoTemporale
e
PuntoTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
(=>
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
))
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS))))
Merge.kif 8206-8210
Entit�Concreta
esistes
durante
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è
tra
o in l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
e la
fine
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
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
lastRenovation
Oggetto
and
Anno
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Riparare
Oggetto
è un
paziente
di
Processo
IntervalloTemporale
è un'
istanza
di
Anno
la
fine
di il
tempo
di esistenza di
Processo
è
tra
o in l'
inizio
di
IntervalloTemporale
e la
fine
di
IntervalloTemporale
(=>
(
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
yearBuilt
Oggetto
and
Anno
IntervalloTemporale
Processo
IntervalloTemporale
è un'
istanza
di
Anno
Processo
è un'
istanza
di
Fabbricazione
Oggetto
è un
risultato
di
Processo
la
fine
di il
tempo
di esistenza di
Processo
è
tra
o in l'
inizio
di
IntervalloTemporale
e la
fine
di
IntervalloTemporale
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