Possibility
(可能性)
(=>
(
instance
?SVC
ShuttleService
)
(
modalAttribute
(
exists
(?GRP1 ?GRP2)
(
and
(
instance
?GRP1
GroupOfPeople
)
(
instance
?GRP2
GroupOfPeople
)
(
patient
?SVC ?GRP1)
(
patient
?SVC ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))))
Possibility
))
Hotel.kif 2055-2064
例
Entity
and
ShuttleService
模態屬性
entity
entity
例
entity
and
一群人
例
entity
and
一群人
患者
Entity
and
entity
患者
Entity
and
entity
等於
entity
and
entity
and
可能性
(=>
(
instance
?VIDEO
VideoRecording
)
(
modalAttribute
(
exists
(?AUDIO)
(
and
(
instance
?AUDIO
AudioRecording
)
(
part
?AUDIO ?VIDEO)))
Possibility
))
Mid-level-ontology.kif 14441-14447
例
Entity
and
視頻錄製
模態屬性
entity
例
entity
and
錄音
部分
entity
and
Entity
and
可能性
(=>
(
instance
?X
DoubleBed
)
(
modalAttribute
(
exists
(?P1 ?P2 ?TIME)
(
and
(
not
(
equal
?P1 ?P2))
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
holdsDuring
?TIME
(
and
(
attribute
?P1
Asleep
)
(
attribute
?P2
Asleep
)
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 3847-3860
例
Entity
and
DoubleBed
模態屬性
entity
entity
and
entity
等於
entity
and
entity
例
entity
and
Human
例
entity
and
Human
持有期間
entity
and
attribute
entity
and
Asleep
attribute
entity
and
Asleep
位於
entity
and
Entity
位於
entity
and
Entity
and
可能性
(=>
(
instance
?X
HotelFunctionRoom
)
(
modalAttribute
(
exists
(?MTG)
(
and
(
instance
?MTG
FormalMeeting
)
(
located
?MTG ?X)))
Possibility
))
Hotel.kif 1706-1712
例
Entity
and
HotelFunctionRoom
模態屬性
entity
例
entity
and
正式會議
位於
entity
and
Entity
and
可能性
(=>
(
instance
?X
KingBed
)
(
modalAttribute
(
exists
(?P1 ?P2 ?P3 ?TIME)
(
and
(
not
(
equal
?P1 ?P2))
(
not
(
equal
?P2 ?P3))
(
not
(
equal
?P1 ?P3))
(
attribute
?P1
Asleep
)
(
attribute
?P2
Asleep
)
(
attribute
?P3
Asleep
)
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
instance
?P3
Human
)
(
holdsDuring
?TIME
(
and
(
located
?P1 ?X)
(
located
?P2 ?X)
(
located
?P3 ?X)))))
Possibility
))
Mid-level-ontology.kif 3790-3808
例
Entity
and
KingBed
模態屬性
entity
entity
,
entity
and
entity
等於
entity
and
entity
等於
entity
and
entity
等於
entity
and
entity
attribute
entity
and
Asleep
attribute
entity
and
Asleep
attribute
entity
and
Asleep
例
entity
and
Human
例
entity
and
Human
例
entity
and
Human
持有期間
entity
and
位於
entity
and
Entity
位於
entity
and
Entity
位於
entity
and
Entity
and
可能性
(=>
(
instance
?X
OperatorAssistedTelephoneCommunication
)
(
exists
(?ORIGIN ?DEST ?OPERATOR)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
instance
?OPERATOR
Human
)
(
hasPurpose
?OPERATOR
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?OPERATOR)
(
subProcess
?PROC ?X)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?PROC))
(
modalAttribute
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
origin
?COMM ?ORIGIN)
(
destination
?COMM ?DEST)))
Possibility
))))))))
Mid-level-ontology.kif 27047-27069
例
Process
and
OperatorAssistedTelephoneCommunication
Object
Entity
and
Physical
起源
Process
and
Object
目的地
Process
and
Entity
例
Physical
and
Human
有目的
Physical
and
entity
例
entity
and
IntentionalProcess
agent
entity
and
Physical
子過程
entity
and
Process
持有期間
眼前的未來
何時
entity
and
模態屬性
entity
例
entity
and
Communication
起源
entity
and
Object
目的地
entity
and
Entity
and
可能性
(=>
(
instance
?X
QueenBed
)
(
modalAttribute
(
exists
(?P1 ?P2 ?TIME)
(
and
(
not
(
equal
?P1 ?P2))
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
holdsDuring
?TIME
(
and
(
attribute
?P1
Asleep
)
(
attribute
?P2
Asleep
)
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 3821-3834
例
Entity
and
QueenBed
模態屬性
entity
entity
and
entity
等於
entity
and
entity
例
entity
and
Human
例
entity
and
Human
持有期間
entity
and
attribute
entity
and
Asleep
attribute
entity
and
Asleep
位於
entity
and
Entity
位於
entity
and
Entity
and
可能性
(=>
(
instance
?X
Recliner
)
(
modalAttribute
(
exists
(?INCLINE)
(
and
(
instance
?INCLINE
Inclining
)
(
patient
?INCLINE ?X)))
Possibility
))
Mid-level-ontology.kif 26197-26203
例
Entity
and
Recliner
模態屬性
entity
例
entity
and
傾斜
患者
entity
and
Entity
and
可能性
(=>
(
instance
?X
RewritableDataStorage
)
(
and
(
modalAttribute
(
exists
(?WRITE1 ?DATA1)
(
and
(
instance
?WRITE1
Writing
)
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)
(
modalAttribute
(
exists
(?WRITE2 ?DATA2)
(
and
(
stored
?DATA2 ?X)
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
not
(
equal
?WRITE1 ?WRITE2))
(
patient
?WRITE2 ?DATA2)))
Possibility
)))
Media.kif 741-763
例
Entity
and
RewritableDataStorage
模態屬性
entity
entity
例
entity
and
Writing
患者
entity
and
Entity
患者
entity
and
entity
持有期間
眼前的未來
何時
entity
and
entity
是
stored
在
Entity
and
可能性
模態屬性
entity
entity
entity
是
stored
在
Entity
例
entity
and
ContentDevelopment
例
entity
and
DeletingData
等於
entity
and
entity
患者
entity
and
entity
and
可能性
(=>
(
instance
?X
SeatBelt
)
(
hasPurpose
?X
(
exists
(?PERSON ?STOP ?VEHICLE ?M)
(
and
(
instance
?VEHICLE
Vehicle
)
(
part
?X ?VEHICLE)
(
instance
?PERSON
Human
)
(
contains
?VEHICLE ?PERSON)
(
instance
?STOP
Process
)
(
prevents
?STOP
(
KappaFn
?M
(
and
(
instance
?M
Translocation
)
(
patient
?M ?PERSON)
(
exists
(?COLLISION)
(
and
(
or
(
instance
?COLLISION
Decelerating
)
(
instance
?COLLISION
Impacting
))
(
experiencer
?COLLISION ?VEHICLE)
(
causes
?COLLISION ?M)))
(
modalAttribute
(
exists
(?INJ ?IMP)
(
and
(
instance
?INJ
Injuring
)
(
instance
?IMP
Impacting
)
(
causes
?M ?INJ)
(
patient
?INJ ?PERSON)
(
subProcess
?IMP ?INJ)))
Possibility
))))))))
Cars.kif 3675-3704
例
Physical
and
SeatBelt
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
車輛
部分
Physical
and
entity
例
entity
and
Human
包含
entity
and
entity
例
entity
and
Process
防止
entity
and
卡帕
entity
and
例
entity
and
易位
患者
entity
and
entity
entity
例
entity
and
減速
例
entity
and
Impacting
體驗者
entity
and
entity
原因
entity
and
entity
模態屬性
entity
entity
例
entity
and
Injuring
例
entity
and
Impacting
原因
entity
and
entity
患者
entity
and
entity
子過程
entity
and
entity
and
可能性
(=>
(
instance
?X
WriteOnceDataStorage
)
(
and
(
modalAttribute
(
exists
(?WRITE1 ?DATA1)
(
and
(
instance
?WRITE1
Writing
)
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)
(
not
(
modalAttribute
(
exists
(?WRITE2 ?DATA2)
(
and
(
stored
?DATA2 ?X)
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
not
(
equal
?WRITE1 ?WRITE2))
(
patient
?WRITE2 ?DATA2)))
Possibility
))))
Media.kif 713-736
例
Entity
and
WriteOnceDataStorage
模態屬性
entity
entity
例
entity
and
Writing
患者
entity
and
Entity
患者
entity
and
entity
持有期間
眼前的未來
何時
entity
and
entity
是
stored
在
Entity
and
可能性
模態屬性
entity
entity
entity
是
stored
在
Entity
例
entity
and
ContentDevelopment
例
entity
and
DeletingData
等於
entity
and
entity
患者
entity
and
entity
and
可能性
(=>
(
instance
?Y
SulphurDioxide
)
(
modalAttribute
(
exists
(?D ?P)
(
and
(
instance
?D
Damaging
)
(
instance
?P
Human
)
(
instrument
?D ?Y)
(
patient
?D ?P)))
Possibility
))
Geography.kif 7189-7197
例
Entity
and
SulphurDioxide
模態屬性
entity
entity
例
entity
and
Damaging
例
entity
and
Human
儀器
entity
and
Entity
患者
entity
and
entity
and
可能性
(=>
(
loggedInDuring
?A ?UA ?T)
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P ?C)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?A)
(
deviceAccount
?UA ?C)
(
instance
?C
Computer
)
(
computerRunning
?P ?C)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 4347-4358
loggedInDuring
AutonomousAgent
,
用戶帳號
and
TimeInterval
模態屬性
持有期間
TimeInterval
and
entity
entity
例
entity
and
電腦程序
agent
entity
and
AutonomousAgent
deviceAccount
用戶帳號
and
entity
例
entity
and
電腦
entity
是
running
在
entity
儀器
entity
and
entity
and
可能性
(=>
(
modalAttribute
?FORMULA
Necessity
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17420-17422
模態屬性
Formula
and
必要性
模態屬性
Formula
and
可能性
(=>
(
modalAttribute
?FORMULA
Permission
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17318-17320
模態屬性
Formula
and
允許
模態屬性
Formula
and
可能性
(=>
(
parasitic
?O1 ?O2)
(
exists
(?I1 ?I2)
(
modalAttribute
(
and
(
instance
?I1 ?O1)
(
instance
?I2 ?O2)
(
parasite
?I1 ?I2))
Possibility
)))
WMD.kif 2007-2015
parasitic
Organism
and
Organism
entity
entity
模態屬性
例
entity
and
Organism
例
entity
and
Organism
entity
是
entity
的
parasite
and
可能性
(=>
(
pathologyCandidate
?H ?D)
(
exists
(?DOC ?DI)
(
and
(
instance
?DI ?D)
(
believes
?DOC
(
modalAttribute
(
experiencer
?D ?H)
Possibility
)))))
Medicine.kif 1954-1962
pathologyCandidate
Human
and
PathologicProcess
PathologicProcess
OC
PathologicProcess
I
例
PathologicProcess
I and
PathologicProcess
相信
PathologicProcess
OC and
模態屬性
體驗者
PathologicProcess
and
Human
and
可能性
(=>
(
patient
?RAIN
AcidRainfall
)
(
modalAttribute
(
exists
(?D ?O ?X ?L)
(
and
(
instance
?D
Damaging
)
(
causes
?RAIN ?D)
(
instrument
?D ?RAIN)
(
instance
?O
Organism
)
(
instance
?X
StationaryArtifact
)
(
instance
?L
Outdoors
)
(
located
?X ?L)
(
located
?O ?L)
(
or
(
patient
?D ?O)
(
patient
?D ?X))))
Possibility
))
Geography.kif 2519-2534
患者
Process
and
酸雨
模態屬性
entity
entity
,
entity
and
entity
例
entity
and
Damaging
原因
Process
and
entity
儀器
entity
and
Process
例
entity
and
Organism
例
entity
and
StationaryArtifact
例
entity
and
在戶外
位於
entity
and
entity
位於
entity
and
entity
患者
entity
and
entity
患者
entity
and
entity
and
可能性
(=>
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
customer
?CUST ?AGENT)
Possibility
))
Dining.kif 819-822
CognitiveAgent
是個
potential
customer
對於
AutonomousAgent
模態屬性
AutonomousAgent
是
CognitiveAgent
的
customer
and
可能性
(=>
(
providesDestination
?TC ?REG)
(
modalAttribute
(
exists
(?SVC)
(
and
(
instance
?SVC
TransportationService
)
(
serviceProvider
?SVC ?TC)
(
destination
?SVC ?REG)))
Possibility
))
Transportation.kif 3401-3408
運輸公司
provides
transportation
對於
Region
模態屬性
entity
例
entity
and
TransportationService
服務提供者
entity
and
運輸公司
目的地
entity
and
Region
and
可能性
(=>
(
releaseForSale
?OBJ ?AREA ?TIME)
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
modalAttribute
(
exists
(?O ?B)
(
and
(
instance
?O ?OBJ)
(
instance
?B
Buying
)
(
eventLocated
?B ?AREA)
(
patient
?B ?O)))
Possibility
)))
Music.kif 1499-1509
Object
是
released
對於
sale
在
GeographicArea
位於
TimePoint
持有期間
眼前的未來
TimePoint
and
模態屬性
entity
entity
例
entity
and
Object
例
entity
and
Buying
entity
是
located
在
GeographicArea
患者
entity
and
entity
and
可能性
(=>
(
roomAmenity
?ROOM
MotionPicture
)
(
exists
(?R ?MS ?MP)
(
and
(
instance
?R ?ROOM)
(
instance
?MS
MediaSystem
)
(
located
?MS ?R)
(
instance
?MP
MotionPicture
)
(
modalAttribute
(
exists
(?RL)
(
and
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?MS)
(
patient
?RL ?MP)))
Possibility
))))
Hotel.kif 1506-1519
MotionPicture
是
amenity
在
HotelUnit
Object
Physical
and
Entity
例
Object
and
HotelUnit
例
Physical
and
MediaSystem
位於
Physical
and
Object
例
Entity
and
MotionPicture
模態屬性
Object
L
例
Object
L and
RadiatingLight
儀器
Object
L and
Physical
患者
Object
L and
Entity
and
可能性
(=>
(
trusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Possibility
)))
Law.kif 390-398
trusts
CognitiveAgent
,
AutonomousAgent
and
IntentionalProcess
相信
CognitiveAgent
and
模態屬性
IntentionalProcess
I
例
IntentionalProcess
I and
IntentionalProcess
agent
IntentionalProcess
I and
AutonomousAgent
and
可能性
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