not
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
如果
客体
是
盔甲
的
instance
和
那个 客体
是
另一个 客体
的
part
或
那个 客体
接上
那个 另外 客体
,
然后
那个 客体
的 目的 是 不存在
实体
这样
那个 实体
是
损坏
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 另外 客体
经历了
那个 实体
(=>
(
and
(
instance
?A
Asphyxiation
)
(
experiencer
?A ?M))
(
holdsDuring
(
WhenFn
?A)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
experiencer
?B ?A))))))
Medicine.kif 6304-6313
如果
过程
是
Asphyxiation
的
instance
和
施事体
经历了
那个 过程
,
然后 不存在
实体
这样
那个 实体
是
呼吸
的
instance
和
那个 过程
经历了
那个 实体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?A
AutonomousAgent
)
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
BodyMotion
)
(
instance
?P
IntentionalProcess
)
(
agent
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30242-30253
如果
施事体
是
施事体
的
instance
和
Motionless
是
那个 施事体
的
attribute
在
时距
holdsDuring
,
然后 不存在
过程
这样
那个 过程
是
身体运动
的
instance
和
那个 过程
是
有意图过程
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
出现 的
time
在
那个 时距
时段内发生
(=>
(
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
?ABORTED
(
AbortedMissionFn
?A ?MISSION))
(
causes
?ACTION ?ABORTED)
(
agent
?ACTION ?OTHER_A)
(
agent
?MISSION ?THIS_A))
(
not
(
enemy
?OTHER_A ?THIS_A)))
MilitaryProcesses.kif 2440-2445
如果
过程
是 由
施事体
中止的
军事行动
任务 的
instance
和
那个 施事体
CTION
causes
那个 过程
和
实体
_A 是
那个 施事体
CTION 的
agent
和
另一个 实体
_A 是
那个 军事行动
的
agent
,
然后
enemy
那个 实体
_A and
那个 另外 实体
_A
(=>
(
and
(
instance
?ACT
ActivatingUIElement
)
(
patient
?ACT ?GUIE)
(
instance
?GUIE
GUIElement
))
(
and
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?GUIE
GUE_ActiveState
))
(
holdsDuring
(
BeginFn
?ACT)
(
not
(
hasGUEState
?GUIE
GUE_ActiveState
)))))
ComputerInput.kif 2268-2277
如果
时距
是
ActivatingUIElement
的
instance
和
实体
是
那个 时距
的
patient
和
那个 实体
是
GUIElement
的
instance
,
然后
那个 实体
有
state
GUE_ActiveState
在
那个 时距
的结束
holdsDuring
和 不
那个 实体
有
state
GUE_ActiveState
在
那个 时距
的开始
holdsDuring
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
holdsDuring
(
BeginFn
?ACT)
(
hasGUEState
?WINDOW ?STATE))
(
contraryAttribute
?STATE
GUE_UncoveredState
))
(
holdsDuring
(
EndFn
?ACT)
(
not
(
hasGUEState
?WINDOW ?STATE))))
ComputerInput.kif 2332-2343
如果
时距
是
BringingGEToFront
的
instance
和
实体
是
那个 时距
的
patient
和
那个 实体
是
InterfaceWindow
的
instance
和
那个 实体
有
state
属性
在
那个 时距
的开始
holdsDuring
和
那个 属性
是
GUE_UncoveredState
的相反,
然后 不
那个 实体
有
state
那个 属性
在
那个 时距
的结束
holdsDuring
(=>
(
and
(
instance
?ACT
DownloadingNonAudioVideoImageUserFile
)
(
patient
?ACT ?FILE)
(
instance
?FILE
ComputerFile
))
(
and
(
not
(
instance
?FILE
ImageFile
))
(
not
(
instance
?FILE
AudioFile
))
(
not
(
instance
?FILE
MultimediaFile
))))
ComputerInput.kif 2761-2772
如果
过程
是
DownloadingNonAudioVideoImageUserFile
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
电脑文件
的
instance
,
然后
那个 实体
不 是
图像文件
的
instance
和
那个 实体
不 是
AudioFile
的
instance
和
那个 实体
不 是
MultimediaFile
的
instance
(=>
(
and
(
instance
?ADULT
HumanAdult
)
(
height
?ADULT
(
MeasureFn
?HEIGHT
Inch
)))
(
not
(
greaterThan
?HEIGHT 120.0)))
Mid-level-ontology.kif 211-217
如果
自身连接物体
是
人类成人
的
instance
和
那个 自身连接物体
的
height
是
实数
英寸
,
然后
那个 实数
不 是
greaterThan
120.0
(=>
(
and
(
instance
?AI
AutoImmuneDisorder
)
(
experiencer
?AI ?H))
(
exists
(?A ?D ?C)
(
and
(
instance
?A
Antibody
)
(
part
?A ?H)
(
instance
?C
Cell
)
(
part
?C ?H)
(
instance
?D
Destruction
)
(
instrument
?D ?A)
(
not
(
desires
?H
(
and
(
instance
?D
Destruction
)
(
instrument
?D ?A)))))))
Medicine.kif 2200-2216
如果
过程
是
AutoImmuneDisorder
的
instance
和
有认知的主事
经历了
那个 过程
,
然后 有存在
客体
,
另一个 过程
, and 和
另一个 客体
这样
那个 客体
是
抗体
的
instance
和
那个 客体
是
那个 有认知的主事
的
part
和
那个 另外 客体
是
细胞
的
instance
和
那个 另外 客体
是
那个 有认知的主事
的
part
和
那个 另外 过程
是
摧毁
的
instance
和
那个 客体
是导致
那个 另外 过程
的
instrument
和
那个 有认知的主事
doesn't
desires
那个 另外 过程
是
摧毁
的
instance
和
那个 客体
是导致
那个 另外 过程
的
instrument
(=>
(
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
)
(
equal
?DURATION
(
WhenFn
?AMBULATE)))
(
exists
(?STEP1 ?STEPN)
(
and
(
instance
?STEP1
Stepping
)
(
instance
?STEPN
Stepping
)
(
subProcess
?STEP1 ?AMBULATE)
(
subProcess
?STEPN ?AMBULATE)
(
starts
(
WhenFn
?STEP1) ?DURATION)
(
finishes
(
WhenFn
?STEPN) ?DURATION)
(
not
(
equal
?STEP1 ?STEPN)))))
Mid-level-ontology.kif 487-499
如果
过程
是
走动
的
instance
和
时距
equal
那个 过程
出现 的
time
,
然后 有存在
另一个 过程
和
第三 过程
这样
那个 另外 过程
是
步进
的
instance
和
那个 第三 过程
是
步进
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
出现 的
time
starts
了才到
那个 时距
和
那个 第三 过程
出现 的
time
finishes
了才到
那个 时距
和
那个 另外 过程
不
equal
那个 第三 过程
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1964-1975
如果
地理区域
是
地理区域
的
instance
和
那个 地理区域
的
elevation
高点 是
那个 地理区域
的
geographic
次要地区 和
实数
测量单位
是
那个 地理区域
的
elevation
高点 的
elevation
,
然后 不存在
另一个 地理区域
和
另一个 实数
这样
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
不
equal
那个 地理区域
的
elevation
高点 和
那个 另外 实数
那个 测量单位
是
那个 另外 地理区域
的
elevation
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
如果
地理区域
是
地理区域
的
instance
和
那个 地理区域
的
elevation
低点 是
那个 地理区域
的
geographic
次要地区 和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 地理区域
的
elevation
低点 的
elevation
,
然后 不存在
另一个 地理区域
和
另一个 实数
这样
那个 另外 地理区域
是
那个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
不
equal
那个 地理区域
的
elevation
低点 和
那个 另外 实数
那个 测量单位
是
那个 另外 地理区域
的
elevation
和
那个 另外 实数
是
lessThan
那个 实数
(=>
(
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
LandlockedArea
)
(
instance
?AREA
GeopoliticalArea
))
(
not
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM
MaritimeClaimArea
)
(
claimedTerritory
?CLAIM ?AREA)))))
Geography.kif 924-932
如果
施事体
是
内陆地区
的
instance
和
那个 施事体
是
地缘政治区域
的
instance
,
然后 不存在
地理区域
这样
那个 地理区域
是
海事索赔区
的
instance
和
那个 施事体
是
那个 地理区域
的
claimed
领土
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
subclass
?CLAIM
MaritimeClaimArea
))
(
not
(
maritimeClaimType
?AREA ?CLAIM)))
Geography.kif 983-987
如果
地缘政治区域
是
内陆地区
的
instance
和
有点 海事索赔区
是
海事索赔区
的
subclass
,
然后
有点 海事索赔区
不 是
那个 地缘政治区域
的
maritime
要求类型
(=>
(
and
(
instance
?ARTICLE1
Article
)
(
instance
?BOOK
Book
)
(
subsumesContentInstance
?BOOK ?ARTICLE1))
(
exists
(?ARTICLE2)
(
and
(
instance
?ARTICLE2
Article
)
(
not
(
equal
?ARTICLE2 ?ARTICLE1))
(
subsumesContentInstance
?BOOK ?ARTICLE2))))
Mid-level-ontology.kif 14682-14691
如果
内容承载物理
是
文章
的
instance
和
另一个 内容承载物理
是
书
的
instance
和
那个 另外 内容承载物理
包含
那个 内容承载物理
的内容,
然后 有存在
第三 内容承载物理
这样
那个 第三 内容承载物理
是
文章
的
instance
和
那个 第三 内容承载物理
不
equal
那个 内容承载物理
和
那个 另外 内容承载物理
包含
那个 第三 内容承载物理
的内容
(=>
(
and
(
instance
?ATT1
Attribute
)
(
instance
?ATT2
Attribute
)
(
subrelation
?PRED
attribute
))
(
not
(
and
(
contraryAttributeWRT
?ATT1 ?ATT2 ?PRED)
(?PRED ?ENTITY ?ATT1)
(?PRED ?ENTITY ?ATT2))))
ComputerInput.kif 43-52
如果
属性
是
属性
的
instance
和
另一个 属性
是
属性
的
instance
和
二元谓语
是
属于
的
subrelation
,
然后 ~{
那个 属性
和
那个 另外 属性
是对于
那个 二元谓语
的
mutually
exclusive
} 或 ~{
那个 二元谓语
实体
and
那个 属性
} 或 ~{
那个 二元谓语
那个 实体
and
那个 另外 属性
}
(=>
(
and
(
instance
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12360-12367
如果
过程
是
连接
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
,
然后
那个 实体
和
那个 另外 实体
不 是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的结束
holdsDuring
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