patient
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHSCREEN)
(
instance
?TOUCHSCREEN
ComputerTouchscreen
))
(
instance
?ACT
ScreenTouchAction
))
ComputerInput.kif 1594-1599
例
Process
and
UserDirectAction
患者
Process
and
Entity
例
Entity
and
ComputerTouchscreen
例
Process
and
ScreenTouchAction
(=>
(
and
(
instance
?ACT
UserDirectAction
)
(
patient
?ACT ?TOUCHSURF)
(
instance
?TOUCHSURF
TouchSensitiveComputerInputDevice
))
(
instance
?ACT
TouchSurfaceAction
))
ComputerInput.kif 1545-1550
例
Process
and
UserDirectAction
患者
Process
and
Entity
例
Entity
and
TouchSensitiveComputerInputDevice
例
Process
and
TouchSurfaceAction
(=>
(
and
(
instance
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12678-12691
例
Process
and
ShapeChange
患者
Process
and
Entity
Entity
例
Entity
and
ShapeAttribute
持有期間
開始
何時
Process
and
attribute
Entity
and
Entity
持有期間
結束
何時
Process
and
attribute
Entity
and
Entity
持有期間
開始
何時
Process
and
attribute
Entity
and
Entity
持有期間
結束
何時
Process
and
attribute
Entity
and
Entity
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12638-12651
例
Process
and
SurfaceChange
患者
Process
and
Object
Object
entity
膚淺的部分
Object
and
Object
持有期間
開始
何時
Process
and
attribute
Object
and
entity
持有期間
結束
何時
Process
and
attribute
Object
and
entity
持有期間
開始
何時
Process
and
attribute
Object
and
entity
持有期間
結束
何時
Process
and
attribute
Object
and
entity
(=>
(
and
(
instance
?APR
AirPhotographicReconnaissance
)
(
agent
?APR ?AGENT)
(
patient
?APR ?HOSTILE))
(
exists
(?PHOTOGRAPHING)
(
and
(
instance
?PHOTOGRAPHING
Photographing
)
(
subProcess
?PHOTOGRAPHING ?APR)
(
agent
?PHOTOGRAPHING ?AGENT)
(
patient
?PHOTOGRAPHING ?HOSTILE))))
MilitaryProcesses.kif 753-763
例
Process
and
航空攝影偵察
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
Process
例
Process
and
拍攝
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
例
Process
and
武裝偵察
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
持有期間
何時
Process
and
enemy
CognitiveAgent
and
Entity
賦予權利
entity
例
entity
and
攻擊
agent
entity
and
CognitiveAgent
患者
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ARTERY
Artery
)
(
instance
?TRANSFER
Transfer
)
(
patient
?TRANSFER ?BLOOD)
(
instrument
?TRANSFER ?ARTERY)
(
instance
?BLOOD
Blood
))
(
exists
(?HEART)
(
and
(
instance
?HEART
Heart
)
(
origin
?TRANSFER ?HEART))))
Mid-level-ontology.kif 11107-11117
例
Object
and
動脈
例
Process
and
Transfer
患者
Process
and
Entity
儀器
Process
and
Object
例
Entity
and
Blood
Object
例
Object
and
心
起源
Process
and
Object
(=>
(
and
(
instance
?ARTERY
PulmonaryArtery
)
(
instance
?TRANSFER
Transfer
)
(
patient
?TRANSFER ?BLOOD)
(
instrument
?TRANSFER ?ARTERY)
(
instance
?BLOOD
Blood
))
(
exists
(?LUNG)
(
and
(
instance
?LUNG
Lung
)
(
destination
?TRANSFER ?LUNG))))
Mid-level-ontology.kif 11140-11150
例
Object
and
肺動脈
例
Process
and
Transfer
患者
Process
and
Entity
儀器
Process
and
Object
例
Entity
and
Blood
Entity
例
Entity
and
肺
目的地
Process
and
Entity
(=>
(
and
(
instance
?AS
AutomobileShock
)
(
instance
?C
Compressing
)
(
instance
?H
HoleRegion
)
(
attribute
?F
Fluid
)
(
equal
?AS
(
HoleHostFn
?H))
(
contains
?AS ?F)
(
patient
?C ?AS))
(
exists
(?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?F)
(
path
?T ?H)
(
causes
?C ?T))))
Cars.kif 871-885
例
SelfConnectedObject
and
AutomobileShock
例
Process
and
Compressing
例
HoleRegion
and
HoleRegion
attribute
Object
and
流體
等於
SelfConnectedObject
and
洞主持人
HoleRegion
包含
SelfConnectedObject
and
Object
患者
Process
and
SelfConnectedObject
Transfer
例
Transfer
and
Transfer
objectTransferred
Transfer
and
Object
路徑
Transfer
and
HoleRegion
原因
Process
and
Transfer
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
例
Process
and
防表面操作
患者
Process
and
Entity
持有期間
何時
Process
and
位於
Entity
and
Entity
例
Entity
and
WaterArea
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?OBJ
Object
)
(
patient
?ATC ?OBJ)
(
agent
?ATC ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
webcart
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?ATC))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1326-1342
例
TimeInterval
and
AddToCart
例
Entity
and
Object
患者
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
Collection
WebSite
,
TimePosition
and
TimeInterval
例
Collection
and
Collection
例
WebSite
and
WebSite
例
TimeInterval
and
TimeInterval
使用者
AutonomousAgent
在
WebSite
有
cart
Collection
等於
開始
TimeInterval
and
結束
TimeInterval
持有期間
TimePosition
and
會員
Entity
and
Collection
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?USER
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?ATC ?USER)
(
patient
?ATC ?OBJ))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 1312-1324
例
Process
and
AddToCart
例
CognitiveAgent
and
AutonomousAgent
例
Entity
and
Object
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
慾望
CognitiveAgent
and
entity
例
entity
and
Buying
患者
entity
and
Entity
agent
entity
and
CognitiveAgent
(=>
(
and
(
instance
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12382-12389
例
Process
and
Attaching
患者
Process
and
Entity
患者
Process
and
Entity
持有期間
開始
何時
Process
and
連接的
Entity
and
Entity
持有期間
結束
何時
Process
and
連接的
Entity
and
Entity
(=>
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?OBJ))
(
hasPurposeForAgent
?ATTACK
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ))) ?AGENT))
Merge.kif 13431-13440
例
Process
and
攻擊
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
有代理人的目的
Process
,
entity
例
entity
and
Damaging
患者
entity
and
Entity
and
AutonomousAgent
(=>
(
and
(
instance
?ATTACK
BiochemicalAttack
)
(
patient
?ATTACK ?OBJ))
(
instance
?OBJ
Organism
))
WMD.kif 64-68
例
Process
and
生化攻擊
患者
Process
and
Entity
例
Entity
and
Organism
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
AutonomousAgent
)
(
instance
?BIDDER2
AutonomousAgent
)
(
instance
?ITEM
Object
)
(
instance
?U
UnitOfCurrency
)
(
patient
?AUCTIONING ?ITEM)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER1 ?U) ?BIDDER1)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER2 ?U) ?BIDDER2)
(
greaterThan
?OFFER1 ?OFFER2))
(
destination
?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 354-365
例
Process
and
Auctioning
例
AutonomousAgent
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
例
Object
and
Object
例
UnitOfMeasure
and
UnitOfCurrency
患者
Process
and
Object
AutonomousAgent
bids
測量
RealNumber
and
UnitOfMeasure
對於
Object
AutonomousAgent
bids
測量
RealNumber
and
UnitOfMeasure
對於
Object
比較多
RealNumber
and
RealNumber
目的地
Process
and
AutonomousAgent
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?ITEM
Object
)
(
patient
?AUCTIONING ?ITEM))
(
exists
(?BIDDER ?OFFER)
(
and
(
instance
?BIDDER
AutonomousAgent
)
(
instance
?OFFER
CurrencyMeasure
)
(
bidPrice
?ITEM ?OFFER ?BIDDER))))
UXExperimentalTerms.kif 343-352
例
Process
and
Auctioning
例
Object
and
Object
患者
Process
and
Object
AutonomousAgent
CurrencyMeasure
例
AutonomousAgent
and
AutonomousAgent
例
CurrencyMeasure
and
CurrencyMeasure
AutonomousAgent
bids
CurrencyMeasure
對於
Object
(=>
(
and
(
instance
?B
Baptizing
)
(
patient
?B ?H))
(
instance
?H
Human
))
Mid-level-ontology.kif 7996-8000
例
Process
and
施洗
患者
Process
and
Entity
例
Entity
and
Human
(=>
(
and
(
instance
?B
Bathing
)
(
patient
?B ?A))
(
instance
?A
Animal
))
Mid-level-ontology.kif 8861-8865
例
Process
and
洗澡
患者
Process
and
Entity
例
Entity
and
Animal
(=>
(
and
(
instance
?B
Biopsy
)
(
patient
?B ?BS))
(
instance
?BS
BodySubstance
))
Mid-level-ontology.kif 24088-24092
例
Process
and
活檢
患者
Process
and
Process
S
例
Process
S and
BodySubstance
(=>
(
and
(
instance
?B
Blade
)
(
instance
?CUT
Cutting
)
(
instance
?OBJ
Object
)
(
instrument
?CUT ?B)
(
patient
?CUT ?OBJ))
(
meetsSpatially
?B ?OBJ))
Mid-level-ontology.kif 22017-22024
例
Object
and
刀片
例
Process
and
Cutting
例
Object
and
Object
儀器
Process
and
Object
患者
Process
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
instance
?B
Boarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
onboard
?A ?V))))
Mid-level-ontology.kif 17385-17396
例
Process
and
登機
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
AutonomousAgent
是
onboard
Entity
持有期間
結束
何時
Process
and
AutonomousAgent
是
onboard
Entity
(=>
(
and
(
instance
?B
Boarding
)
(
patient
?B ?V))
(
instance
?V
Vehicle
))
Mid-level-ontology.kif 17379-17383
例
Process
and
登機
患者
Process
and
Entity
例
Entity
and
車輛
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
例
Process
and
Braking
患者
Process
and
Entity
持有期間
不久的過去
何時
Process
and
等於
測量
RealNumber
and
MilesPerHour
and
AccelerationFn
entity
,
entity
,
Entity
and
entity
持有期間
眼前的未來
何時
Process
and
等於
測量
RealNumber
and
MilesPerHour
and
AccelerationFn
entity
,
entity
,
Entity
and
entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
例
Process
and
Buying
患者
Process
and
Entity
起源
Process
and
CognitiveAgent
Entity
的
price
從
CognitiveAgent
根據
PricingScheme
是
CurrencyMeasure
unit
price
已收費
CognitiveAgent
在
PricingScheme
底下 對於
FunctionQuantity
是
Entity
子類
Entity
and
Physical
立即實例
Entity
and
Entity
付款
是
valid
payment
在
PricingScheme
底下
模態屬性
付款
MENT
例
付款
MENT and
付款
子過程
付款
MENT and
Process
and
容易
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