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
如果
实体
是
ShuttleService
的
instance
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
一群人
的
instance
和
那个 第三 实体
是
一群人
的
instance
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 第三 实体
是
那个 实体
的
patient
和
那个 另外 实体
不
equal
那个 第三 实体
的声明 has
可能性
的语气
(=>
(
instance
?VIDEO
VideoRecording
)
(
modalAttribute
(
exists
(?AUDIO)
(
and
(
instance
?AUDIO
AudioRecording
)
(
part
?AUDIO ?VIDEO)))
Possibility
))
Mid-level-ontology.kif 14441-14447
如果
实体
是
视频录制
的
instance
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
录音
的
instance
和
那个 另外 实体
是
那个 实体
的
part
的声明 has
可能性
的语气
(=>
(
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
如果
实体
是
DoubleBed
的
instance
,
然后 有存在
另一个 实体
,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
不
equal
那个 第三 实体
和
那个 另外 实体
是
人类
的
instance
和
那个 第三 实体
是
人类
的
instance
和
睡着
是
那个 另外 实体
的
attribute
和
睡着
是
那个 第三 实体
的
attribute
和
那个 另外 实体
是
located
在
那个 实体
和
那个 第三 实体
是
located
在
那个 实体
在
那个 第四 实体
holdsDuring
的声明 has
可能性
的语气
(=>
(
instance
?X
HotelFunctionRoom
)
(
modalAttribute
(
exists
(?MTG)
(
and
(
instance
?MTG
FormalMeeting
)
(
located
?MTG ?X)))
Possibility
))
Hotel.kif 1706-1712
如果
实体
是
HotelFunctionRoom
的
instance
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
正式会议
的
instance
和
那个 另外 实体
是
located
在
那个 实体
的声明 has
可能性
的语气
(=>
(
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
如果
实体
是
KingBed
的
instance
,
然后 有存在
另一个 实体
,
第三 实体
,, ,
第四 实体
, and 和
第五 实体
这样
那个 另外 实体
不
equal
那个 第三 实体
和
那个 第三 实体
不
equal
那个 第四 实体
和
那个 另外 实体
不
equal
那个 第四 实体
和
睡着
是
那个 另外 实体
的
attribute
和
睡着
是
那个 第三 实体
的
attribute
和
睡着
是
那个 第四 实体
的
attribute
和
那个 另外 实体
是
人类
的
instance
和
那个 第三 实体
是
人类
的
instance
和
那个 第四 实体
是
人类
的
instance
和
那个 另外 实体
是
located
在
那个 实体
和
那个 第三 实体
是
located
在
那个 实体
和
那个 第四 实体
是
located
在
那个 实体
在
那个 第五 实体
holdsDuring
的声明 has
可能性
的语气
(=>
(
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
如果
过程
是
OperatorAssistedTelephoneCommunication
的
instance
,
然后 有存在
客体
,
实体
, and 和
物理
这样
那个 客体
是
那个 过程
的源头 和
那个 过程
在
那个 实体
结束 和
那个 物理
是
人类
的
instance
和
那个 物理
的 目的 是 有存在
另一个 实体
这样
那个 另外 实体
是
有意图过程
的
instance
和
那个 物理
是
那个 另外 实体
的
agent
和
那个 另外 实体
%n是
那个 过程
的
subProcess
和 有存在
第四 实体
这样
那个 第四 实体
是
沟通
的
instance
和
那个 客体
是
那个 第四 实体
的源头 和
那个 第四 实体
在
那个 实体
结束 的声明 has
可能性
的语气 在 紧接
那个 另外 实体
出现 的
time
after
holdsDuring
(=>
(
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
如果
实体
是
QueenBed
的
instance
,
然后 有存在
另一个 实体
,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
不
equal
那个 第三 实体
和
那个 另外 实体
是
人类
的
instance
和
那个 第三 实体
是
人类
的
instance
和
睡着
是
那个 另外 实体
的
attribute
和
睡着
是
那个 第三 实体
的
attribute
和
那个 另外 实体
是
located
在
那个 实体
和
那个 第三 实体
是
located
在
那个 实体
在
那个 第四 实体
holdsDuring
的声明 has
可能性
的语气
(=>
(
instance
?X
Recliner
)
(
modalAttribute
(
exists
(?INCLINE)
(
and
(
instance
?INCLINE
Inclining
)
(
patient
?INCLINE ?X)))
Possibility
))
Mid-level-ontology.kif 26197-26203
如果
实体
是
Recliner
的
instance
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
倾斜
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
的声明 has
可能性
的语气
(=>
(
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
如果
实体
是
RewritableDataStorage
的
instance
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
写作
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
stored
在
那个 实体
在 紧接
那个 另外 实体
出现 的
time
after
holdsDuring
的声明 has
可能性
的语气 和 有存在
第四 实体
和
第五 实体
这样
那个 第五 实体
是
stored
在
那个 实体
和
那个 第四 实体
是
内容制作
的
instance
或
那个 第四 实体
是
DeletingData
的
instance
和
那个 另外 实体
不
equal
那个 第四 实体
和
那个 第五 实体
是
那个 第四 实体
的
patient
的声明 has
可能性
的语气
(=>
(
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
如果
物理
是
SeatBelt
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 第三 实体
是
车辆
的
instance
和
那个 物理
是
那个 第三 实体
的
part
和
那个 实体
是
人类
的
instance
和
那个 第三 实体
contains
那个 实体
和
那个 另外 实体
是
过程
的
instance
和
那个 另外 实体
prevents
那个 第四 实体
所描述的类别 的发生
(=>
(
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
如果
实体
是
WriteOnceDataStorage
的
instance
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
写作
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
stored
在
那个 实体
在 紧接
那个 另外 实体
出现 的
time
after
holdsDuring
的声明 has
可能性
的语气 和 有存在
第四 实体
和
第五 实体
这样
那个 第五 实体
是
stored
在
那个 实体
和
那个 第四 实体
是
内容制作
的
instance
或
那个 第四 实体
是
DeletingData
的
instance
和
那个 另外 实体
不
equal
那个 第四 实体
和
那个 第五 实体
是
那个 第四 实体
的
patient
的声明 doesn't have
可能性
的语气
(=>
(
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
如果
实体
是
二氧化硫
的
instance
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
损坏
的
instance
和
那个 第三 实体
是
人类
的
instance
和
那个 实体
是导致
那个 另外 实体
的
instrument
和
那个 第三 实体
是
那个 另外 实体
的
patient
的声明 has
可能性
的语气
(=>
(
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
施事体
,
用户帐号
and
时距
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
电脑程序
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
deviceAccount
那个 用户帐号
and
那个 另外 实体
和
那个 另外 实体
是
电脑
的
instance
和
那个 实体
是
running
在
那个 另外 实体
和
那个 另外 实体
是导致
那个 实体
的
instrument
在
那个 时距
holdsDuring
的声明 has
可能性
的语气
(=>
(
modalAttribute
?FORMULA
Necessity
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17420-17422
如果
公式
的声明 has
必要性
的语气,
然后
那个 公式
的声明 has
可能性
的语气
(=>
(
modalAttribute
?FORMULA
Permission
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17318-17320
如果
公式
的声明 has
允许
的语气,
然后
那个 公式
的声明 has
可能性
的语气
(=>
(
parasitic
?O1 ?O2)
(
exists
(?I1 ?I2)
(
modalAttribute
(
and
(
instance
?I1 ?O1)
(
instance
?I2 ?O2)
(
parasite
?I1 ?I2))
Possibility
)))
WMD.kif 2007-2015
如果
parasitic
有点 生物
and
另一个 有点 生物
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
有点 生物
的
instance
和
那个 另外 实体
是
另一个 有点 生物
的
instance
和
那个 另外 实体
是
那个 实体
的
parasite
的声明 has
可能性
的语气
(=>
(
pathologyCandidate
?H ?D)
(
exists
(?DOC ?DI)
(
and
(
instance
?DI ?D)
(
believes
?DOC
(
modalAttribute
(
experiencer
?D ?H)
Possibility
)))))
Medicine.kif 1954-1962
如果
pathologyCandidate
人类
and
有点 病理过程
,
然后 有存在
有点 病理过程
OC 和
那个 有点 病理过程
I 这样
那个 有点 病理过程
I 是
那个 有点 病理过程
的
instance
和
那个 有点 病理过程
OC
believes
那个 人类
经历了
那个 有点 病理过程
的声明 has
可能性
的语气
(=>
(
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
如果
酸雨
是
过程
的
patient
,
然后 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
损坏
的
instance
和
那个 过程
causes
那个 实体
和
那个 过程
是导致
那个 实体
的
instrument
和
那个 另外 实体
是
生物
的
instance
和
那个 第三 实体
是
固定人工制品
的
instance
和
那个 第四 实体
是
在户外
的
instance
和
那个 第三 实体
是
located
在
那个 第四 实体
和
那个 另外 实体
是
located
在
那个 第四 实体
和
那个 另外 实体
是
那个 实体
的
patient
或
那个 第三 实体
是
那个 实体
的
patient
的声明 has
可能性
的语气
(=>
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
customer
?CUST ?AGENT)
Possibility
))
Dining.kif 819-822
如果
有认知的主事
是个
potential
customer
对于
施事体
,
然后
那个 施事体
是
那个 有认知的主事
的
customer
的声明 has
可能性
的语气
(=>
(
providesDestination
?TC ?REG)
(
modalAttribute
(
exists
(?SVC)
(
and
(
instance
?SVC
TransportationService
)
(
serviceProvider
?SVC ?TC)
(
destination
?SVC ?REG)))
Possibility
))
Transportation.kif 3401-3408
如果
运输公司
provides
transportation
對於
地区
,
然后 有存在
实体
这样
那个 实体
是
TransportationService
的
instance
和
那个 运输公司
在
那个 实体
中提供服务 和
那个 实体
在
那个 地区
结束 的声明 has
可能性
的语气
(=>
(
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
如果
有点 客体
是
released
对于
sale
在
地理区域
位于
时点
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
有点 客体
的
instance
和
那个 另外 实体
是
购买
的
instance
和
那个 另外 实体
是
located
在
那个 地理区域
和
那个 实体
是
那个 另外 实体
的
patient
的声明 has
可能性
的语气 在 紧接
那个 时点
after
holdsDuring
(=>
(
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
如果
动态映像
是
amenity
在
有点 HotelUnit
,
然后 有存在
客体
,
物理
, and 和
实体
这样
那个 客体
是
有点 HotelUnit
的
instance
和
那个 物理
是
MediaSystem
的
instance
和
那个 物理
是
located
在
那个 客体
和
那个 实体
是
动态映像
的
instance
和 有存在
那个 客体
L 这样
那个 客体
L 是
放射光线
的
instance
和
那个 物理
是导致
那个 客体
L 的
instrument
和
那个 实体
是
那个 客体
L 的
patient
的声明 has
可能性
的语气
(=>
(
trusts
?A1 ?A2 ?P)
(
believes
?A1
(
modalAttribute
(
exists
(?PI)
(
and
(
instance
?PI ?P)
(
agent
?PI ?A2)))
Possibility
)))
Law.kif 390-398
如果
trusts
有认知的主事
,
施事体
and
有点 有意图过程
,
然后
那个 有认知的主事
believes
有存在
有点 有意图过程
I 这样
那个 有点 有意图过程
I 是
那个 有点 有意图过程
的
instance
和
那个 施事体
是
那个 有点 有意图过程
I 的
agent
的声明 has
可能性
的语气
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