BeginFn
(=>
(
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
?R
ChemicalReduction
)
(
patient
?R ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
electronNumber
?S ?L)))
(
exists
(?G)
(
and
(
greaterThan
?G ?L)
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
electronNumber
?S ?G)))))
Mid-level-ontology.kif 19564-19576
例
Process
and
化學還原
患者
Process
and
Entity
持有期間
開始
何時
Process
and
RealNumber
是
Entity
的
electron
號碼
RealNumber
比較多
RealNumber
and
RealNumber
持有期間
結束
何時
Process
and
RealNumber
是
Entity
的
electron
號碼
(=>
(
and
(
instance
?REVERSE
Reversing
)
(
patient
?REVERSE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?REVERSE))
(
and
(
top
?TOP ?OBJ)
(
bottom
?BOTTOM ?OBJ))))
(
holdsDuring
(
EndFn
(
WhenFn
?REVERSE))
(
and
(
top
?BOTTOM ?OBJ)
(
bottom
?TOP ?OBJ))))
Mid-level-ontology.kif 17516-17521
例
Process
and
逆
患者
Process
and
Entity
持有期間
開始
何時
Process
and
上
entity
and
Entity
底部
entity
and
Entity
持有期間
結束
何時
Process
and
上
entity
and
Entity
底部
entity
and
Entity
(=>
(
and
(
instance
?TI
TimeInterval
)
(
equal
?S
(
BeginFn
?TI))
(
equal
?E
(
EndFn
?TI)))
(
before
?S ?E))
Merge.kif 8284-8289
例
TimeInterval
and
TimeInterval
等於
TimePoint
and
開始
TimeInterval
等於
TimePoint
and
結束
TimeInterval
之前
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 8291-8301
例
TimeInterval
and
TimeInterval
例
TimeInterval
and
TimeInterval
之前或相等
開始
TimeInterval
and
開始
TimeInterval
之前
開始
TimeInterval
and
結束
TimeInterval
暫時重疊
TimeInterval
and
TimeInterval
(=>
(
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 8712-8719
例
TimeInterval
and
年
Integer
例
TimeInterval
and
年
Integer
等於
TimePoint
and
開始
TimeInterval
等於
TimePoint
and
開始
TimeInterval
比較多
Integer
and
Integer
之前
TimePoint
and
TimePoint
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
Muscle
and
BodyPart
例
Object
and
Human
持有期間
TimeInterval
and
attribute
Object
and
StandardAnatomicalPosition
attribute
Object
and
Healthy
例
TimeInterval
and
MuscularContraction
期間
何時
TimeInterval
and
TimeInterval
例
Object
and
Muscle
部分
Object
and
Object
儀器
TimeInterval
and
Object
physicalEnd
Object
and
Object
空間的符合
Object
and
Object
持有期間
開始
TimeInterval
and
位於
Object
and
entity
持有期間
結束
TimeInterval
and
位於
Object
and
entity
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
Muscle
and
BodyPart
例
Object
and
Human
持有期間
TimeInterval
and
attribute
Object
and
StandardAnatomicalPosition
attribute
Object
and
Healthy
例
TimeInterval
and
MuscularContraction
期間
何時
TimeInterval
and
TimeInterval
例
Object
and
Muscle
部分
Object
and
Object
儀器
TimeInterval
and
Object
physicalEnd
Object
and
Object
空間的符合
Object
and
Object
持有期間
開始
TimeInterval
and
位於
Object
and
entity
持有期間
結束
TimeInterval
and
位於
Object
and
entity
(=>
(
and
(
patient
?PROCESS ?PATIENT)
(
time
?PATIENT
(
EndFn
(
WhenFn
?PROCESS)))
(
not
(
time
?PATIENT
(
BeginFn
(
WhenFn
?PROCESS)))))
(
instance
?PROCESS
Creation
))
Merge.kif 12826-12832
患者
Process
and
Physical
時間
Physical
and
結束
何時
Process
時間
Physical
and
開始
何時
Process
例
Process
and
Creation
(=>
(
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
(
resource
?PROC ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT2)))
(
greaterThan
?QUANT1 ?QUANT2))
Merge.kif 8047-8052
資源
Process
and
Object
持有期間
開始
何時
Process
and
測量
Object
and
RealNumber
持有期間
結束
何時
Process
and
測量
Object
and
RealNumber
比較多
RealNumber
and
RealNumber
(=>
(
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 8404-8406
之前
結束
TimeInterval
and
開始
TimeInterval
早期
TimeInterval
and
TimeInterval
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 8020-8027
等於
開始
TimeInterval
and
TimePoint
TimePoint
時間部分
TimePoint
and
TimeInterval
等於
TimePoint
and
TimePoint
之前
TimePoint
and
TimePoint
(=>
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
meetsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8361-8365
等於
結束
TimeInterval
and
開始
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1270-1284
TimeInterval
TimeInterval
TimeDuration
是
ComputerProgram
的
dependency
延遲
關機塊
是
ComputerProgram
的
dependency
類別
ComputerProgram
有 對
ComputerProgram
的依賴性
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
等於
何時
電腦程序
and
TimeInterval
等於
開始
TimeInterval
and
結束
TimeInterval
持續時間
TimeInterval
and
TimeDuration
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
StartupBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
starts
?Time2 ?Time)
(
equal
(
WhenFn
?Process1) ?Time1)
(
equal
(
EndFn
?Time)
(
BeginFn
?Time1))))
(
duration
?Time ?Delay))
QoSontology.kif 1254-1268
TimeInterval
TimeInterval
TimeDuration
是
ComputerProgram
的
dependency
延遲
啟動塊
是
ComputerProgram
的
dependency
類別
ComputerProgram
有 對
ComputerProgram
的依賴性
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
等於
何時
電腦程序
and
TimeInterval
等於
結束
TimeInterval
and
開始
TimeInterval
持續時間
TimeInterval
and
TimeDuration
(=>
(
temporallyBetweenOrEqual
(
BeginFn
(
WhenFn
?PHYS)) ?TIME
(
EndFn
(
WhenFn
?PHYS)))
(
and
(
time
?PHYS ?TIME)
(
instance
?TIME
TimePoint
)))
Merge.kif 8234-8243
暫時之間或等於
開始
何時
Physical
,
TimePoint
and
結束
何時
Physical
時間
Physical
and
TimePoint
例
TimePoint
and
TimePoint
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