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
before
Sigma KEE - before
before
appearance as argument number 1
(
documentation
before
ChineseLanguage
"(
before
?POINT1 ?POINT2)的意思是 ?POINT1 在通用时 间轴上比 ?POINT2 先开始。")
chinese_format.kif 2707-2708
(
documentation
before
EnglishLanguage
"(
before
?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.")
Merge.kif 8140-8141
(
documentation
before
JapaneseLanguage
"(
before
?POINT1 ?POINT2) とは、?POINT1が、ユニ バーサルタイムラインで ?POINT2に先行する、という意味である。")
japanese_format.kif 1430-1431
(
domain
before
1
TimePoint
)
Merge.kif 8137-8137
域
之前
, 1 and
TimePoint
(
domain
before
2
TimePoint
)
Merge.kif 8138-8138
域
之前
, 2 and
TimePoint
(
instance
before
IrreflexiveRelation
)
Merge.kif 8133-8133
例
之前
and
IrreflexiveRelation
(
instance
before
TemporalRelation
)
Merge.kif 8132-8132
例
之前
and
TemporalRelation
(
instance
before
TransitiveRelation
)
Merge.kif 8134-8134
例
之前
and
TransitiveRelation
(
relatedInternalConcept
before
earlier
)
Merge.kif 8136-8136
相關的內部概念
之前
and
早期
(
subrelation
before
beforeOrEqual
)
Merge.kif 8135-8135
子關係
之前
and
之前或相等
appearance as argument number 2
(
format
ChineseLanguage
before
"%1%n在%2
before
发生")
chinese_format.kif 423-423
(
format
EnglishLanguage
before
"%1 %n{doesn't} happen%p{s}
before
%2")
english_format.kif 429-429
(
format
FrenchLanguage
before
"%1 %n{ne} se produit %n{pas} avant %2")
french_format.kif 246-246
(
format
ItalianLanguage
before
"%1 %n{non} succede%{s} prima di %2")
relations-it.txt 32-32
(
format
JapaneseLanguage
before
"%1 は %2 の
before
に happen%p{s} %n{ない}")
japanese_format.kif 2040-2040
(
format
PortugueseLanguage
before
"%1 %n{nao} comeca %n antes de %2")
portuguese_format.kif 198-198
(
format
cb
before
"%1 %n{dili} nahimo una sa %2")
relations-cb.txt 66-66
(
format
cz
before
"%1 %n{doesn't} happen%p{s}
before
%2'")
relations-cz.txt 251-251
(
format
de
before
"%1 geschieht vor %2 %n{nicht}")
relations-de.txt 550-550
(
format
hi
before
"%1 %2 ke pahale %n{nahiin} ghaTita hotaa hai")
relations-hindi.txt 76-76
(
format
ro
before
"%1 %n{nu} happen%t{se întâmplã}
before
%t{înainte de} %2")
relations-ro.kif 267-267
(
format
sv
before
"%1 inträffar %n{inte} före %2")
relations-sv.txt 267-267
(
format
tg
before
"%1 %n{hindi} nagaanap bago sa %2")
relations-tg.txt 80-80
(
termFormat
ChineseLanguage
before
"之前")
chinese_format.kif 424-424
(
termFormat
ChineseTraditionalLanguage
before
"之前")
domainEnglishFormat.kif 10534-10534
(
termFormat
EnglishLanguage
before
"before")
domainEnglishFormat.kif 10533-10533
(
termFormat
tg
before
"nagaanap bago")
relations-tg.txt 81-81
antecedent
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8122-8130
之前
開始
TimeInterval
and
開始
TimeInterval
等於
結束
TimeInterval
and
結束
TimeInterval
飾面
TimeInterval
and
TimeInterval
(=>
(
and
(
before
?POINT1 ?POINT2)
(
before
?POINT2 ?POINT3))
(
temporallyBetween
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8212-8216
之前
TimePoint
and
TimePoint
之前
TimePoint
and
TimePoint
一時之間
TimePoint
,
TimePoint
and
TimePoint
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8090-8098
等於
開始
TimeInterval
and
開始
TimeInterval
之前
結束
TimeInterval
and
結束
TimeInterval
啟動
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 494-507
例
Process
and
走動
子過程
Process
and
Process
例
Process
and
步進
子過程
Process
and
Process
例
Process
and
步進
等於
Process
START and
開始
何時
Process
等於
Process
START and
開始
何時
Process
之前
Process
START and
Process
START
之前
Process
START and
Process
START
等於
Process
and
Process
(=>
(
and
(
instance
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
例
金融賬戶
and
存款證
Day
是
金融賬戶
的
maturity
日期
例
Process
and
退出
起源
Process
and
金融賬戶
的
currency
日期
Process
and
Day
之前
結束
Day
and
開始
Day
Process
例
Process
and
罰款
目的地
Process
and
金融賬戶
的
currency
原因
Process
and
Process
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1581-1591
例
Process
and
洪水
例
Object
and
LandArea
Process
是
located
在
Object
例
TimePoint
and
TimePoint
之前
TimePoint
and
何時
Process
模態屬性
持有期間
TimePoint
and
例
Object
and
淹沒的土地面積
and
較不可能
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
例
TimeInterval
and
TimeInterval
_CLASS
子類
TimeInterval
_CLASS and
Process
例
AccessingWebPage
and
AccessingWebPage
例
AutonomousAgent
and
AutonomousAgent
agent
TimeInterval
and
AutonomousAgent
agent
AccessingWebPage
and
AutonomousAgent
期間
TimeInterval
and
AccessingWebPage
例
Physical
and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
_CLASS
agent
TimeInterval
and
AutonomousAgent
期間
TimeInterval
and
AccessingWebPage
之前
開始
何時
TimeInterval
and
開始
何時
TimeInterval
等於
開始
何時
AccessingWebPage
and
開始
何時
Physical
等於
開始
何時
TimeInterval
and
結束
何時
Physical
等於
AccessingWebPage
的
time
在 類別
TimeInterval
_CLASS and
Physical
(=>
(
and
(
instance
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8305-8315
例
TimeInterval
and
TimeInterval
例
TimeInterval
and
TimeInterval
之前或相等
開始
TimeInterval
and
開始
TimeInterval
之前
開始
TimeInterval
and
結束
TimeInterval
暫時重疊
TimeInterval
and
TimeInterval
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2669-2685
屬性
協議
and
選項
CognitiveAgent
holds
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
金融工具
是
協議
的
underlier
堅持正確
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
CognitiveAgent
and
CognitiveAgent
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsRight
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2623-2639
屬性
協議
and
選項
CognitiveAgent
holds
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
堅持正確
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
CognitiveAgent
and
CognitiveAgent
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
屬性
協議
and
選項
CognitiveAgent
sells
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
金融工具
是
協議
的
underlier
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
CognitiveAgent
and
CognitiveAgent
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
屬性
協議
and
選項
CognitiveAgent
sells
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
entity
and
CognitiveAgent
(=>
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
instance
?Account
FinancialAccount
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
amountDue
?Account ?Amount ?DueDate)
(
before
(
EndFn
?Date)
(
BeginFn
?DueDate)))
(
instance
?Payment
Prepayment
))
FinancialOntology.kif 834-842
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
日期
FinancialTransaction
and
Day
例
金融賬戶
and
金融賬戶
目的地
FinancialTransaction
and
金融賬戶
的
currency
金融賬戶
對於
TimeInterval
到期的
amount
CurrencyMeasure
之前
結束
Day
and
開始
TimeInterval
例
FinancialTransaction
and
預付款
(=>
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
earlier
?INTERVAL1 ?INTERVAL2))
Merge.kif 8418-8420
之前
結束
TimeInterval
and
開始
TimeInterval
早期
TimeInterval
and
TimeInterval
(=>
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2))
(
beforeOrEqual
?POINT1 ?POINT2))
Merge.kif 8187-8191
之前
TimePoint
and
TimePoint
等於
TimePoint
and
TimePoint
之前或相等
TimePoint
and
TimePoint
consequent
(=>
(
albumRelease
?A ?T)
(
and
(
exists
(?R1 ?DS1)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS1) ?R1 ?T))
(
not
(
exists
(?B ?R2 ?DS2)
(
and
(
before
?B ?T)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS2) ?R2 ?B))))))
Music.kif 261-270
Album
之前是在
TimePoint
被
released
GeographicArea
DataStorageDevice
Album
在
DataStorageDevice
的
set
複製 是
released
對於
sale
在
GeographicArea
位於
TimePoint
TimePoint
GeographicArea
and
DataStorageDevice
之前
TimePoint
and
TimePoint
Album
在
DataStorageDevice
的
set
複製 是
released
對於
sale
在
GeographicArea
位於
TimePoint
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6225-6238
allergic
Human
and
Substance
例
Substance
UB and
Substance
持有期間
TimePosition
and
空間的符合
Substance
UB and
Human
模態屬性
entity
例
entity
and
AllergicReaction
體驗者
entity
and
Human
暫時重疊
TimePosition
and
何時
entity
之前
開始
TimePosition
and
開始
何時
entity
and
容易
(=>
(
and
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 457-470
attribute
音樂錄音
and
CoverRecording
例
音樂錄音
and
音樂錄音
CognitiveAgent
是
performer
在
音樂錄音
音樂錄音
是
Music
的
recording
音樂錄音
是個
Music
M 的
record
音樂錄音
CognitiveAgent
RTIST and
Music
USIC
音樂錄音
是
Music
的
recording
CognitiveAgent
RTIST 是
performer
在
音樂錄音
等於
CognitiveAgent
and
CognitiveAgent
RTIST
音樂錄音
是個
Music
USIC 的
record
之前
何時
Music
USIC and
何時
Music
M
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
其必須在
TimePoint
之前 在
CognitiveAgent
check
out
CognitiveAgent
是在
CognitiveAgent
的
guest
CognitiveAgent
expects
entity
entity
例
entity
and
TimePoint
患者
entity
and
CognitiveAgent
例
entity
and
CheckOutService
agent
entity
and
CognitiveAgent
之前
開始
何時
entity
and
entity
會是事實
(=>
(
and
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
Communications.kif 202-214
目的地
Process
and
Object
例
Process
and
訊息
患者
Process
and
Entity
例
Object
and
Telex
Process
Entity
儀器
Process
and
Object
結果
Process
and
Entity
代表
Entity
and
Entity
例
Entity
and
Text
之前
開始
何時
Process
and
開始
何時
Process
(=>
(
and
(
earlier
?TI1 ?TI2)
(
instance
?P1
TimePoint
)
(
instance
?P2
TimePoint
)
(
temporalPart
?P1 ?TI1)
(
temporalPart
?P2 ?TI2))
(
before
?P1 ?P2))
Merge.kif 8317-8324
早期
TimeInterval
and
TimeInterval
例
TimePoint
and
TimePoint
例
TimePoint
and
TimePoint
時間部分
TimePoint
and
TimeInterval
時間部分
TimePoint
and
TimeInterval
之前
TimePoint
and
TimePoint
(=>
(
and
(
equal
(
EditionFn
?TEXT ?INT1) ?EDITION1)
(
equal
(
EditionFn
?TEXT ?INT2) ?EDITION2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?EDITION1)
(
instance
?CBO2 ?EDITION2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Merge.kif 15561-15578
等於
版
ContentBearingObject
and
PositiveInteger
and
ContentBearingObject
等於
版
ContentBearingObject
and
PositiveInteger
and
ContentBearingObject
比較多
PositiveInteger
and
PositiveInteger
例
Process
and
Publication
例
Process
and
Publication
例
Entity
and
ContentBearingObject
例
Entity
and
ContentBearingObject
患者
Process
and
Entity
患者
Process
and
Entity
日期
Process
and
Day
日期
Process
and
Day
之前
結束
Day
and
結束
Day
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22972-22977
等於
TimePoint
and
開始
何時
Process
等於
TimePoint
and
結束
何時
AutonomousAgent
好處
Process
and
AutonomousAgent
之前
TimePoint
and
TimePoint
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29646-29655
等於
TimePoint
and
開始
何時
Process
等於
TimePoint
and
結束
何時
AutonomousAgent
AutonomousAgent
suffers
從
Process
之前
TimePoint
and
TimePoint
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?T1
(
BeginFn
?D1))
(
equal
?T2
(
BeginFn
?D2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8758-8765
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
例
TimeInterval
and
天
PositiveInteger
and
月
Month
and
年
Integer
等於
TimePoint
and
開始
TimeInterval
等於
TimePoint
and
開始
TimeInterval
比較多
PositiveInteger
and
PositiveInteger
之前
TimePoint
and
TimePoint
(=>
(
and
(
instance
?Loan
InterestOnlyLoan
)
(
agreementPeriod
?Loan ?Period)
(
principalAmount
?Loan ?Principal)
(
interestEarned
?Loan ?Interest ?Period))
(
and
(
amountDue
?Loan ?Principal
(
EndFn
?Period))
(
amountDue
?Loan ?Interest ?Date)
(
before
(
EndFn
?Date)
(
EndFn
?Period))))
FinancialOntology.kif 1615-1624
例
金融賬戶
and
僅利息貸款
TimeInterval
是
金融賬戶
的
agreement
週期
CurrencyMeasure
是
金融賬戶
的
principal
總額
金融賬戶
是 對於 %3 的賺取
interest
金融賬戶
對於
結束
TimeInterval
到期的
amount
CurrencyMeasure
金融賬戶
對於
TimeInterval
到期的
amount
利益
之前
結束
TimeInterval
and
結束
TimeInterval
(=>
(
and
(
instance
?M1
(
MonthFn
?N1
(
YearFn
?Y)))
(
instance
?M2
(
MonthFn
?N2
(
YearFn
?Y)))
(
equal
?T1
(
BeginFn
?M1))
(
equal
?T2
(
BeginFn
?M2))
(
successorClass
?N1 ?N2))
(
before
?T1 ?T2))
Merge.kif 8742-8749
例
TimeInterval
and
月
Month
and
年
Integer
例
TimeInterval
and
月
Month
and
年
Integer
等於
TimePoint
and
開始
TimeInterval
等於
TimePoint
and
開始
TimeInterval
successorClass
Month
and
Month
之前
TimePoint
and
TimePoint
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
before
NegativeInfinity
?POINT))
Merge.kif 7923-7927
例
TimePoint
and
TimePoint
等於
TimePoint
and
負無窮大
之前
負無窮大
and
TimePoint
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
before
?POINT
PositiveInfinity
))
Merge.kif 7905-7909
例
TimePoint
and
TimePoint
等於
TimePoint
and
正無窮大
之前
TimePoint
and
正無窮大
(=>
(
and
(
instance
?REMEMBER
Remembering
)
(
patient
?REMEMBER ?FORMULA))
(
exists
(?TIME)
(
and
(
holdsDuring
?TIME ?FORMULA)
(
or
(
before
?TIME
(
WhenFn
?REMEMBER))
(
earlier
?TIME
(
WhenFn
?REMEMBER))))))
Merge.kif 12209-12218
例
Process
and
Remembering
患者
Process
and
Formula
TimeInterval
持有期間
TimeInterval
and
Formula
之前
TimeInterval
and
何時
Process
早期
TimeInterval
and
何時
Process
(=>
(
and
(
instance
?SHOCK
Aftershock
)
(
eventLocated
?SHOCK ?PLACE))
(
exists
(?TREMOR)
(
and
(
instance
?TREMOR
EarthTremor
)
(
eventLocated
?TREMOR ?PLACE)
(
before
(
WhenFn
?TREMOR)
(
WhenFn
?SHOCK)))))
Geography.kif 2328-2338
例
Process
and
餘震
Process
是
located
在
Object
Process
例
Process
and
地震
Process
是
located
在
Object
之前
何時
Process
and
何時
Process
(=>
(
and
(
instance
?TI
TimeInterval
)
(
equal
?S
(
BeginFn
?TI))
(
equal
?E
(
EndFn
?TI)))
(
before
?S ?E))
Merge.kif 8298-8303
例
TimeInterval
and
TimeInterval
等於
TimePoint
and
開始
TimeInterval
等於
TimePoint
and
結束
TimeInterval
之前
TimePoint
and
TimePoint
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
例
Collection
and
Buffet
會員
Physical
and
Collection
位於
Collection
and
Object
例
Process
and
Eating
agent
Process
and
AutonomousAgent
Process
是
located
在
Object
患者
Process
and
Physical
等於
Object
and
Object
Process
例
Process
and
Getting
患者
Process
and
Physical
起源
Process
and
Object
agent
Process
and
AutonomousAgent
之前
何時
Process
and
何時
Process
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 27006-27032
例
Physical
and
SurveillanceSystem
會員
Physical
and
Collection
會員
Physical
and
Collection
位於
Collection
and
Object
例
Collection
and
相機
位於
Collection
and
Object
等於
Object
and
Object
例
Collection
and
VideoDisplay
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
Process
entity
是
located
在
Object
代表
entity
and
entity
儀器
entity
and
相機
結果
entity
and
entity
例
entity
and
RadiatingLight
儀器
entity
and
Collection
患者
entity
and
entity
之前
開始
entity
and
開始
entity
之前
開始
entity
and
開始
entity
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
?T1
(
BeginFn
?Y1))
(
equal
?T2
(
BeginFn
?Y2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8726-8733
例
TimeInterval
and
年
Integer
例
TimeInterval
and
年
Integer
等於
TimePoint
and
開始
TimeInterval
等於
TimePoint
and
開始
TimeInterval
比較多
Integer
and
Integer
之前
TimePoint
and
TimePoint
(=>
(
and
(
property
?Option
AmericanStyleOption
)
(
optionHolder
?Option ?Agent)
(
agreementExpirationDate
?Option ?Day))
(
holdsRight
(
exists
(?Exercise)
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
before
(
EndFn
(
WhenFn
?Exercise))
(
EndFn
?Day)))) ?Agent))
FinancialOntology.kif 2788-2800
屬性
協議
and
美式風格選項
CognitiveAgent
holds
協議
協議
有
expiration
TimePoint
堅持正確
entity
例
entity
and
執行一個選項
患者
entity
and
協議
之前
結束
何時
entity
and
結束
TimePoint
and
CognitiveAgent
(=>
(
and
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14651-14665
子類
Series
and
Periodical
等於
系列卷
Series
and
PositiveInteger
and
Text
等於
系列卷
Series
and
PositiveInteger
and
Text
比較多
PositiveInteger
and
PositiveInteger
例
Process
and
Publication
例
Process
and
Publication
例
Entity
and
Text
例
Entity
and
Text
患者
Process
and
Entity
患者
Process
and
Entity
日期
Process
and
Day
日期
Process
and
Day
之前
結束
Day
and
結束
Day
(=>
(
beforeOrEqual
?POINT1 ?POINT2)
(
or
(
before
?POINT1 ?POINT2)
(
equal
?POINT1 ?POINT2)))
Merge.kif 8181-8185
之前或相等
TimePoint
and
TimePoint
之前
TimePoint
and
TimePoint
等於
TimePoint
and
TimePoint
(=>
(
burnInPeriod
?EXP ?INTERVAL)
(
before
(
EndFn
?INTERVAL)
(
EndFn
(
WhenFn
?EXP))))
UXExperimentalTerms.kif 4317-4321
試驗
藉由
TimeInterval
去
burn
之前
結束
TimeInterval
and
結束
何時
試驗
(=>
(
checkInTime
?HOTEL ?TIME)
(
modalAttribute
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
instance
?C
CheckInService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))
Unlikely
))
Hotel.kif 667-675
Organization
允許在
TimePoint
之後的
checkins
模態屬性
entity
entity
例
entity
and
TimePoint
例
entity
and
CheckInService
agent
entity
and
Organization
之前
開始
何時
entity
and
entity
and
較不可能
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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