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
Die Zahl 1 Argument von
beforeOrEqual
ist ein
fall
von
TimePoint
%n{nicht}
(
domain
beforeOrEqual
2
TimePoint
)
Merge.kif 8140-8140
Die Zahl 2 Argument von
beforeOrEqual
ist ein
fall
von
TimePoint
%n{nicht}
(
instance
beforeOrEqual
BinaryPredicate
)
Merge.kif 8136-8136
beforeOrEqual
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
beforeOrEqual
PartialOrderingRelation
)
Merge.kif 8138-8138
beforeOrEqual
ist ein
fall
von
PartialOrderingRelation
%n{nicht}
(
instance
beforeOrEqual
TemporalRelation
)
Merge.kif 8137-8137
beforeOrEqual
ist ein
fall
von
TemporalRelation
%n{nicht}
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
ist eine
teilrelation
von
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 8200-8204
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
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8269-8279
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und der
anfang
von
** ** TimeInterval
geschieht
vor
oder gleichzeitig mit der
anfang
von
** TimeInterval
%n{nicht} und der
anfang
von
** TimeInterval
geschieht
vor
das
ende
von
** ** TimeInterval
%n{nicht},
dann
** TimeInterval
deckt
sich mit
** ** TimeInterval
%n{nicht}
(=>
(
beforeOrEqual
?POINT1 ?POINT2)
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2)))
Merge.kif 8145-8149
Wenn
TimePoint
geschieht
vor
oder gleichzeitig mit
** TimePoint
%n{nicht},
dann
** TimePoint
geschieht
vor
** ** TimePoint
%n{nicht} oder
** TimePoint
ist gleich
** ** TimePoint
%n{nicht}
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
Wenn
amountDue
FinancialAccount
,
CurrencyMeasure
and
TimePosition
und
accountHolder
** FinancialAccount
and
CognitiveAgent
,
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30692-30698
Wenn
firstInstanceCreated
** Physical
and
TimePoint
und
** Physical
ist ein
fall
von
** Physical
%n{nicht},
dann
** TimePoint
geschieht
vor
oder gleichzeitig mit der
anfang
von die
zeit
des Bestehens von
** ** Physical
%n{nicht}
(=>
(
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
Wenn
Formula
haelt
waehrend
TimeInterval
%n{nicht} und
** Formula
haelt
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
causesProposition
** ** Formula
and
** Formula
,
dann der
anfang
von
** ** TimeInterval
geschieht
vor
oder gleichzeitig mit der
anfang
von
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
Object
%n{nicht},
dann es gibt
TimePoint
und
** TimePoint
um
** TimePoint
ist ein
fall
von
TimePoint
%n{nicht} und
** ** TimePoint
ist ein
fall
von
TimePoint
%n{nicht} und
** TimePoint
geschieht
vor
** ** TimePoint
%n{nicht} und fuer alle
** TimePoint
wenn
** TimePoint
geschieht
vor
oder gleichzeitig mit
** ** TimePoint
%n{nicht} und
** ** TimePoint
geschieht
vor
oder gleichzeitig mit
** ** TimePoint
%n{nicht},
dann
** Physical
besteht
waehrend
** ** TimePoint
%n{nicht}
(=>
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2))
(
beforeOrEqual
?POINT1 ?POINT2))
Merge.kif 8151-8155
Wenn
TimePoint
geschieht
vor
** TimePoint
%n{nicht} oder
** TimePoint
ist gleich
** ** TimePoint
%n{nicht},
dann
** TimePoint
geschieht
vor
oder gleichzeitig mit
** ** TimePoint
%n{nicht}
(=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3)
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3)))
Merge.kif 8194-8198
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}
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