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 8142-8143
(
documentation
beforeOrEqual
JapaneseLanguage
"(
beforeOrEqual
?POINT1 ?POINT2) とは、 ?POINT1 が ?POINT2 と同一であるか、ユニバーサル タイムライン上で発生する前に発生することを意味 する。")
japanese_format.kif 1432-1434
(
domain
beforeOrEqual
1
TimePoint
)
Merge.kif 8139-8139
The number 1 argument of
before or equal
is an
instance
of
time point
(
domain
beforeOrEqual
2
TimePoint
)
Merge.kif 8140-8140
The number 2 argument of
before or equal
is an
instance
of
time point
(
instance
beforeOrEqual
BinaryPredicate
)
Merge.kif 8136-8136
before or equal
is an
instance
of
binary predicate
(
instance
beforeOrEqual
PartialOrderingRelation
)
Merge.kif 8138-8138
before or equal
is an
instance
of
partial ordering relation
(
instance
beforeOrEqual
TemporalRelation
)
Merge.kif 8137-8137
before or equal
is an
instance
of
temporal relation
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 8099-8099
before
is a
subrelation
of
before or equal
(
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 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
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8269-8279
If
a time interval
is an
instance
of
time interval
and
another time interval
is an
instance
of
time interval
and the
beginning
of
the other time interval
happen
s before or at the
beginning
of
the time interval
and the
beginning
of
the time interval
happens
before
the
end
of
the other time interval
,
then
the time interval
overlap
s
the other time interval
(=>
(
beforeOrEqual
?POINT1 ?POINT2)
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2)))
Merge.kif 8145-8149
If
a time point
happen
s before or at
another time point
,
then
the time point
happens
before
the other time point
or
the time point
is
equal
to
the other time point
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
If
a financial account
amount
due
a currency measure
for
a time position
and
a cognitive agent
holds
account
the financial account
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30692-30698
If
a kind of physical
was
firstInstanceCreated
at
a time point
and
another physical
is an
instance
of
a kind of physical
,
then
the time point
happen
s before or at the
beginning
of the
time
of existence of
the other physical
(=>
(
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
If
a formula
holds
during
a time interval
and
another formula
holds
during
another time interval
and
the other time interval
is an
instance
of
time interval
and
the time interval
is an
instance
of
time interval
and
the formula
is a
causes
proposition of
the other formula
,
then the
beginning
of
the other time interval
happen
s before or at the
beginning
of
the time interval
(=>
(
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 8110-8122
If
a physical
is an
instance
of
object
,
then there exist
a time point
and
another time point
such that
the time point
is an
instance
of
time point
and
the other time point
is an
instance
of
time point
and
the time point
happens
before
the other time point
and for all
a third time point
if
the time point
happen
s before or at
the third time point
and
the third time point
happen
s before or at
the other time point
,
then
the physical
exists
during
the third time point
(=>
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2))
(
beforeOrEqual
?POINT1 ?POINT2))
Merge.kif 8151-8155
If
a time point
happens
before
another time point
or
the time point
is
equal
to
the other time point
,
then
the time point
happen
s before or at
the other 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
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