Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 8255-8256
(
documentation
beforeOrEqual
JapaneseLanguage
"(
beforeOrEqual
?POINT1 ?POINT2) とは、 ?POINT1 が ?POINT2 と同一であるか、ユニバーサル タイムライン上で発生する前に発生することを意味 する。")
japanese_format.kif 1432-1434
(
domain
beforeOrEqual
1
TimePoint
)
Merge.kif 8252-8252
域
之前或相等
, 1 and
TimePoint
(
domain
beforeOrEqual
2
TimePoint
)
Merge.kif 8253-8253
域
之前或相等
, 2 and
TimePoint
(
instance
beforeOrEqual
BinaryPredicate
)
Merge.kif 8249-8249
例
之前或相等
and
BinaryPredicate
(
instance
beforeOrEqual
PartialOrderingRelation
)
Merge.kif 8251-8251
例
之前或相等
and
PartialOrderingRelation
(
instance
beforeOrEqual
TemporalRelation
)
Merge.kif 8250-8250
例
之前或相等
and
TemporalRelation
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 8212-8212
子關係
之前
and
之前或相等
(
termFormat
ChineseLanguage
beforeOrEqual
"之前或同时")
chinese_format.kif 426-426
子關係
之前
and
之前或相等
(
termFormat
ChineseLanguage
beforeOrEqual
"之前或相等")
domainEnglishFormat.kif 10554-10554
子關係
之前
and
之前或相等
(
termFormat
ChineseTraditionalLanguage
beforeOrEqual
"之前或相等")
domainEnglishFormat.kif 10553-10553
子關係
之前
and
之前或相等
(
termFormat
EnglishLanguage
beforeOrEqual
"before or equal")
domainEnglishFormat.kif 10552-10552
子關係
之前
and
之前或相等
(
termFormat
de
beforeOrEqual
"vorOderGleichzeitig")
terms-de.txt 170-170
子關係
之前
and
之前或相等
(
termFormat
tg
beforeOrEqual
"nagaanap bago o sa panahon dati")
relations-tg.txt 83-83
子關係
之前
and
之前或相等
antecedent
(=>
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3))
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8313-8317
之前或相等
TimePoint
and
TimePoint
之前或相等
TimePoint
and
TimePoint
暫時之間或等於
TimePoint
,
TimePoint
and
TimePoint
(=>
(
and
(
instance
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8382-8392
例
TimeInterval
and
TimeInterval
例
TimeInterval
and
TimeInterval
之前或相等
開始
TimeInterval
and
開始
TimeInterval
之前
開始
TimeInterval
and
結束
TimeInterval
暫時重疊
TimeInterval
and
TimeInterval
(=>
(
beforeOrEqual
?POINT1 ?POINT2)
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2)))
Merge.kif 8258-8262
之前或相等
TimePoint
and
TimePoint
之前
TimePoint
and
TimePoint
equal
TimePoint
and
TimePoint
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 657-669
金融賬戶
對於
TimePosition
到期的
amount
CurrencyMeasure
CognitiveAgent
持有
account
金融賬戶
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
付款
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
金融賬戶
的
currency
起源
SymbolicString
and
金融賬戶
的
currency
日期
SymbolicString
and
entity
之前或相等
結束
entity
and
開始
TimePosition
and
CognitiveAgent
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 32626-32632
firstInstanceCreated
Physical
and
TimePoint
例
Physical
and
Physical
之前或相等
TimePoint
and
開始
何時
Physical
(=>
(
and
(
holdsDuring
?T2 ?SIT2)
(
holdsDuring
?T1 ?SIT1)
(
instance
?T1
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
causesProposition
?SIT1 ?SIT2))
(
beforeOrEqual
(
BeginFn
?T1)
(
BeginFn
?T2)))
Merge.kif 3849-3856
持有期間
TimeInterval
and
Formula
持有期間
TimeInterval
and
Formula
例
TimeInterval
and
TimeInterval
例
TimeInterval
and
TimeInterval
Formula
是
Formula
的
causes
提議
之前或相等
開始
TimeInterval
and
開始
TimeInterval
(=>
(
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 8223-8235
例
Physical
and
Object
TimePoint
TimePoint
例
TimePoint
and
TimePoint
例
TimePoint
and
TimePoint
之前
TimePoint
and
TimePoint
TimePoint
之前或相等
TimePoint
and
TimePoint
之前或相等
TimePoint
and
TimePoint
時間
Physical
and
TimePoint
(=>
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2))
(
beforeOrEqual
?POINT1 ?POINT2))
Merge.kif 8264-8268
之前
TimePoint
and
TimePoint
equal
TimePoint
and
TimePoint
之前或相等
TimePoint
and
TimePoint
(=>
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3)
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3)))
Merge.kif 8307-8311
暫時之間或等於
TimePoint
,
TimePoint
and
TimePoint
之前或相等
TimePoint
and
TimePoint
之前或相等
TimePoint
and
TimePoint
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