ImmediateFutureFn
(=>
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
attribute
?A
Injury
)))
Medicine.kif 104-111
例
Process
and
Injuring
體驗者
Process
and
AutonomousAgent
持有期間
眼前的未來
何時
Process
and
attribute
AutonomousAgent
and
Injury
(=>
(
and
(
instance
?IRRIGATION
Irrigating
)
(
patient
?IRRIGATION ?AREA)
(
instance
?AREA
LandArea
))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Dry
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?IRRIGATION))
(
attribute
?AREA
Damp
))))
Geography.kif 5711-5718
例
Process
and
灌溉
患者
Process
and
Entity
例
Entity
and
LandArea
持有期間
不久的過去
何時
Process
and
attribute
Entity
and
乾
持有期間
眼前的未來
何時
Process
and
attribute
Entity
and
潮濕
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?JOIN))
(
employs
?ORG ?PERSON)))
Merge.kif 10620-10629
例
Process
and
Hiring
例
AutonomousAgent
and
Organization
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
眼前的未來
何時
Process
and
採用
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Kill))
(
not
(
attribute
?Order
ActiveAgreement
))))
FinancialOntology.kif 2835-2842
例
Process
and
取消訂單
患者
Process
and
Entity
持有期間
眼前的未來
何時
Process
and
attribute
Entity
and
ActiveAgreement
(=>
(
and
(
instance
?Loan
CallableLoan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
totalBalance
?Loan ?Amount)
(
instance
?Call
Call
)
(
agent
?Call ?Lender)
(
patient
?Call ?Loan))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
destination
?Payment ?Lender)
(
time
?Payment
(
ImmediateFutureFn
(
WhenFn
?Call)))
(
transactionAmount
?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1428-1443
例
貸款
and
可贖回貸款
CognitiveAgent
lends
貸款
貸款
是
CognitiveAgent
的
borrower
CurrencyMeasure
是
貸款
的
total
存款
例
Process
and
呼叫
agent
Process
and
CognitiveAgent
患者
Process
and
貸款
持有義務
卡帕
SymbolicString
and
目的地
SymbolicString
and
CognitiveAgent
時間
SymbolicString
and
眼前的未來
何時
Process
CurrencyMeasure
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
and
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Security)
(
lender
?Loan ?Bank)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Loan))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Bank ?Security)))
FinancialOntology.kif 1334-1343
例
貸款
and
貸款
抵押
是
貸款
的
secured
CognitiveAgent
lends
貸款
例
Process
and
財務違約
患者
Process
and
貸款
持有期間
眼前的未來
何時
Process
and
擁有
CognitiveAgent
and
抵押
(=>
(
and
(
instance
?MB
MeasuringBreathing
)
(
agent
?MB ?A)
(
instance
?L
Lung
)
(
part
?L ?P)
(
instance
?T
TimeInterval
)
(
during
?T
(
WhenFn
?MB))
(
duration
?T
MinuteDuration
)
(
patient
?MB ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MB))
(
exists
(?BR)
(
knows
?A
(
breathingRate
?L ?T ?BR)))))
Medicine.kif 466-482
例
Process
and
MeasuringBreathing
agent
Process
and
AutonomousAgent
例
Object
and
肺
部分
Object
and
Object
例
TimeInterval
and
TimeInterval
期間
TimeInterval
and
何時
Process
持續時間
TimeInterval
and
分鐘
患者
Process
and
Object
持有期間
眼前的未來
何時
Process
and
entity
知道
AutonomousAgent
and
breathingRate
Object
,
TimeInterval
and
entity
(=>
(
and
(
instance
?MIT
BarMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Boy
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 69-85
例
Process
and
BarMitzvah
患者
Process
and
Human
例
Human
and
男孩
會員
Human
and
Collection
例
Collection
and
猶太教
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Integer
3
TimePosition
例
Integer
3 and
Integer
等於
Integer
3 and
加成
Integer
and 13
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
3
等於
何時
Process
and
眼前的未來
TimePosition
(=>
(
and
(
instance
?MIT
BatMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Girl
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 99-115
例
Process
and
BatMitzvah
患者
Process
and
Human
例
Human
and
女孩
會員
Human
and
Collection
例
Collection
and
猶太教
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Integer
3
TimePosition
例
Integer
3 and
Integer
等於
Integer
3 and
加成
Integer
and 13
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
3
等於
何時
Process
and
眼前的未來
TimePosition
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))))
emotion.kif 1393-1411
例
Process
and
MovingAwayFromPeople
agent
Process
and
AutonomousAgent
Entity
Entity
,
RealNumber
and
RealNumber
例
Entity
and
Human
例
Entity
and
UnitOfLength
持有期間
不久的過去
何時
Process
and
距離
Process
,
AutonomousAgent
and
測量
RealNumber
and
Entity
持有期間
眼前的未來
何時
Process
and
距離
Process
,
AutonomousAgent
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D1 ?D2))))
emotion.kif 1427-1445
例
Process
and
MovingTowardsPeople
agent
Process
and
AutonomousAgent
Entity
Entity
,
RealNumber
and
RealNumber
例
Entity
and
Human
例
Entity
and
UnitOfLength
持有期間
不久的過去
何時
Process
and
距離
Process
,
AutonomousAgent
and
測量
RealNumber
and
Entity
持有期間
眼前的未來
何時
Process
and
距離
Process
,
AutonomousAgent
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21432-21443
例
Process
and
Nausea
體驗者
Process
and
CognitiveAgent
相信
CognitiveAgent
and
持有期間
眼前的未來
何時
Process
and
entity
例
entity
and
Vomiting
體驗者
entity
and
CognitiveAgent
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17638-17656
例
TimeInterval
and
拉
起源
TimeInterval
and
Object
agent
TimeInterval
and
AutonomousAgent
持有期間
開始
TimeInterval
and
位於
AutonomousAgent
and
AutonomousAgent
LOC
目的地
TimeInterval
and
Entity
持有期間
眼前的未來
開始
TimeInterval
and
entity
entity
and
entity
距離
AutonomousAgent
LOC,
Entity
and
測量
entity
and
entity
距離
AutonomousAgent
LOC,
Object
and
測量
entity
and
entity
比較多
entity
and
entity
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17616-17634
例
TimeInterval
and
Pushing
起源
TimeInterval
and
Object
agent
TimeInterval
and
AutonomousAgent
持有期間
開始
TimeInterval
and
位於
AutonomousAgent
and
AutonomousAgent
LOC
目的地
TimeInterval
and
Entity
持有期間
眼前的未來
開始
TimeInterval
and
entity
entity
and
entity
距離
AutonomousAgent
LOC,
Entity
and
測量
entity
and
entity
距離
AutonomousAgent
LOC,
Object
and
測量
entity
and
entity
比較多
entity
and
entity
(=>
(
and
(
instance
?PROCESS
FreezingRain
)
(
patient
?PROCESS ?STUFF)
(
instance
?STUFF
Water
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?PROCESS))
(
attribute
?STUFF
Solid
)))
Weather.kif 1091-1096
例
Process
and
凍雨
患者
Process
and
Entity
例
Entity
and
Water
持有期間
眼前的未來
何時
Process
and
attribute
Entity
and
固體
(=>
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
例
FinancialTransaction
and
付款
起源
FinancialTransaction
and
金融賬戶
的
currency
例
金融賬戶
and
金融賬戶
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
金融賬戶
對於 %3 的
current
帳戶存款
等於
RealNumber
and
減法
RealNumber
and
RealNumber
金融賬戶
對於 %3 的
current
帳戶存款
(=>
(
and
(
instance
?R
RelievingPain
)
(
patient
?R ?H))
(
and
(
exists
(?P1)
(
and
(
overlapsTemporally
(
WhenFn
?P1)
(
ImmediatePastFn
(
WhenFn
?R)))
(
instance
?P1
Pain
)
(
located
?P1 ?H)))
(
not
(
exists
(?P2)
(
and
(
overlapsTemporally
(
WhenFn
?P2)
(
ImmediateFutureFn
(
WhenFn
?R)))
(
instance
?P2
Pain
)
(
located
?P2 ?H))))))
Mid-level-ontology.kif 5779-5798
例
Process
and
緩解疼痛
患者
Process
and
Object
Physical
暫時重疊
何時
Physical
and
不久的過去
何時
Process
例
Physical
and
痛
位於
Physical
and
Object
Physical
暫時重疊
何時
Physical
and
眼前的未來
何時
Process
例
Physical
and
痛
位於
Physical
and
Object
(=>
(
and
(
instance
?SINKING
LandSubsidence
)
(
patient
?SINKING ?LAND)
(
instance
?LAND
LandArea
)
(
instance
?U
UnitOfLength
)
(
elevation
?LAND
(
MeasureFn
?HEIGHT1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SINKING))
(
exists
(?HEIGHT2)
(
and
(
elevation
?LAND
(
MeasureFn
?HEIGHT2 ?U))
(
lessThan
?HEIGHT2 ?HEIGHT1)))))
Geography.kif 6779-6792
例
Process
and
地面沉降
患者
Process
and
Object
例
Object
and
LandArea
例
UnitOfMeasure
and
UnitOfLength
測量
RealNumber
and
UnitOfMeasure
是
Object
的
elevation
持有期間
眼前的未來
何時
Process
and
entity
測量
entity
and
UnitOfMeasure
是
Object
的
elevation
少於
entity
and
RealNumber
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
exists
(?VAC)
(
and
(
instance
?VAC
Vaccine
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?V)
(
contains
?H ?VAC))))))
WMD.kif 1071-1081
例
Process
and
Vaccination
體驗者
Process
and
AutonomousAgent
Process
AC
例
Process
AC and
Vaccine
持有期間
眼前的未來
何時
Process
and
包含
AutonomousAgent
and
Process
AC
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
例
Object
and
VentedChestSeal
例
Transfer
and
Attaching
objectTransferred
Transfer
and
Object
目的地
Transfer
and
Entity
有目的
Object
and
Transfer
entity
,
entity
and
Entity
例
Transfer
and
空氣
例
entity
and
肺
例
entity
and
Chest
部分
entity
and
Entity
部分
entity
and
Entity
持有期間
不久的過去
何時
Transfer
and
之間
entity
,
Transfer
and
entity
有目的
Object
and
持有期間
眼前的未來
何時
Transfer
and
方位
Transfer
,
Entity
and
外
(=>
(
and
(
instance
?WEARING
Erosion
)
(
instance
?LAND
LandForm
)
(
patient
?WEARING ?LAND)
(
instance
?U
UnitOfVolume
)
(
measure
?LAND
(
MeasureFn
?SIZE1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WEARING))
(
exists
(?SIZE2)
(
and
(
measure
?LAND
(
MeasureFn
?SIZE2 ?U))
(
lessThan
?SIZE2 ?SIZE1)))))
Geography.kif 2689-2702
例
Process
and
侵蝕
例
Physical
and
土地形式
患者
Process
and
Physical
例
UnitOfMeasure
and
UnitOfVolume
測量
Physical
and
測量
RealNumber
and
UnitOfMeasure
持有期間
眼前的未來
何時
Process
and
entity
測量
Physical
and
測量
entity
and
UnitOfMeasure
少於
entity
and
RealNumber
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
例
FinancialTransaction
and
退出
例
金融賬戶
and
金融賬戶
起源
FinancialTransaction
and
金融賬戶
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
金融賬戶
對於 %3 的
current
帳戶存款
等於
RealNumber
and
減法
RealNumber
and
RealNumber
金融賬戶
對於 %3 的
current
帳戶存款
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
例
Entity
and
ReadOnlyMemoryDataStorage
例
Process
and
Manufacture
結果
Process
and
Entity
模態屬性
entity
entity
and
entity
例
entity
and
ContentDevelopment
例
entity
and
DeletingData
早期
何時
Process
and
何時
entity
患者
entity
and
Entity
患者
entity
and
entity
持有期間
眼前的未來
何時
entity
and
entity
是
stored
在
Entity
and
可能性
(=>
(
and
(
lifeStageAchieved
?BDE ?LST)
(
experiencer
?BDE ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?BDE))
(
instance
?OBJ ?LST)))
VirusProteinAndCellPart.kif 228-235
DevelopmentalAttribute
是
BiologicalProcess
的
life
完成的階段
體驗者
BiologicalProcess
and
AutonomousAgent
持有期間
眼前的未來
何時
BiologicalProcess
and
例
AutonomousAgent
and
DevelopmentalAttribute
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
擁有
AutonomousAgent
and
Object
測量
Object
and
測量
RealNumber
and
ShareUnit
股票分割
是 對於
Integer
和
Integer
的
split
持有期間
眼前的未來
何時
股票分割
and
等於
entity
and
乘法
RealNumber
and
Integer
等於
entity
and
部
entity
and
Integer
測量
Object
and
測量
entity
and
ShareUnit
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