Likely
(容易)
(=>
(
holdsDuring
?T
(
attribute
?H
Hypersalivation
))
(
modalAttribute
(
exists
(?S)
(
and
(
experiencer
?S ?H)
(
during
(
WhenFn
?S) ?T)
(
or
(
instance
?S
Spitting
)
(
instance
?S
Drooling
)
(
instance
?S
Nausea
))))
Likely
))
Medicine.kif 5326-5340
持有期間
TimePosition
and
attribute
entity
and
Hypersalivation
模態屬性
entity
體驗者
entity
and
entity
期間
何時
entity
and
TimePosition
例
entity
and
吐痰
例
entity
and
Drooling
例
entity
and
Nausea
and
容易
(=>
(
instance
?C
Cell
)
(
modalAttribute
(
or
(
cellShape
?C
Sphere
)
(
cellShape
?C
Cylinder
))
Likely
))
VirusProteinAndCellPart.kif 418-423
例
Entity
and
Cell
模態屬性
cellShape
Entity
and
球
cellShape
Entity
and
圓筒
and
容易
(=>
(
instance
?CAC
Cactus
)
(
modalAttribute
(
exists
(?AREA)
(
and
(
instance
?AREA
GeographicArea
)
(
located
?CAC ?AREA)
(
exists
(?D)
(
and
(
instance
?D
Drought
)
(
eventLocated
?D ?AREA)))))
Likely
))
Geography.kif 6302-6312
例
Entity
and
Cactus
模態屬性
entity
例
entity
and
GeographicArea
位於
Entity
and
entity
entity
例
entity
and
乾旱
entity
是
located
在
entity
and
容易
(=>
(
instance
?CLOTHING
Clothing
)
(
modalAttribute
(
exists
(?FABRIC)
(
and
(
instance
?FABRIC
Fabric
)
(
part
?FABRIC ?CLOTHING)))
Likely
))
Merge.kif 15927-15934
例
Entity
and
Clothing
模態屬性
entity
例
entity
and
Fabric
部分
entity
and
Entity
and
容易
(=>
(
instance
?DISEASE
VaccinatableDisease
)
(
exists
(?VACCINE ?HUMAN ?PUT)
(
and
(
instance
?VACCINE
Vaccine
)
(
instance
?PUT
Putting
)
(
destination
?PUT ?HUMAN)
(
instance
?HUMAN
Human
)
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?PUT))
(
not
(
attribute
?HUMAN ?DISEASE)))
Likely
))))
WMD.kif 1046-1059
例
Entity
and
可預防的疾病
Entity
Entity
and
Process
例
Entity
and
Vaccine
例
Process
and
Putting
目的地
Process
and
Entity
例
Entity
and
Human
模態屬性
持有期間
未來
何時
Process
and
attribute
Entity
and
Entity
and
容易
(=>
(
instance
?DRIZZLE
Drizzling
)
(
exists
(?CLTN ?R ?SIZE)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
member
?R ?CLTN)
(
objectTransferred
?DRIZZLE ?CLTN)
(
approximateDiameter
?R
(
MeasureFn
?SIZE
Millimeter
))
(
modalAttribute
(
lessThanOrEqualTo
?SIZE 0.5)
Likely
))))
Weather.kif 2799-2811
例
Transfer
and
Drizzling
Collection
SelfConnectedObject
and
RealNumber
例
Collection
and
Collection
例
SelfConnectedObject
and
Water
例
SelfConnectedObject
and
LiquidDrop
會員
SelfConnectedObject
and
Collection
objectTransferred
Transfer
and
Collection
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
模態屬性
小於或等於
RealNumber
and 0.5 and
容易
(=>
(
instance
?DS
DrugStore
)
(
modalAttribute
(
exists
(?P)
(
and
(
attribute
?P
Pharmacist
)
(
employs
?DS ?P)))
Likely
))
Medicine.kif 3122-3129
例
Entity
and
藥店
模態屬性
entity
attribute
entity
and
藥劑師
採用
Entity
and
entity
and
容易
(=>
(
instance
?F
FaecalibacteriumPrausnitzii
)
(
modalAttribute
(
exists
(?H ?G)
(
and
(
instance
?H
Human
)
(
instance
?G
GastroIntestinalTract
)
(
part
?G ?H)
(
located
?F ?G)))
Likely
))
Medicine.kif 5285-5294
例
Entity
and
FaecalibacteriumPrausnitzii
模態屬性
entity
entity
例
entity
and
Human
例
entity
and
GastroIntestinalTract
部分
entity
and
entity
位於
Entity
and
entity
and
容易
(=>
(
instance
?G
ResidentialGarden
)
(
modalAttribute
(
exists
(?F)
(
and
(
instance
?F
Fence
)
(
orientation
?G ?F
Surrounded
)))
Likely
))
Mid-level-ontology.kif 8187-8193
例
Entity
and
私人庭園
模態屬性
entity
例
entity
and
籬笆
方位
Entity
,
entity
and
Surrounded
and
容易
(=>
(
instance
?I
Intestinimonas
)
(
modalAttribute
(
exists
(?IN)
(
and
(
instance
?IN
Intestine
)
(
located
?I ?IN)))
Likely
))
Medicine.kif 4416-4423
例
Entity
and
Intestinimonas
模態屬性
Entity
N
例
Entity
N and
腸
位於
Entity
and
Entity
N and
容易
(=>
(
instance
?P
Parasite
)
(
modalAttribute
(
exists
(?H ?PROC)
(
and
(
located
?P ?H)
(
involvedInEvent
?PROC ?P)
(
involvedInEvent
?PROC ?H)
(
benefits
?PROC ?P)
(
suffers
?PROC ?H)))
Likely
))
Mid-level-ontology.kif 5893-5903
例
Entity
and
Parasite
模態屬性
entity
Entity
ROC
位於
Entity
and
entity
Entity
是事件
Entity
ROC 的
involved
entity
是事件
Entity
ROC 的
involved
好處
Entity
ROC and
Entity
entity
suffers
從
Entity
ROC and
容易
(=>
(
instance
?P
Succulent
)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Drought
)
(
experiencer
?D ?P)
(
attribute
?P
Living
)))
Likely
))
Geography.kif 6286-6293
例
Entity
and
Succulent
模態屬性
entity
例
entity
and
乾旱
體驗者
entity
and
Entity
attribute
Entity
and
活的
and
容易
(=>
(
instance
?PAPER
Paper
)
(
modalAttribute
(
hasPurpose
?PAPER
(
exists
(?TEXT)
(
and
(
instance
?TEXT
Text
)
(
part
?TEXT ?PAPER))))
Likely
))
Mid-level-ontology.kif 3574-3582
例
Entity
and
紙
模態屬性
有目的
Entity
and
entity
例
entity
and
Text
部分
entity
and
Entity
and
容易
(=>
(
instance
?PARK
Park
)
(
modalAttribute
(
exists
(?G)
(
and
(
instance
?G
Garden
)
(
located
?G ?PARK)))
Likely
))
Mid-level-ontology.kif 8115-8121
例
Entity
and
公園
模態屬性
entity
例
entity
and
園林
位於
entity
and
Entity
and
容易
(=>
(
instance
?RV
RecreationalVehicle
)
(
modalAttribute
(
exists
(?BED ?DINING ?KITCHEN)
(
and
(
instance
?BED
Bed
)
(
instance
?DINING
DiningArea
)
(
instance
?KITCHEN
KitchenArea
)
(
located
?BED ?RV)
(
located
?DINING ?RV)
(
located
?KITCHEN ?RV)))
Likely
))
Mid-level-ontology.kif 25758-25768
例
Entity
and
RecreationalVehicle
模態屬性
entity
entity
and
entity
例
entity
and
床
例
entity
and
DiningArea
例
entity
and
KitchenArea
位於
entity
and
Entity
位於
entity
and
Entity
位於
entity
and
Entity
and
容易
(=>
(
instance
?STORM
Storm
)
(
holdsDuring
(
WhenFn
?STORM)
(
modalAttribute
(
exists
(?P ?AREA)
(
and
(
instance
?P
Precipitation
)
(
instance
?AREA
GeographicArea
)
(
eventLocated
?P ?AREA)
(
subProcess
?P ?STORM)))
Likely
)))
Weather.kif 2889-2899
例
Physical
and
Storm
持有期間
何時
Physical
and
模態屬性
entity
entity
例
entity
and
沉澱
例
entity
and
GeographicArea
entity
是
located
在
entity
子過程
entity
and
Physical
and
容易
(=>
(
instance
?TW
TapWater
)
(
modalAttribute
(
instance
?TW
(
FoodForFn
Human
))
Likely
))
Food.kif 285-289
例
Entity
and
TapWater
模態屬性
例
Entity
and
food
for
Human
and
容易
(=>
(
instance
?X
BusinessCenter
)
(
modalAttribute
(
exists
(?COMP)
(
and
(
instance
?COMP
Computer
)
(
located
?COMP ?X)))
Likely
))
Hotel.kif 1670-1676
例
Entity
and
BusinessCenter
模態屬性
entity
例
entity
and
電腦
位於
entity
and
Entity
and
容易
(=>
(
instance
?X
BusinessCenter
)
(
modalAttribute
(
exists
(?IC)
(
and
(
instance
?IC
InternetConnection
)
(
located
?IC ?X)))
Likely
))
Hotel.kif 1678-1684
例
Entity
and
BusinessCenter
模態屬性
entity
例
entity
and
InternetConnection
位於
entity
and
Entity
and
容易
(=>
(
instance
?X
GrabBar
)
(
modalAttribute
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
PhysicalDisability
)
(
inScopeOfInterest
?HUMAN ?X)))
Likely
))
Mid-level-ontology.kif 26483-26489
例
Entity
and
GrabBar
模態屬性
entity
attribute
entity
and
PhysicalDisability
在感興趣的範圍內
entity
and
Entity
and
容易
(=>
(
instance
?X
Lanai
)
(
exists
(?ROOF)
(
and
(
instance
?ROOF
Roof
)
(
part
?ROOF ?X)
(
modalAttribute
(
exists
(?AREA)
(
and
(
instance
?AREA
SittingArea
)
(
located
?AREA ?X)))
Likely
))))
Mid-level-ontology.kif 26643-26653
例
Object
and
Lanai
Object
例
Object
and
屋頂
部分
Object
and
Object
模態屬性
entity
例
entity
and
SittingArea
位於
entity
and
Object
and
容易
(=>
(
instance
?X
Patio
)
(
and
(
modalAttribute
(
attribute
?X
Paved
)
Likely
)
(
exists
(?BLDG)
(
and
(
instance
?BLDG
Building
)
(
orientation
?X ?BLDG
Adjacent
)
(
located
?X
Outdoors
)))))
Mid-level-ontology.kif 26627-26636
例
Object
and
Patio
模態屬性
attribute
Object
and
鋪砌
and
容易
Object
例
Object
and
Building
方位
Object
,
Object
and
鄰
位於
Object
and
在戶外
(=>
(
instance
?X
SecurityUnit
)
(
modalAttribute
(
exists
(?S)
(
and
(
instance
?S
SurveillanceSystem
)
(
inScopeOfInterest
?X ?S)))
Likely
))
Mid-level-ontology.kif 26989-26995
例
Entity
and
安全部門
模態屬性
entity
例
entity
and
SurveillanceSystem
在感興趣的範圍內
Entity
and
entity
and
容易
(=>
(
instance
?X
TravelReservation
)
(
modalAttribute
(
exists
(?FLIGHT)
(
and
(
instance
?FLIGHT
FlightReservation
)
(
subProposition
?FLIGHT ?X)))
Likely
))
Hotel.kif 2824-2830
例
Entity
and
TravelReservation
模態屬性
entity
例
entity
and
FlightReservation
次提案
entity
and
Entity
and
容易
(=>
(
productPrice
?ENT ?PRICE ?AGENT)
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
immediateInstance
?I ?ENT)
(
patient
?S ?I)
(
agent
?S ?AGENT))
(
transactionAmount
?S ?PRICE))
Likely
))
Catalog.kif 419-428
CognitiveAgent
sells
Entity
對於
CurrencyMeasure
模態屬性
例
entity
and
Selling
立即實例
entity
and
Entity
患者
entity
and
entity
agent
entity
and
CognitiveAgent
CurrencyMeasure
是
entity
的
transaction
總額
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