attribute
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 966-975
如果
过程
是
Anesthetizing
的
instance
和
实体
是
那个 过程
的
patient
,
然后
无意识
是
那个 实体
的
attribute
和
痛
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
如果
过程
是
Anesthetizing
的
instance
和
实体
是
那个 过程
的
patient
,
然后
无意识
是
那个 实体
的
attribute
或
痛
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
如果
过程
是
LocalAnesthetizing
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
身体部位
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
那个 过程
的
patient
,
然后
PainFn
那个 客体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?A
Sedating
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Conscious
)
(
not
(
attribute
?P
Anxiety
)))))
Medicine.kif 983-992
如果
过程
是
Sedating
的
instance
和
实体
是
那个 过程
的
patient
,
然后
Conscious
是
那个 实体
的
attribute
和
焦虑
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?ACT
ActivatingADeactivatedAccount
)
(
instance
?AC
UserAccount
)
(
patient
?ACT ?AC))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?ACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4482-4491
如果
过程
是
ActivatingADeactivatedAccount
的
instance
和
实体
是
用户帐号
的
instance
和
那个 实体
是
那个 过程
的
patient
,
然后
AccountDeactivated
是
那个 实体
的
attribute
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
AccountActive
是
那个 实体
的
attribute
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?ACT
Drinking
)
(
resource
?ACT ?FOOD))
(
attribute
?FOOD
Liquid
))
Merge.kif 10276-10280
如果
过程
是
饮
的
instance
和
客体
是
那个 过程
的
resource
,
然后
液体
是
那个 客体
的
attribute
(=>
(
and
(
instance
?ACT
Eating
)
(
resource
?ACT ?FOOD))
(
attribute
?FOOD
Solid
))
Merge.kif 10265-10269
如果
过程
是
进食
的
instance
和
客体
是
那个 过程
的
resource
,
然后
固体
是
那个 客体
的
attribute
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
attribute
?AGENT
(
MemberFn
?ORG)))
Government.kif 1767-1772
如果
客体
是
施事体
的
instance
和
机构
是
机构
的
instance
和
那个 客体
是
那个 机构
的
member
,
然后
那个 机构
的
member
是
那个 客体
的
attribute
(=>
(
and
(
instance
?AGENT
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?AGENT
(
MemberRoleFn
?ORG ?POSITION)))
(
attribute
?AGENT
(
MemberFn
?ORG)))
Government.kif 1789-1795
如果
客体
是
人类
的
instance
和
机构
是
机构
的
instance
和
地位
是
地位
的
instance
和
那个 地位
和
那个 机构
的
member
角色 是
那个 客体
的
attribute
,
然后
那个 机构
的
member
是
那个 客体
的
attribute
(=>
(
and
(
instance
?AGENT
SentientAgent
)
(
attribute
?AGENT
Living
))
(
exists
(?ATTR)
(
and
(
instance
?ATTR
ConsciousnessAttribute
)
(
attribute
?AGENT ?ATTR))))
Merge.kif 18299-18306
如果
客体
是
有感知的主事
的
instance
和
活的
是
那个 客体
的
attribute
,
然后 有存在
属性
这样
那个 属性
是
意识状态
的
instance
和
那个 属性
是
那个 客体
的
attribute
(=>
(
and
(
instance
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12656-12669
如果
过程
是
形状变化
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
形状属性
的
instance
和
那个 另外 实体
是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 另外 实体
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
或
那个 另外 实体
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 另外 实体
是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12616-12629
如果
过程
是
表面变化
的
instance
和
客体
是
那个 过程
的
patient
,
然后 有存在
另一个 客体
和
实体
这样
那个 另外 客体
是
那个 客体
的
superficialPart
和
那个 实体
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
或
那个 实体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
agent
?AMBULATE ?AGENT))
(
attribute
?AGENT
Standing
))
Merge.kif 18063-18067
如果
过程
是
走动
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
站立
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?BLOW
VolcanicEruption
)
(
eventLocated
?BLOW ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1865-1870
如果
客体
是
地理区域
的
instance
和
过程
是
火山爆发
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后
地质稳定
不 是
那个 客体
的
attribute
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?CONE
Volcano
)
(
attribute
?CONE
VolcanicallyActive
))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1858-1863
如果
客体
是
地理区域
的
instance
和
另一个 客体
是
火山
的
instance
和
火山活跃
是
那个 另外 客体
的
attribute
,
然后
地质稳定
不 是
那个 客体
的
attribute
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?FAULT
GeologicalFault
)
(
located
?FAULT ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1879-1884
如果
客体
是
地理区域
的
instance
和
物理
是
地质断层
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后
地质稳定
不 是
那个 客体
的
attribute
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?SHAKING
EarthTremor
)
(
eventLocated
?SHAKING ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1872-1877
如果
客体
是
地理区域
的
instance
和
过程
是
地震
的
instance
和
那个 过程
是
located
在
那个 客体
,
然后
地质稳定
不 是
那个 客体
的
attribute
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
如果
地缘政治区域
是
地缘政治区域
的
instance
和 %2 是 1% 的
government
类别,
然后
政体
是
那个 地缘政治区域
的
Government
的
attribute
(=>
(
and
(
instance
?AS
AirStream
)
(
part
?AIR ?AS))
(
attribute
?AR
Gas
))
Weather.kif 69-73
如果
客体
是
气流
的
instance
和
另一个 客体
是
那个 客体
的
part
,
然后
加油站
是
第三 客体
的
attribute
(=>
(
and
(
instance
?ATTR
AlbumAttribute
)
(
albumType
?A ?ATTR))
(
attribute
?A ?ATTR))
Music.kif 297-301
如果
关联属性
是
AlbumAttribute
的
instance
和
Album
是
那个 关联属性
,
然后
那个 关联属性
是
那个 Album
的
attribute
(=>
(
and
(
instance
?ATTR
ConsciousnessAttribute
)
(
attribute
?AGENT ?ATTR))
(
and
(
instance
?AGENT
SentientAgent
)
(
attribute
?AGENT
Living
)))
Merge.kif 18308-18314
如果
属性
是
意识状态
的
instance
和
那个 属性
是
客体
的
attribute
,
然后
那个 客体
是
有感知的主事
的
instance
和
活的
是
那个 客体
的
attribute
(=>
(
and
(
instance
?ATTRIBUTE
ShapeAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17736-17741
如果
属性
是
形状属性
的
instance
和
那个 属性
是
自身连接物体
的
attribute
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
,
然后
那个 属性
是
那个 另外 自身连接物体
的
attribute
(=>
(
and
(
instance
?ATTRIBUTE
TextureAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17764-17769
如果
属性
是
纹理属性
的
instance
和
那个 属性
是
自身连接物体
的
attribute
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
,
然后
那个 属性
是
那个 另外 自身连接物体
的
attribute
(=>
(
and
(
instance
?B
BecomingDrunk
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Sober
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))))
Mid-level-ontology.kif 16343-16353
如果
过程
是
变得醉了
的
instance
和
施事体
经历了
那个 过程
,
然后
清醒
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
醉
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?B
Blushing
)
(
experiencer
?B ?A))
(
exists
(?T1 ?T2 ?S1 ?S2)
(
and
(
instance
?S1
EmotionalState
)
(
instance
?S2
EmotionalState
)
(
not
(
equal
?S1 ?S2))
(
holdsDuring
?T1
(
attribute
?A ?S1))
(
holdsDuring
?T2
(
attribute
?A ?S2))
(
starts
(
WhenFn
?B) ?T2)
(
finishes
(
WhenFn
?B) ?T1))))
Mid-level-ontology.kif 21474-21489
如果
过程
是
脸红
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
时距
,
另一个 时距
,, ,
实体
, and 和
另一个 实体
这样
那个 实体
是
情绪状态
的
instance
和
那个 另外 实体
是
情绪状态
的
instance
和
那个 实体
不
equal
那个 另外 实体
和
那个 实体
是
那个 施事体
的
attribute
在
那个 时距
holdsDuring
和
那个 另外 实体
是
那个 施事体
的
attribute
在
那个 另外 时距
holdsDuring
和
那个 过程
出现 的
time
starts
了才到
那个 另外 时距
和
那个 过程
出现 的
time
finishes
了才到
那个 时距
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