Possibility
(可能性)
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
如果
实体
是
ReadOnlyMemoryDataStorage
的
instance
和
过程
是
制造
的
instance
和
那个 实体
是
那个 过程
的
result
,
然后 有存在
另一个 实体
,
第三 实体
, and 和
第四 实体
这样
那个 第四 实体
是
内容制作
的
instance
或
那个 第四 实体
是
DeletingData
的
instance
和
那个 过程
出现 的
time
比
那个 另外 实体
出现 的
time
发生的
earlier
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
那个 另外 实体
的
patient
和
那个 第三 实体
是
stored
在
那个 实体
在 紧接
那个 另外 实体
出现 的
time
after
holdsDuring
的声明 doesn't have
可能性
的语气
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Insoluble
))
(
not
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
)))
Geography.kif 7380-7392
如果
客体
是
物质
的
instance
和
不可溶的
是
那个 客体
的
attribute
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
物质
的
instance
和
那个 另外 实体
是
溶液
的
instance
和
那个 客体
是
那个 另外 实体
的
piece
和
那个 实体
是
那个 另外 实体
的
piece
的声明 doesn't have
可能性
的语气
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Soluble
))
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
))
Geography.kif 7352-7363
如果
客体
是
物质
的
instance
和
可溶的
是
那个 客体
的
attribute
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
物质
的
instance
和
那个 另外 实体
是
溶液
的
instance
和
那个 客体
是
那个 另外 实体
的
piece
和
那个 实体
是
那个 另外 实体
的
piece
的声明 has
可能性
的语气
(=>
(
and
(
instance
?X
WhirlpoolTub
)
(
attribute
?X
DoubleSize
))
(
modalAttribute
(
exists
(?T1)
(
holdsDuring
?T1
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
not
(
equal
?P1 ?P2))
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 25333-25346
如果
客体
是
WhirlpoolTub
的
instance
和
DoubleSize
是
那个 客体
的
attribute
,
然后 有存在
实体
这样 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
人类
的
instance
和
那个 第三 实体
是
人类
的
instance
和
那个 另外 实体
不
equal
那个 第三 实体
和
那个 另外 实体
是
located
在
那个 客体
和
那个 第三 实体
是
located
在
那个 客体
在
那个 实体
holdsDuring
的声明 has
可能性
的语气
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
如果
有点 固定人工制品
能
accommodate
大部分
整数
的人 和
实体
是
有点 固定人工制品
的
instance
和
那个 实体
是
施事体
的财产 的
element
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
一群人
的
instance
和
那个 第三 实体
是
那个 另外 实体
的
member
计数 和
那个 第三 实体
是
lessThanOrEqualTo
那个 整数
和
那个 另外 实体
stays
在
那个 实体
的声明 has
可能性
的语气
(=>
(
and
(
offers
?AGENT ?ATTR)
(
instance
?ATTR
Attribute
))
(
modalAttribute
(
exists
(?OBJ ?SELL)
(
and
(
instance
?SELL
Selling
)
(
attribute
?OBJ ?ATTR)
(
patient
?SELL ?OBJ)
(
agent
?SELL ?AGENT)))
Possibility
))
Catalog.kif 109-119
如果
施事体
offers
拍卖样品在
抽象体
和
那个 抽象体
是
属性
的
instance
,
然后 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
出售
的
instance
和
那个 抽象体
是
那个 实体
的
attribute
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 施事体
是
那个 另外 实体
的
agent
的声明 has
可能性
的语气
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
如果
施事体
offers
拍卖样品在
Catalog
和
有点 实体
是在
那个 Catalog
和
有点 实体
是
物理
的
subclass
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 第三 实体
是
那个 有点 实体
的
instance
和
那个 另外 实体
是
出售
的
instance
和
那个 施事体
是
那个 另外 实体
的
agent
和
那个 第三 实体
是
那个 另外 实体
的
patient
的声明 has
可能性
的语气
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
如果
施事体
offers
拍卖样品在
Catalog
和
有点 实体
是在
那个 Catalog
和
有点 实体
是
命题
的
subclass
,
然后 有存在
另一个 实体
,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
是
那个 有点 实体
的
instance
和
那个 第四 实体
表示
那个 另外 实体
的内容 和
那个 第三 实体
是
出售
的
instance
和
那个 第四 实体
是
那个 第三 实体
的
patient
和
那个 施事体
是
那个 第三 实体
的
agent
的声明 has
可能性
的语气
(=>
(
and
(
parent
?CHILD ?PARENT)
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
)))
(
modalAttribute
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
desires
?PARENT ?CARE)))
Possibility
))
Hotel.kif 1890-1900
如果
生物
是
另一个 生物
的
parent
和
那个 另外 生物
是
人类的孩子
的
instance
或
那个 另外 生物
是
人类宝贝
的
instance
,
然后 有存在
实体
这样
那个 实体
是
ChildCareService
的
instance
和
那个 生物
desires
那个 实体
的声明 has
可能性
的语气
(=>
(
and
(
property
?AGREEMENT
Contract
)
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT1)
(
realization
?PROC ?PROP)
(
not
(
consistent
?PROP ?AGREEMENT)))
(
modalAttribute
(
exists
(?LEGAL)
(
and
(
instance
?LEGAL
LegalAction
)
(
plaintiff
?LEGAL ?AGENT2)
(
defendant
?LEGAL ?AGENT1)))
Possibility
))
Mid-level-ontology.kif 14149-14163
如果
协议
有
合同
的
attribute
和
那个 协议
是
有认知的主事
的
party
协议 和
那个 协议
是
另一个 有认知的主事
的
party
协议 和
过程
是
有意图过程
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 过程
表示
命题
的内容 和
那个 协议
不 是
那个 命题
的
consistent
,
然后 有存在
实体
这样
那个 实体
是
法律诉讼
的
instance
和
那个 另外 有认知的主事
是
plaintiff
在
那个 实体
和
那个 有认知的主事
是在
那个 实体
的
defendant
的声明 has
可能性
的语气
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
如果
有点 物理
是
amenity
在
有点 HotelUnit
和
有点 物理
是
过程
的
subclass
,
然后 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
有点 HotelUnit
的
instance
和
那个 实体
是
那个 第三 实体
的财产 的
element
和
那个 第三 实体
是
那个 另外 实体
的
agent
和
那个 另外 实体
是
那个 有点 物理
的
instance
或
那个 第四 实体
是
那个 有点 物理
的
instance
和
那个 另外 实体
%n是
那个 第四 实体
的
subProcess
和
那个 另外 实体
是
located
在
那个 实体
的声明 has
可能性
的语气
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
如果 一个在
客体
的人
can
see
有点 物理
和
那个 客体
是
房间
的
instance
和
另一个 客体
是
有点 物理
的
instance
和
那个 另外 客体
在
那个 客体
的
外
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
人类
的
instance
和
那个 实体
是
located
在
那个 客体
和
那个 另外 实体
是
看
的
instance
和
那个 另外 客体
是
那个 另外 实体
的
patient
和
那个 实体
是
那个 另外 实体
的
agent
的声明 has
可能性
的语气
(=>
(
attribute
?O
Translucent
)
(
modalAttribute
(
exists
(?EMIT ?S ?OBJ)
(
and
(
instance
?EMIT
RadiatingLight
)
(
resource
?EMIT ?S)
(
destination
?EMIT ?OBJ)
(
between
?S ?O ?OBJ)
(
holdsDuring
(
WhenFn
?EMIT)
(
attribute
?OBJ
Illuminated
))))
Possibility
))
Mid-level-ontology.kif 15152-15164
如果
Translucent
是
客体
的
attribute
,
然后 有存在
实体
,
另一个 实体
, and 和
那个 客体
BJ 这样
那个 实体
是
放射光线
的
instance
和
那个 另外 实体
是
那个 实体
的
resource
和
那个 实体
在
那个 客体
BJ 结束 和
那个 客体
是在
那个 另外 实体
和
那个 客体
BJ
between
和
发光的
是
那个 客体
BJ 的
attribute
在
那个 实体
出现 的
time
holdsDuring
的声明 has
可能性
的语气
(=>
(
attribute
?O
Transparent
)
(
modalAttribute
(
exists
(?S ?A ?D)
(
and
(
instance
?S
Seeing
)
(
agent
?S ?A)
(
destination
?S ?D)
(
between
?O ?A ?D)))
Possibility
))
Mid-level-ontology.kif 15124-15133
如果
透明
是
客体
的
attribute
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
看
的
instance
和
那个 另外 实体
是
那个 实体
的
agent
和
那个 实体
在
那个 第三 实体
结束 和
那个 另外 实体
是在
那个 客体
和
那个 第三 实体
between
的声明 has
可能性
的语气
(=>
(
attribute
?X
Locked
)
(
exists
(?LOCK ?CLOSE ?MOVE)
(
and
(
instance
?LOCK
Lock
)
(
connected
?LOCK ?X)
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
instance
?MOVE
Motion
)
(
earlier
(
WhenFn
?CLOSE)
(
WhenFn
(
attribute
?X
Locked
)))
(
holdsDuring
(
WhenFn
(
attribute
?X
Locked
))
(
not
(
modalAttribute
(
patient
?MOVE ?X)
Possibility
))))))
Mid-level-ontology.kif 2698-2714
如果
锁定
是
客体
的
attribute
,
然后 有存在
另一个 客体
,
过程
, and 和
实体
这样
那个 另外 客体
是
锁
的
instance
和
那个 另外 客体
和
那个 客体
是
connected
和
那个 过程
是
关闭
的
instance
和
那个 另外 客体
是
那个 过程
的
patient
和
那个 实体
是
运动
的
instance
和
那个 过程
出现 的
time
比
锁定
是
那个 客体
的
attribute
出现 的
time
发生的
earlier
和
那个 客体
是
那个 实体
的
patient
的声明 doesn't have
可能性
的语气 在
锁定
是
那个 客体
的
attribute
出现 的
time
holdsDuring
(=>
(
capability
?PROCESS ?ROLE ?OBJ)
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PROCESS)
(?ROLE ?P ?OBJ)))
Possibility
))
Merge.kif 3918-3924
如果
客体
能够担当
格角色
的角色做
有点 过程
,
然后 有存在
实体
这样
那个 实体
是
有点 过程
的
instance
和
那个 格角色
那个 实体
and
那个 客体
的声明 has
可能性
的语气
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 790-800
如果
地区
有对于
整数
的
capacity
根据
命题
,
然后
如果
那个 地区
表达
那个 命题
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
一群人
的
instance
和
那个 另外 实体
是
那个 实体
的
member
计数 和
那个 另外 实体
是
lessThanOrEqualTo
那个 整数
和
那个 实体
是
located
在
那个 地区
的声明 has
可能性
的语气
(=>
(
diseaseCandidate
?H ?D)
(
exists
(?DOC)
(
believes
?DOC
(
modalAttribute
(
attribute
?H ?D)
Possibility
))))
Medicine.kif 1939-1945
如果
diseaseCandidate
人类
and
疾病或综合症
,
然后 有存在
那个 疾病或综合症
OC 这样
那个 疾病或综合症
OC
believes
那个 疾病或综合症
是
那个 人类
的
attribute
的声明 has
可能性
的语气
(=>
(
equal
?TIME
(
WhenFn
(
stored
?O ?D)))
(
holdsDuring
?TIME
(
modalAttribute
(
exists
(?P)
(
patient
?P ?O))
Possibility
)))
Mid-level-ontology.kif 14370-14375
如果
时距
equal
实体
是
stored
在
另一个 实体
出现 的
time
,
然后 有存在
第三 实体
这样
那个 实体
是
那个 第三 实体
的
patient
的声明 has
可能性
的语气 在
那个 时距
holdsDuring
(=>
(
hazardous
?A ?B)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?B)
(
or
(
involvedInEvent
?D ?A)
(
causes
?A ?D))))
Possibility
))
Geography.kif 5876-5885
如果
危险
物理
and
客体
,
然后 有存在
实体
这样
那个 实体
是
损坏
的
instance
和
那个 客体
是
那个 实体
的
patient
和
那个 物理
是事件
那个 实体
的
involved
或
那个 物理
causes
那个 实体
的声明 has
可能性
的语气
(=>
(
holdsDuring
?T
(
and
(
instance
?ICU
IntensiveCareUnit
)
(
stays
?H ?ICU)))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
finishes
(
WhenFn
?D) ?T)))
Possibility
))
Mid-level-ontology.kif 20568-20578
如果
实体
是
IntensiveCareUnit
的
instance
和
另一个 实体
stays
在
那个 实体
在
时间位置
holdsDuring
,
然后 有存在
第三 实体
这样
那个 第三 实体
是
死亡
的
instance
和
那个 第三 实体
出现 的
time
finishes
了才到
那个 时间位置
的声明 has
可能性
的语气
(=>
(
instance
?D
Disappearing
)
(
exists
(?OBJ ?AGENT ?SEARCH ?TIME)
(
and
(
instance
?SEARCH
Searching
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?SEARCH))
(
agent
?SEARCH ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?D ?OBJ)
(
patient
?SEARCH ?OBJ)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?SEARCH))
(
holdsDuring
?TIME
(
not
(
modalAttribute
(
exists
(?DISC)
(
and
(
instance
?DISC
Discovering
)
(
agent
?DISC ?AGENT)
(
patient
?DISC ?OBJ)))
Possibility
))))))
Mid-level-ontology.kif 17323-17345
如果
过程
是
Disappearing
的
instance
,
然后 有存在
实体
,
施事体
,, ,
另一个 过程
, and 和
时间位置
这样
那个 另外 过程
是
Searching
的
instance
和
那个 过程
出现 的
time
比
那个 另外 过程
出现 的
time
发生的
earlier
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
客体
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 时间位置
是
时距
的
instance
和
那个 时间位置
时段 是
那个 另外 过程
出现 的
time
时段 的一
part
和 有存在
那个 过程
ISC 这样
那个 过程
ISC 是
发现
的
instance
和
那个 施事体
是
那个 过程
ISC 的
agent
和
那个 实体
是
那个 过程
ISC 的
patient
的声明 doesn't have
可能性
的语气 在
那个 时间位置
holdsDuring
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
capability
Seeing
patient
?E)
Possibility
))
Cars.kif 1161-1165
如果
实体
是
Exhaust
的
instance
,
然后
那个 实体
能够担当
受事
的角色做
看
的声明 has
可能性
的语气
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
not
(
capability
Seeing
patient
?E))
Possibility
))
Cars.kif 1167-1172
如果
实体
是
Exhaust
的
instance
,
然后
那个 实体
不 能够担当
受事
的角色做
看
的声明 has
可能性
的语气
(=>
(
instance
?SPINE
PlantSpinoseStructure
)
(
modalAttribute
(
exists
(?I ?P ?A)
(
and
(
instance
?I
Inserting
)
(
instrument
?I ?SPINE)
(
instance
?A
Animal
)
(
patient
?I ?A)
(
causes
?I ?P)
(
instance
?P
Pain
)
(
experiencer
?P ?A)))
Possibility
))
Mid-level-ontology.kif 9587-9598
如果
实体
是
PlantSpinoseStructure
的
instance
,
然后 有存在
另一个 实体
,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
是
插入
的
instance
和
那个 实体
是导致
那个 另外 实体
的
instrument
和
那个 第四 实体
是
动物
的
instance
和
那个 第四 实体
是
那个 另外 实体
的
patient
和
那个 另外 实体
causes
那个 第三 实体
和
那个 第三 实体
是
痛
的
instance
和
那个 第四 实体
经历了
那个 第三 实体
的声明 has
可能性
的语气
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