meetsTemporally
(=>
(
and
(
instance
?MONTH1
(
MonthFn
March
?YEAR))
(
instance
?MONTH2
(
MonthFn
April
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9094-9098
例
TimeInterval
and
月
March
and
年
例
TimeInterval
and
月
April
and
年
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
May
?YEAR))
(
instance
?MONTH2
(
MonthFn
June
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9122-9126
例
TimeInterval
and
月
May
and
年
例
TimeInterval
and
月
June
and
年
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
November
?YEAR))
(
instance
?MONTH2
(
MonthFn
December
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9207-9211
例
TimeInterval
and
月
November
and
年
例
TimeInterval
and
月
December
and
年
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
October
?YEAR))
(
instance
?MONTH2
(
MonthFn
November
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9193-9197
例
TimeInterval
and
月
October
and
年
例
TimeInterval
and
月
November
and
年
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?MONTH1
(
MonthFn
September
?YEAR))
(
instance
?MONTH2
(
MonthFn
October
?YEAR)))
(
meetsTemporally
?MONTH1 ?MONTH2))
Merge.kif 9179-9183
例
TimeInterval
and
月
September
and
年
例
TimeInterval
and
月
October
and
年
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?Opening
OpeningAnAccount
)
(
eventLocated
?Opening ?Bank)
(
instance
?Bank
FinancialOrganization
)
(
agent
?Opening ?Agent)
(
equal
(
WhenFn
?Opening) ?OpeningTime))
(
exists
(?Account ?AccountPeriod)
(
and
(
agreementPeriod
?Account ?AccountPeriod)
(
meetsTemporally
?OpeningTime ?AccountPeriod)
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 293-306
例
Process
and
開戶
Process
是
located
在
金融機構
例
金融機構
and
金融機構
agent
Process
and
CognitiveAgent
等於
何時
Process
and
Process
Time
金融賬戶
金融賬戶
Period
金融賬戶
Period 是
金融賬戶
的
agreement
週期
短暫相遇
Process
Time and
金融賬戶
Period
例
金融賬戶
and
金融賬戶
金融賬戶
是被
金融機構
held
CognitiveAgent
持有
account
金融賬戶
(=>
(
and
(
instance
?Place
PlacingAnOrder
)
(
equal
(
WhenFn
?Place) ?Time))
(
exists
(?Order ?Period)
(
and
(
equal
(
WhenFn
?Order) ?Period)
(
meetsTemporally
?Time ?Period))))
FinancialOntology.kif 1952-1959
例
Physical
and
正在下單
等於
何時
Physical
and
TimeInterval
Physical
TimeInterval
等於
何時
Physical
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?SECOND1
(
SecondFn
?NUMBER1 ?MINUTE))
(
instance
?SECOND2
(
SecondFn
?NUMBER2 ?MINUTE))
(
equal
(
SubtractionFn
?NUMBER2 ?NUMBER1) 1))
(
meetsTemporally
?SECOND1 ?SECOND2))
Merge.kif 8683-8688
例
TimeInterval
and
第二
PositiveInteger
and
Minute
例
TimeInterval
and
第二
PositiveInteger
and
Minute
等於
減法
PositiveInteger
and
PositiveInteger
and 1
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
例
TimeInterval
and
TimePeriod
持續時間
TimeInterval
and
測量
RealNumber
and
分鐘
比較多
RealNumber
and 5.0
例
Entity
and
Human
Process
例
Process
and
Breathing
期間
何時
Process
and
TimeInterval
患者
Process
and
Entity
模態屬性
entity
例
entity
and
Death
體驗者
entity
and
Entity
短暫相遇
TimeInterval
and
何時
entity
and
容易
(=>
(
and
(
instance
?Uptick
Uptick
)
(
patient
?Uptick ?Stock)
(
equal
(
WhenFn
?Uptick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
lessThan
?Price2 ?Price1))))
FinancialOntology.kif 3212-3228
例
Process
and
上揚
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
例
UnitOfMeasure
and
UnitOfCurrency
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
Process
AutonomousAgent
and
RealNumber
例
Process
and
股市交易
患者
Process
and
Physical
等於
何時
Process
and
AutonomousAgent
短暫相遇
AutonomousAgent
and
AutonomousAgent
Physical
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
少於
RealNumber
and
RealNumber
(=>
(
and
(
instance
?VP
ValetParking
)
(
patient
?VP ?VEHICLE)
(
instance
?A
Arriving
)
(
patient
?A ?VEHICLE))
(
meetsTemporally
(
EndFn
(
WhenFn
?A))
(
BeginFn
(
WhenFn
?VP))))
TransportDetail.kif 174-182
例
Process
and
ValetParking
患者
Process
and
Entity
例
Process
and
到達
患者
Process
and
Entity
短暫相遇
結束
何時
Process
and
開始
何時
Process
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
(
SubtractionFn
?N2 ?N1) 1))
(
meetsTemporally
?Y1 ?Y2))
Merge.kif 8748-8753
例
TimeInterval
and
年
Integer
例
TimeInterval
and
年
Integer
等於
減法
Integer
and
Integer
and 1
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
checkAccount
?Check ?Account)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Withdrawal ?WithdrawalTime)
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instrument
?Withdrawal ?Check)
(
equal
(
WhenFn
?Withdrawal) ?WithdrawalTime)
(
meetsTemporally
?ProcessingTime ?WithdrawalTime)
(
transactionAmount
?Withdrawal ?Amount)
(
origin
?Withdrawal ?Account))))
FinancialOntology.kif 104-118
貨幣價值
校驗
and
CurrencyMeasure
金融賬戶
是
校驗
的
check
帳戶
例
Process
and
處理檢查
患者
Process
and
校驗
等於
何時
Process
and
Process
Time
FinancialTransaction
FinancialTransaction
Time
例
FinancialTransaction
and
退出
儀器
FinancialTransaction
and
校驗
等於
何時
FinancialTransaction
and
FinancialTransaction
Time
短暫相遇
Process
Time and
FinancialTransaction
Time
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
起源
FinancialTransaction
and
金融賬戶
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit ?DepositTime)
(
and
(
instance
?Deposit
Deposit
)
(
instrument
?Deposit ?Check)
(
equal
(
WhenFn
?Deposit) ?DepositTime)
(
meetsTemporally
?ProcessingTime ?DepositTime)
(
transactionAmount
?Deposit ?Amount)
(
destination
?Deposit
(
CurrencyFn
?Account)))))
FinancialOntology.kif 120-135
貨幣價值
Object
and
CurrencyMeasure
例
Process
and
處理檢查
患者
Process
and
Object
目的地
Process
and
金融賬戶
的
currency
例
金融賬戶
and
金融賬戶
等於
何時
Process
and
Process
Time
FinancialTransaction
FinancialTransaction
Time
例
FinancialTransaction
and
存款
儀器
FinancialTransaction
and
Object
等於
何時
FinancialTransaction
and
FinancialTransaction
Time
短暫相遇
Process
Time and
FinancialTransaction
Time
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
金融賬戶
的
currency
(=>
(
and
(
shutdownOf
?Shutdown ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Shutdown)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time2 ?Time1))))
QoSontology.kif 427-438
ComputerProgram
是
關機塊
的
shutdown
例
電腦程序
and
電腦程序
關機塊
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
電腦程序
TimeInterval
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
and
(
startupOf
?Startup ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Startup)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time2))))
QoSontology.kif 387-398
ComputerProgram
是
啟動塊
的
startup
例
電腦程序
and
電腦程序
啟動塊
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
電腦程序
TimeInterval
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
meetsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8339-8343
等於
結束
TimeInterval
and
開始
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1 ?TIME2)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
instance
?TIME2 ?CLASS)
(
not
(
equal
?TIME1 ?TIME2)))
(
or
(
meetsTemporally
?TIME1 ?TIME2)
(
meetsTemporally
?TIME2 ?TIME1)
(
earlier
?TIME1 ?TIME2)
(
earlier
?TIME2 ?TIME1)))))
Merge.kif 9395-9407
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
例
TimeInterval
and
TimeInterval
等於
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
finishes
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME1 ?TIME2))))))
Merge.kif 9423-9433
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
not
(
starts
?TIME1 ?INTERVAL)))
(
exists
(?TIME2)
(
and
(
instance
?TIME2 ?CLASS)
(
meetsTemporally
?TIME2 ?TIME1))))))
Merge.kif 9435-9445
等於
時間構成
TimeInterval
and
TimeInterval
TYPE and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
holdsDuring
?T
(
attribute
?H
BoneFracture
))
(
exists
(?S ?B)
(
and
(
instance
?S
Separating
)
(
patient
?S ?B)
(
instance
?B
Bone
)
(
part
?B ?H)
(
meetsTemporally
(
WhenFn
?S) ?T))))
Medicine.kif 6128-6137
持有期間
TimeInterval
and
attribute
Object
and
BoneFracture
Process
Object
例
Process
and
Separating
患者
Process
and
Object
例
Object
and
Bone
部分
Object
and
Object
短暫相遇
何時
Process
and
TimeInterval
(=>
(
holdsDuring
?T
(
attribute
?H
BurnInjury
))
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
located
?C ?H)
(
meetsTemporally
(
WhenFn
?C) ?T))))
Medicine.kif 6036-6043
持有期間
TimeInterval
and
attribute
Object
and
BurnInjury
Physical
例
Physical
and
Combustion
位於
Physical
and
Object
短暫相遇
何時
Physical
and
TimeInterval
(=>
(
holdsDuring
?T
(
attribute
?H
Dizzy
))
(
holdsDuring
?T
(
believes
?H
(=>
(
exists
(?T2)
(
and
(
during
?T2 ?T)
(
holdsDuring
?T2
(
attribute
?H
Standing
))))
(
exists
(?F)
(
and
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
meetsTemporally
?T2
(
WhenFn
?F))))))))
Mid-level-ontology.kif 16411-16427
持有期間
TimePosition
and
attribute
entity
and
Dizzy
持有期間
TimePosition
and
相信
entity
and
TimePosition
期間
TimePosition
and
TimePosition
持有期間
TimePosition
and
attribute
entity
and
站立
entity
例
entity
and
落下
體驗者
entity
and
entity
短暫相遇
TimePosition
and
何時
entity
(=>
(
instance
?AUTUMN
FallSeason
)
(
exists
(?SUMMER)
(
and
(
instance
?SUMMER
SummerSeason
)
(
meetsTemporally
?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 19202-19207
例
TimeInterval
and
秋季
TimeInterval
例
TimeInterval
and
夏季
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
instance
?AUTUMN
FallSeason
)
(
exists
(?WINTER)
(
and
(
instance
?WINTER
WinterSeason
)
(
meetsTemporally
?AUTUMN ?WINTER))))
Mid-level-ontology.kif 19209-19214
例
TimeInterval
and
秋季
TimeInterval
例
TimeInterval
and
冬季
短暫相遇
TimeInterval
and
TimeInterval
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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