Likely
(容易)
(=>
(
attribute
?MR
HipHopMusic
)
(
modalAttribute
(
exists
(?MM ?S)
(
and
(
record
?MR ?MM)
(
instance
?S
Speaking
)
(
subProcess
?S ?MM)))
Likely
))
Music.kif 727-734
attribute
Object
and
HipHopMusic
模態屬性
entity
entity
Object
是個
entity
的
record
例
entity
and
說話
子過程
entity
and
entity
and
容易
(=>
(
attribute
?MR
IndieMusic
)
(
modalAttribute
(
not
(
exists
(?R)
(
recordingCompany
?MR ?R)))
Likely
))
Music.kif 741-746
attribute
Object
and
IndieMusic
模態屬性
entity
entity
produces
Object
and
容易
(=>
(
attribute
?O
Translucent
)
(
modalAttribute
(
not
(
exists
(?S ?A ?D)
(
and
(
instance
?S
Seeing
)
(
agent
?S ?A)
(
destination
?S ?D)
(
between
?O ?A ?D))))
Likely
))
Mid-level-ontology.kif 15140-15150
attribute
Object
and
Translucent
模態屬性
entity
entity
and
entity
例
entity
and
Seeing
agent
entity
and
entity
目的地
entity
and
entity
之間
Object
,
entity
and
entity
and
容易
(=>
(
attribute
?X
CommunalAttribute
)
(
modalAttribute
(
not
(
attribute
?X
PrivateAttribute
))
Likely
))
Mid-level-ontology.kif 27175-27178
attribute
Object
and
CommunalAttribute
模態屬性
attribute
Object
and
PrivateAttribute
and
容易
(=>
(
attribute
?X
PrivateAttribute
)
(
modalAttribute
(
not
(
attribute
?X
CommunalAttribute
))
Likely
))
Mid-level-ontology.kif 27170-27173
attribute
Object
and
PrivateAttribute
模態屬性
attribute
Object
and
CommunalAttribute
and
容易
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
modalAttribute
(
not
(
exists
(?BROWSER2)
(
and
(
instance
?BROWSER2
WebBrowser
)
(
browserID
?STRING ?BROWSER2 ?SITE))))
Likely
))
UXExperimentalTerms.kif 750-758
Identifier
是
WebBrowser
的
ID
當取用
WebSite
模態屬性
WebBrowser
2
例
WebBrowser
2 and
WebBrowser
Identifier
是
WebBrowser
2 的
ID
當取用
WebSite
and
容易
(=>
(
dayPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 6)
(
lessThan
?Num 18)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3691-3711
AutonomousAgent
是
SymbolicString
的
day
電話
電話
entity
and
RealNumber
電話
是
SymbolicString
的
phone
號碼
比較多
RealNumber
and 6
少於
RealNumber
and 18
持有期間
例
entity
and
小時
RealNumber
and
Day
and
entity
例
entity
and
致電
目的地
entity
and
AutonomousAgent
患者
entity
and
電話
擁有
AutonomousAgent
and
電話
模態屬性
entity
例
entity
and
回答中
子過程
entity
and
entity
agent
entity
and
AutonomousAgent
and
容易
(=>
(
eveningPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 18)
(
lessThan
?Num 6)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3735-3755
AutonomousAgent
是
SymbolicString
的
evening
電話
電話
entity
and
RealNumber
電話
是
SymbolicString
的
phone
號碼
比較多
RealNumber
and 18
少於
RealNumber
and 6
持有期間
例
entity
and
小時
RealNumber
and
Day
and
entity
例
entity
and
致電
目的地
entity
and
AutonomousAgent
患者
entity
and
電話
擁有
AutonomousAgent
and
電話
模態屬性
entity
例
entity
and
回答中
子過程
entity
and
entity
agent
entity
and
AutonomousAgent
and
容易
(=>
(
habitatOfOrganism
?O ?L)
(
modalAttribute
(
exists
(?OI)
(
and
(
instance
?OI ?O)
(
inhabits
?OI ?L)))
Likely
))
Mid-level-ontology.kif 30388-30395
Organism
inhabits
GeographicArea
模態屬性
Organism
I
例
Organism
I and
Organism
棲息
Organism
I and
GeographicArea
and
容易
(=>
(
hasUniform
?GRP ?UNIFORM)
(
modalAttribute
(
exists
(?PERS ?CLOTHING ?TIME)
(
and
(
member
?PERS ?GRP)
(
instance
?CLOTHING ?UNIFORM)
(
holdsDuring
?TIME
(
wears
?PERS ?CLOTHING))))
Likely
))
Mid-level-ontology.kif 26675-26683
Group
有
uniform
UniformClothing
模態屬性
entity
entity
and
entity
會員
entity
and
Group
例
entity
and
UniformClothing
持有期間
entity
and
穿
entity
and
entity
and
容易
(=>
(
holdsDuring
?T
(
and
(
maxDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3629-3642
持有期間
TimePosition
and
maxDeviceOperatingTemp
entity
and
測量
TimePosition
and
entity
例
entity
and
UnitOfTemperature
位於
entity
and
entity
attribute
entity
and
設備上
測量
TimePosition
and
entity
是
entity
的
air
溫度
比較多
TimePosition
and
TimePosition
模態屬性
持有期間
眼前的未來
TimePosition
and
attribute
entity
and
DeviceDamaged
and
容易
(=>
(
holdsDuring
?T
(
and
(
maxDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3657-3670
持有期間
TimePosition
and
maxDeviceStorageTemp
entity
and
測量
TimePosition
and
entity
例
entity
and
UnitOfTemperature
位於
entity
and
entity
attribute
entity
and
設備關閉
測量
TimePosition
and
entity
是
entity
的
air
溫度
比較多
TimePosition
and
TimePosition
模態屬性
持有期間
眼前的未來
TimePosition
and
attribute
entity
and
DeviceDamaged
and
容易
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
持有期間
TimePosition
and
minDeviceOperatingTemp
entity
and
測量
TimePosition
and
entity
例
entity
and
UnitOfTemperature
位於
entity
and
entity
attribute
entity
and
設備上
測量
TimePosition
and
entity
是
entity
的
air
溫度
少於
TimePosition
and
TimePosition
模態屬性
持有期間
眼前的未來
TimePosition
and
attribute
entity
and
DeviceDamaged
and
容易
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
持有期間
TimePosition
and
minDeviceStorageTemp
entity
and
測量
TimePosition
and
entity
例
entity
and
UnitOfTemperature
位於
entity
and
entity
attribute
entity
and
設備關閉
測量
TimePosition
and
entity
是
entity
的
air
溫度
少於
TimePosition
and
TimePosition
模態屬性
持有期間
眼前的未來
TimePosition
and
attribute
entity
and
DeviceDamaged
and
容易
(=>
(
holdsDuring
?T
(
attribute
?A
Anger
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
AngryFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1244-1253
持有期間
TimePosition
and
attribute
entity
and
憤怒
模態屬性
entity
例
entity
and
AngryFacialExpression
體驗者
entity
and
entity
期間
何時
entity
and
TimePosition
and
容易
(=>
(
holdsDuring
?T
(
attribute
?A
Disgust
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
DisgustedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1262-1271
持有期間
TimePosition
and
attribute
entity
and
Disgust
模態屬性
entity
例
entity
and
DisgustedFacialExpression
體驗者
entity
and
entity
期間
何時
entity
and
TimePosition
and
容易
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
believes
?A
(
modalAttribute
(
exists
(?P)
(
and
(
not
(
wants
?A ?P))
(
before
?T
(
WhenFn
?P))))
Likely
)))
emotion.kif 1025-1036
持有期間
TimePosition
and
attribute
CognitiveAgent
and
Fear
相信
CognitiveAgent
and
模態屬性
entity
想要
CognitiveAgent
and
entity
之前
TimePosition
and
何時
entity
and
容易
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
FearfulFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1344-1353
持有期間
TimePosition
and
attribute
entity
and
Fear
模態屬性
entity
例
entity
and
FearfulFacialExpression
體驗者
entity
and
entity
期間
何時
entity
and
TimePosition
and
容易
(=>
(
holdsDuring
?T
(
attribute
?A
Happiness
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
HappyFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1226-1235
持有期間
TimePosition
and
attribute
entity
and
幸福
模態屬性
entity
例
entity
and
HappyFacialExpression
體驗者
entity
and
entity
期間
何時
entity
and
TimePosition
and
容易
(=>
(
holdsDuring
?T
(
attribute
?A
Sadness
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SadFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1325-1334
持有期間
TimePosition
and
attribute
entity
and
Sadness
模態屬性
entity
例
entity
and
SadFacialExpression
體驗者
entity
and
entity
期間
何時
entity
and
TimePosition
and
容易
(=>
(
holdsDuring
?T
(
attribute
?A
Surprise
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SurprisedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1281-1290
持有期間
TimePosition
and
attribute
entity
and
驚喜
模態屬性
entity
例
entity
and
SurprisedFacialExpression
體驗者
entity
and
entity
期間
何時
entity
and
TimePosition
and
容易
(=>
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Eardrum
)))
(
modalAttribute
(
not
(
exists
(?HEAR)
(
and
(
instance
?HEAR
Hearing
)
(
during
(
WhenFn
?HEAR) ?T)
(
experiencer
?HEAR ?H))))
Likely
))
Anatomy.kif 1645-1656
持有期間
TimePosition
and
attribute
entity
and
ImpairedBodyPartFn
Eardrum
模態屬性
entity
EAR
例
entity
EAR and
Hearing
期間
何時
entity
EAR and
TimePosition
體驗者
entity
EAR and
entity
and
容易
(=>
(
holdsDuring
?T
(
attribute
?H
Bedridden
))
(
holdsDuring
?T
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Bed
)
(
located
?H ?B)))
Likely
)))
Mid-level-ontology.kif 11041-11050
持有期間
TimePosition
and
attribute
entity
and
Bedridden
持有期間
TimePosition
and
模態屬性
entity
例
entity
and
床
位於
entity
and
entity
and
容易
(=>
(
holdsDuring
?T
(
attribute
?H
Covid19
))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H)))
Likely
))
Medicine.kif 2798-2807
持有期間
TimePosition
and
attribute
entity
and
Covid19
模態屬性
持有期間
眼前的未來
TimePosition
and
例
entity
and
COVIDAntibody
部分
entity
and
entity
and
容易
(=>
(
holdsDuring
?T
(
attribute
?H
Depression
))
(
modalAttribute
(
holdsDuring
?T
(
not
(
attribute
?H
Happiness
)))
Likely
))
Mid-level-ontology.kif 6395-6402
持有期間
TimePosition
and
attribute
entity
and
Depression
模態屬性
持有期間
TimePosition
and
attribute
entity
and
幸福
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