modalAttribute
(=>
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A))
(
modalAttribute
(
causesProposition
(
exists
(?ANG)
(
and
(
instance
?ANG
Anger
)
(
experiencer
?ANG ?A)))
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A)))
Likely
))
emotion.kif 1945-1958
例
Process
and
AngryVoiceUtterance
agent
Process
and
AutonomousAgent
模態屬性
例
Process
and
AngryVoiceUtterance
agent
Process
and
AutonomousAgent
是
AutonomousAgent
NG
例
AutonomousAgent
NG and
憤怒
體驗者
AutonomousAgent
NG and
AutonomousAgent
的
causes
提議 and
容易
(=>
(
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
容易
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10577-10593
例
Object
and
BodySegment
例
Object
and
BodySegment
連接的
Object
and
Object
例
Motion
and
BodyMotion
移動
Motion
and
Object
模態屬性
Motion
例
Motion
and
BodyMotion
移動
Motion
and
Object
期間
何時
Motion
and
何時
Motion
and
可能性
(=>
(
and
(
instance
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceClosed
)))
(
holdsDuring
?T
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
ClimbingRope
)
(
contains
?C ?R)))
Possibility
)))
Mid-level-ontology.kif 30815-30826
例
Entity
and
Carabiner
持有期間
TimePosition
and
attribute
Entity
and
設備關閉
持有期間
TimePosition
and
模態屬性
entity
例
entity
and
ClimbingRope
包含
Entity
and
entity
and
可能性
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
例
Entity
and
COVIDAntibody
持有期間
TimePosition
and
attribute
entity
and
Covid19
部分
Entity
and
entity
持有期間
眼前的未來
TimePosition
and
模態屬性
attribute
entity
and
Covid19
and
較不可能
(=>
(
and
(
instance
?COMMIT
Committing
)
(
patient
?COMMIT ?FORMULA)
(
instance
?FORMULA
Formula
))
(
modalAttribute
?FORMULA
Promise
))
Merge.kif 13226-13231
例
Process
and
Committing
患者
Process
and
Formula
例
Formula
and
Formula
模態屬性
Formula
and
諾言
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
例
Object
and
Antidiuretic
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
例
TimeInterval
and
Urination
等於
TimeInterval
and
TimeInterval
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
早期
TimeInterval
and
Motion
早期
Motion
and
TimeInterval
例
UnitOfMeasure
and
UnitOfVolume
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10025-10046
例
Object
and
Diuretic
例
Motion
and
Ingesting
agent
Motion
and
AutonomousAgent
移動
Motion
and
Object
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
例
TimeInterval
and
Urination
結果
TimeInterval
and
Entity
agent
TimeInterval
and
AutonomousAgent
早期
TimeInterval
and
Motion
早期
Motion
and
TimeInterval
例
UnitOfMeasure
and
UnitOfVolume
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
測量
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
模態屬性
比較多
RealNumber
and
RealNumber
and
容易
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2600-2608
例
Process
and
塵暴
例
Object
and
GeographicArea
Process
是
located
在
Object
持有期間
何時
Process
and
模態屬性
attribute
Object
and
BadAirQuality
and
容易
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGAbnormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
attribute
?P
(
ImpairedBodyPartFn
Heart
))
Likely
))
Medicine.kif 1882-1891
例
Object
and
Electrocardiogram
attribute
Object
and
EKGAbnormal
參照
Object
and
Object
部分
Object
and
Object
例
Object
and
心
模態屬性
attribute
Object
and
ImpairedBodyPartFn
心
and
容易
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGNormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
not
(
attribute
?P
(
ImpairedBodyPartFn
Heart
)))
Likely
))
Medicine.kif 1865-1875
例
Object
and
Electrocardiogram
attribute
Object
and
EKGNormal
參照
Object
and
Object
部分
Object
and
Object
例
Object
and
心
模態屬性
attribute
Object
and
ImpairedBodyPartFn
心
and
容易
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
例
Process
and
Process
例
Human
and
AutonomousAgent
例
試驗
and
試驗
Human
是個
treated
used
在
試驗
Process
在
試驗
的
process
體驗者
Process
and
Human
體驗者
Process
and
Human
試驗
causes
Process
試驗
ERIMENTER
例
試驗
ERIMENTER and
AutonomousAgent
試驗
ERIMENTER 是在
試驗
的
experimenter
相信
試驗
ERIMENTER and
模態屬性
原因
Process
and
Process
and
容易
(=>
(
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 1598-1608
例
Process
and
洪水
例
Object
and
LandArea
Process
是
located
在
Object
例
TimePoint
and
TimePoint
之前
TimePoint
and
何時
Process
模態屬性
持有期間
TimePoint
and
例
Object
and
淹沒的土地面積
and
較不可能
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
例
TelecomNumber
and
Hotline
TelecomNumber
是
AutonomousAgent
的
telephone
number
例
AutonomousAgent
and
Organization
有目的
TelecomNumber
and
entity
例
entity
and
致電
目的地
entity
and
AutonomousAgent
模態屬性
entity
例
entity
and
Communication
儀器
entity
and
TelecomNumber
等於
開始
何時
entity
and
開始
眼前的未來
何時
entity
and
容易
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
例
Process
and
AtmosphericHazing
例
Object
and
GeographicArea
Process
是
located
在
Object
持有期間
何時
Process
and
模態屬性
attribute
Object
and
BadAirQuality
and
容易
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
例
Process
and
Impacting
患者
Process
and
Entity
持有期間
眼前的未來
Process
and
attribute
Entity
and
ImpairedBodyPartFn
腦
模態屬性
持有期間
眼前的未來
Process
and
attribute
Entity
and
Concussion
and
容易
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
例
Transfer
and
Ingesting
體驗者
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
例
Object
and
Object
C
pathologicSideEffect
Object
C and
Object
IS
模態屬性
entity
例
entity
and
Object
IS
體驗者
AutonomousAgent
and
entity
and
容易
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
sideEffect
?DC ?DIS))
(
modalAttribute
(
attribute
?H ?DIS)
Likely
))
WMD.kif 1545-1554
例
Transfer
and
Ingesting
體驗者
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
例
Object
and
Object
C
Object
IS 是服用
Object
C 的
side
effect
模態屬性
attribute
AutonomousAgent
and
Object
IS and
容易
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9774-9795
例
Transfer
and
Ingesting
體驗者
Transfer
and
AutonomousAgent
objectTransferred
Transfer
and
Object
例
Object
and
MoodStabilizer
例
Process
and
Process
C
AutonomousAgent
是事件
Process
的
involved
持有期間
何時
Process
and
attribute
AutonomousAgent
and
Process
S
例
Process
S and
EmotionalState
例
Process
2 and
Process
C
AutonomousAgent
是事件
Process
2 的
involved
早期
何時
Process
2 and
何時
Transfer
模態屬性
持有期間
Process
2 and
attribute
AutonomousAgent
and
Process
S and
較不可能
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
例
Transfer
and
Ingesting
objectTransferred
Transfer
and
Object
例
Object
and
迷幻劑
目的地
Transfer
and
Entity
模態屬性
Object
AL
例
Object
AL and
Hallucination
體驗者
Object
AL and
Entity
and
容易
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
例
Transfer
and
注射
例
Object
and
Adalimumab
objectTransferred
Transfer
and
Object
位於
Transfer
and
Object
例
Object
and
BodyPart
目的地
Transfer
and
Entity
模態屬性
entity
持有期間
entity
and
attribute
Entity
and
PainFn
Object
期間
entity
and
未來
何時
Transfer
and
容易
(=>
(
and
(
instance
?I
Intestine
)
(
instance
?A
Animal
)
(
part
?I ?A))
(
modalAttribute
(
exists
(?E)
(
and
(
instance
?E
EscherichiaColi
)
(
contains
?I ?E)))
Likely
))
Medicine.kif 5490-5500
例
Object
and
腸
例
Object
and
Animal
部分
Object
and
Object
模態屬性
entity
例
entity
and
EscherichiaColi
包含
Object
and
entity
and
容易
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
例
Object
and
LeafSpring
部分
Object
and
Object
例
Object
and
公路車輛
模態屬性
Object
例
Object
and
LeafSpring
部分
Object
and
Object
等於
Object
and
Object
空間的符合
Object
and
Object
and
容易
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
例
Process
and
Lupus
體驗者
Process
and
AutonomousAgent
模態屬性
entity
例
entity
and
SkinRash
體驗者
entity
and
AutonomousAgent
and
容易
(=>
(
and
(
instance
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
例
SelfConnectedObject
and
LiquidDrop
表面
SelfConnectedObject
and
SelfConnectedObject
模態屬性
SelfConnectedObject
S
entity
例
entity
and
Substance
attribute
entity
and
液體
等於
SelfConnectedObject
and
entity
表面
SelfConnectedObject
S and
entity
空間的符合
SelfConnectedObject
and
SelfConnectedObject
S 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