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
beforeOrEqual
Sigma KEE - beforeOrEqual
beforeOrEqual
appearance as argument number 1
(
documentation
beforeOrEqual
ChineseLanguage
"(
beforeOrEqual
?POINT1 ?POINT2) 的意思是 ?POINT1 在通用时间轴上和 ?POINT2 是一致或比它先开始。")
chinese_format.kif 2709-2710
(
documentation
beforeOrEqual
EnglishLanguage
"(
beforeOrEqual
?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.")
Merge.kif 8164-8165
(
documentation
beforeOrEqual
JapaneseLanguage
"(
beforeOrEqual
?POINT1 ?POINT2) とは、 ?POINT1 が ?POINT2 と同一であるか、ユニバーサル タイムライン上で発生する前に発生することを意味 する。")
japanese_format.kif 1432-1434
(
domain
beforeOrEqual
1
TimePoint
)
Merge.kif 8161-8161
O argumento numero 1 de
beforeOrEqual
e' uma
instancia
de
Ponto no tempo
(
domain
beforeOrEqual
2
TimePoint
)
Merge.kif 8162-8162
O argumento numero 2 de
beforeOrEqual
e' uma
instancia
de
Ponto no tempo
(
instance
beforeOrEqual
BinaryPredicate
)
Merge.kif 8158-8158
beforeOrEqual
e' uma
instancia
de
Predicado Binario
(
instance
beforeOrEqual
PartialOrderingRelation
)
Merge.kif 8160-8160
beforeOrEqual
e' uma
instancia
de
Relacao parcialmente Ordenada
(
instance
beforeOrEqual
TemporalRelation
)
Merge.kif 8159-8159
beforeOrEqual
e' uma
instancia
de
Relacao Temporal
appearance as argument number 2
(
format
ChineseLanguage
beforeOrEqual
"%1%n{doesn't}在%2 之前或同时发生")
chinese_format.kif 425-425
(
format
EnglishLanguage
beforeOrEqual
"%1 %n{doesn't} happen%p{s} before or at %2")
english_format.kif 431-431
(
format
FrenchLanguage
beforeOrEqual
"%1 %n{ne} se produit %n{pas} avant ou pendant %2")
french_format.kif 247-247
(
format
ItalianLanguage
beforeOrEqual
"%1 %n{non} succede%{s} prima di o con %2")
relations-it.txt 33-33
(
format
JapaneseLanguage
beforeOrEqual
"%1 は %2 でもその前でも happen%p{s} %n{ない}")
japanese_format.kif 2041-2041
(
format
PortugueseLanguage
beforeOrEqual
"%1 %n{nao} ocorre %n antes ou durante %2")
portuguese_format.kif 199-199
(
format
cz
beforeOrEqual
"%1 %n{doesn't} happen%{s} before or at %2")
relations-cz.txt 252-252
(
format
de
beforeOrEqual
"%1 geschieht vor oder gleichzeitig mit %2 %n{nicht}")
relations-de.txt 553-553
(
format
hi
beforeOrEqual
"%1 %2 ke saatha yaa pahale %n{nahiin} ghaTita hotaa hai")
relations-hindi.txt 77-77
(
format
ro
beforeOrEqual
"%1 %n{nu} happen%t{se întâmplã} înainte de sau la %2")
relations-ro.kif 268-268
(
format
sv
beforeOrEqual
"%1 inträffar %n{inte} före eller vid %2")
relations-sv.txt 269-269
(
format
tg
beforeOrEqual
"%1 %n{hindi} nagaanap bago o sa panahon dati %2")
relations-cb.txt 67-67
(
subrelation
before
beforeOrEqual
)
Merge.kif 8121-8121
before
e' uma
sub
-relacao de
beforeOrEqual
(
termFormat
ChineseLanguage
beforeOrEqual
"之前或同时")
chinese_format.kif 426-426
(
termFormat
ChineseLanguage
beforeOrEqual
"之前或相等")
domainEnglishFormat.kif 10547-10547
(
termFormat
ChineseTraditionalLanguage
beforeOrEqual
"之前或相等")
domainEnglishFormat.kif 10546-10546
(
termFormat
EnglishLanguage
beforeOrEqual
"before or equal")
domainEnglishFormat.kif 10545-10545
(
termFormat
tg
beforeOrEqual
"nagaanap bago o sa panahon dati")
relations-tg.txt 83-83
antecedent
(=>
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3))
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8222-8226
Ponto no tempo
ocorre
antes ou durante
Ponto no tempo
Ponto no tempo
ocorre
antes ou durante
Ponto no tempo
Ponto no tempo
e'
entre
ou durante
Ponto no tempo
e
Ponto no tempo
(=>
(
and
(
instance
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8291-8301
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
o
comeco
de
Intervalo Temporal
ocorre
antes ou durante o
comeco
de
Intervalo Temporal
o
comeco
de
Intervalo Temporal
comeca
antes
de o
fim
de
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
(=>
(
beforeOrEqual
?POINT1 ?POINT2)
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2)))
Merge.kif 8167-8171
Ponto no tempo
ocorre
antes ou durante
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
Ponto no tempo
e'
igual
a
Ponto no tempo
consequent
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
amountDue
FinancialAccount
,
Medida de Divisa
and
Posicao Temporal
accountHolder
FinancialAccount
and
Agente Cognitivo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30680-30686
firstInstanceCreated
Fisico
and
Ponto no tempo
Fisico
e' uma
instancia
de
Fisico
Ponto no tempo
ocorre
antes ou durante o
comeco
de
tempo
de existencia de
Fisico
(=>
(
and
(
holdsDuring
?T2 ?SIT2)
(
holdsDuring
?T1 ?SIT1)
(
instance
?T1
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
causesProposition
?SIT1 ?SIT2))
(
beforeOrEqual
(
BeginFn
?T1)
(
BeginFn
?T2)))
Merge.kif 3836-3843
Formula
vale
durante
Intervalo Temporal
Formula
vale
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
causesProposition
Formula
and
Formula
o
comeco
de
Intervalo Temporal
ocorre
antes ou durante o
comeco
de
Intervalo Temporal
(=>
(
instance
?OBJ
Object
)
(
exists
(?TIME1 ?TIME2)
(
and
(
instance
?TIME1
TimePoint
)
(
instance
?TIME2
TimePoint
)
(
before
?TIME1 ?TIME2)
(
forall
(?TIME)
(=>
(
and
(
beforeOrEqual
?TIME1 ?TIME)
(
beforeOrEqual
?TIME ?TIME2))
(
time
?OBJ ?TIME))))))
Merge.kif 8132-8144
Fisico
e' uma
instancia
de
Objeto
Ponto no tempo
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
Ponto no tempo
Ponto no tempo
ocorre
antes ou durante
Ponto no tempo
Ponto no tempo
ocorre
antes ou durante
Ponto no tempo
Fisico
existe
durante
Ponto no tempo
(=>
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2))
(
beforeOrEqual
?POINT1 ?POINT2))
Merge.kif 8173-8177
Ponto no tempo
comeca
antes
de
Ponto no tempo
Ponto no tempo
e'
igual
a
Ponto no tempo
Ponto no tempo
ocorre
antes ou durante
Ponto no tempo
(=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3)
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3)))
Merge.kif 8216-8220
Ponto no tempo
e'
entre
ou durante
Ponto no tempo
e
Ponto no tempo
Ponto no tempo
ocorre
antes ou durante
Ponto no tempo
Ponto no tempo
ocorre
antes ou durante
Ponto no tempo
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