agent
(=>
(
and
(
instance
?CO
CounterproliferationWMD
)
(
agent
?CO ?AGENT))
(
exists
(?ENEMY ?OP)
(
and
(
enemy
?AGENT ?ENEMY)
(
agent
?OP ?ENEMY)
(
instance
?OP
ProliferationWMD
)
(
hasPurpose
?CO
(
prevents
?CO
ProliferationWMD
)))))
MilitaryProcesses.kif 1478-1488
如果
过程
是
反扩散
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
另一个 施事体
和
另一个 过程
这样
enemy
那个 施事体
and
那个 另外 施事体
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
是
增殖作用
的
instance
和
那个 过程
的 目的 是
那个 过程
prevents
增殖作用
的发生
(=>
(
and
(
instance
?COMM
LinguisticCommunication
)
(
agent
?COMM ?AGENT)
(
patient
?COMM ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
holdsDuring
(
WhenFn
?COMM)
(
states
?AGENT ?SENTENCE)))
Media.kif 1838-1844
如果
过程
是
语言交流
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 实体
是
句子
的
instance
,
然后
那个 施事体
states
那个 实体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?CONDUCT
MusicalConducting
)
(
agent
?CONDUCT ?AGENT))
(
holdsDuring
(
WhenFn
?CONDUCT)
(
attribute
?AGENT
MusicalConductor
)))
Media.kif 1869-1873
如果
过程
是
MusicalConducting
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
MusicalConductor
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?COUNT
Counting
)
(
agent
?COUNT ?AGENT)
(
patient
?COUNT ?ENTITY))
(
exists
(?NUMBER)
(
knows
?AGENT
(
equal
(
CardinalityFn
?ENTITY) ?NUMBER))))
Merge.kif 12286-12292
如果
过程
是
数
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样
那个 有认知的主事
knows
equal
那个 实体
instance
的数量 and
那个 另外 实体
(=>
(
and
(
instance
?COVERING
CoveringGUIElement
)
(
agent
?COVERING ?GUIE_TOP)
(
patient
?COVERING ?GUIE_BOTTOM)
(
instance
?GUIE_TOP
GUIElement
)
(
instance
?GUIE_BOTTOM
GUIElement
))
(
holdsDuring
(
EndFn
?COVERING)
(
or
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
guiElementPartiallyCoveredBy
?GUIE_BOTTOM ?GUIE_TOP))))
ComputerInput.kif 2597-2607
如果
时距
是
CoveringGUIElement
的
instance
和
实体
_TOP 是
那个 时距
的
agent
和
那个 实体
_BOTTOM 是
那个 时距
的
patient
和
那个 实体
_TOP 是
GUIElement
的
instance
和
那个 实体
_BOTTOM 是
GUIElement
的
instance
,
然后
那个 实体
_BOTTOM 是由
那个 实体
_TOP
covered
或
那个 实体
_BOTTOM 是由
那个 实体
_TOP
partially
covered
在
那个 时距
的结束
holdsDuring
(=>
(
and
(
instance
?COVERING
PartiallyCoveringGraphicalWindow
)
(
agent
?COVERING ?GUIE_TOP)
(
patient
?COVERING ?GUIE_BOTTOM)
(
instance
?GUIE_TOP
GUIElement
)
(
instance
?GUIE_BOTTOM
GUIElement
))
(
holdsDuring
(
EndFn
?COVERING)
(
guiElementPartiallyCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)))
ComputerInput.kif 2609-2617
如果
时距
是
PartiallyCoveringGraphicalWindow
的
instance
和
实体
_TOP 是
那个 时距
的
agent
和
那个 实体
_BOTTOM 是
那个 时距
的
patient
和
那个 实体
_TOP 是
GUIElement
的
instance
和
那个 实体
_BOTTOM 是
GUIElement
的
instance
,
然后
那个 实体
_BOTTOM 是由
那个 实体
_TOP
partially
covered
在
那个 时距
的结束
holdsDuring
(=>
(
and
(
instance
?CP
ChangingAccountInfo
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
accountInformation
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
not
(
equal
?N2 ?N1))
(
accountInformation
?UA ?N2)))))
ComputingBrands.kif 4118-4130
如果
过程
是
ChangingAccountInfo
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
有
account
用户帐号
和
accountInformation
那个 用户帐号
and
命题
,
然后 有存在
实体
这样
equal
那个 实体
and
那个 命题
和
accountInformation
那个 用户帐号
and
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?CP
ChangingPassword
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
password
?P1 ?UA))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?P2)
(
and
(
instance
?P2
ComputerPassword
)
(
not
(
equal
?P2 ?P1))
(
password
?P2 ?UA)))))
ComputingBrands.kif 4074-4087
如果
过程
是
ChangingPassword
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
有
account
用户帐号
和
那个 用户帐号
有
password
电脑密码
,
然后 有存在
实体
这样
那个 实体
是
电脑密码
的
instance
和
equal
那个 实体
and
那个 电脑密码
和
那个 用户帐号
有
password
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?CP
ChangingUserName
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
userName
?UA ?N1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?N2)
(
and
(
instance
?N2
UserName
)
(
not
(
equal
?N2 ?N1))
(
userName
?UA ?N2)))))
ComputingBrands.kif 4096-4109
如果
过程
是
ChangingUserName
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 施事体
有
account
用户帐号
和
那个 用户帐号
的
user
name
是
用户名
,
然后 有存在
实体
这样
那个 实体
是
用户名
的
instance
和
equal
那个 实体
and
那个 用户名
和
那个 用户帐号
的
user
name
是
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?CP
CreatingAnAccount
)
(
agent
?CP ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?UA ?P1 ?N)
(
and
(
hasAccount
?A ?UA)
(
password
?P1 ?UA)
(
userName
?UA ?N)))))
ComputingBrands.kif 4138-4148
如果
过程
是
CreatingAnAccount
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 施事体
有
account
那个 实体
和
那个 实体
有
password
那个 另外 实体
和
那个 实体
的
user
name
是
那个 第三 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?CREATE
Creation
)
(
result
?CREATE ?PROP)
(
instance
?PROP
Proposition
)
(
agent
?CREATE ?AGENT))
(
propositionOwner
?AGENT ?PROP))
Catalog.kif 172-178
如果
过程
是
创作
的
instance
和
命题
是
那个 过程
的
result
和
那个 命题
是
命题
的
instance
和
有认知的主事
是
那个 过程
的
agent
,
然后
那个 有认知的主事
authored
那个 命题
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 11384-11407
如果
客体
是
Antidiuretic
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
时距
是
Urination
的
instance
和
实体
是
那个 时距
的
result
和
那个 施事体
是
那个 时距
的
agent
和
另一个 时距
是
Urination
的
instance
和
equal
那个 时距
and
那个 另外 时距
和
另一个 实体
是
那个 另外 时距
的
result
和
那个 施事体
是
那个 另外 时距
的
agent
和
那个 时距
比
那个 运动
发生的
earlier
和
那个 运动
比
那个 另外 时距
发生的
earlier
和
测量单位
是
UnitOfVolume
的
instance
和
那个 时距
的
measure
是
实数
那个 测量单位
和
那个 另外 时距
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 实数
是
greaterThan
那个 另外 实数
的声明 has
容易
的语气
(=>
(
and
(
instance
?D
Decelerating
)
(
agent
?D ?A))
(
exists
(?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L1 ?U1)
(
MeasureFn
?T1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L2 ?U1)
(
MeasureFn
?T2 ?U2))))
(
or
(
greaterThan
?L1 ?L2)
(
greaterThan
?T1 ?T2)))))
Mid-level-ontology.kif 18558-18578
如果
过程
是
减速
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实数
,
另一个 实数
,, ,
第三 实数
,, ,
第四 实数
,, ,
实体
, and 和
另一个 实体
这样
那个 施事体
的
measure
是
那个 实数
那个 实体
除以
那个 第三 实数
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
的
measure
是
那个 另外 实数
那个 实体
除以
那个 第四 实数
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 实数
是
greaterThan
那个 另外 实数
或
那个 第三 实数
是
greaterThan
那个 第四 实数
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4561-4571
如果
过程
是
DeletingAnAccount
的
instance
和
实体
是
Account
的
instance
和
施事体
有
account
那个 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
和
那个 实体
是
那个 过程
的
patient
和
那个 施事体
是
那个 过程
的
agent
,
然后 不
那个 施事体
有
account
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?D
DeliveryService
)
(
agent
?D ?AGENT))
(
capability
DeliveryService
agent
?AGENT))
Dining.kif 532-536
如果
过程
是
DeliveryService
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
那个 施事体
能够担当
主事
的角色做
DeliveryService
(=>
(
and
(
instance
?D
DeliveryService
)
(
destination
?D ?LOC1)
(
deliveryRegion
?AGENT ?REGION)
(
conditionalProbability
(
located
?LOC1 ?REGION)
(
agent
?D ?AGENT) ?NUMBER1)
(
conditionalProbability
(
not
(
located
?LOC1 ?REGION))
(
agent
?D ?AGENT) ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Dining.kif 552-561
如果
过程
是
DeliveryService
的
instance
和
那个 过程
在
实体
结束 和
地理区域
是
施事体
的
delivery
区域 和 如果
那个 施事体
是
那个 过程
的
agent
是正确, 那
那个 实体
是
located
在
那个 地理区域
的机率就 是
实数
和 如果
那个 施事体
是
那个 过程
的
agent
是正确, 那
那个 实体
不 是
located
在
那个 地理区域
的机率就 是
另一个 实数
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
instance
?D
Demonstration
)
(
agent
?D ?A))
(
or
(
instance
?A
Human
)
(
instance
?A
GroupOfPeople
)))
MilitaryProcesses.kif 2697-2703
如果
过程
是
示范
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
那个 施事体
是
人类
的
instance
或
那个 施事体
是
一群人
的
instance
(=>
(
and
(
instance
?D
Demonstration
)
(
agent
?D ?G)
(
member
?A1 ?G)
(
member
?A2 ?G))
(
exists
(?P)
(
and
(
believes
?A1 ?P)
(
believes
?A2 ?P))))
MilitaryProcesses.kif 2707-2716
如果
过程
是
示范
的
instance
和
施事体
是
那个 过程
的
agent
和
有认知的主事
是
那个 施事体
的
member
和
另一个 有认知的主事
是
那个 施事体
的
member
,
然后 有存在
公式
这样
那个 有认知的主事
believes
那个 公式
和
那个 另外 有认知的主事
believes
那个 公式
(=>
(
and
(
instance
?D
Dismounting
)
(
agent
?D ?A)
(
patient
?D ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
orientation
?A ?O
On
))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
orientation
?A ?O
On
)))))
Mid-level-ontology.kif 21590-21602
如果
过程
是
拆卸
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后
那个 施事体
在
那个 实体
的
上
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
不 在
那个 实体
的
上
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 11354-11375
如果
客体
是
Diuretic
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
时距
是
Urination
的
instance
和
实体
是
那个 时距
的
result
和
那个 施事体
是
那个 时距
的
agent
和
另一个 时距
是
Urination
的
instance
和
另一个 实体
是
那个 另外 时距
的
result
和
那个 施事体
是
那个 另外 时距
的
agent
和
那个 时距
比
那个 运动
发生的
earlier
和
那个 运动
比
那个 另外 时距
发生的
earlier
和
测量单位
是
UnitOfVolume
的
instance
和
那个 时距
的
measure
是
实数
那个 测量单位
和
那个 另外 时距
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 443-456
如果
过程
是
躲着
的
instance
和
施事体
是
那个 过程
的
agent
和
equal
那个 过程
T and
那个 过程
出现 的
time
,
然后
那个 过程
的 目的 是 不存在
实体
这样
那个 过程
T 接着
那个 实体
出现 的
time
或
那个 实体
出现 的
time
时段 和
那个 过程
T 重叠 和
那个 实体
是
碰撞
的
instance
和
那个 施事体
是
那个 实体
的
patient
(=>
(
and
(
instance
?DAMAGE
Damaging
)
(
agent
?DAMAGE ?PROP)
(
destination
?DAMAGE ?DEST)
(
instance
?DEST
CognitiveAgent
))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 228-235
如果
过程
是
损坏
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
有认知的主事
结束 和
那个 有认知的主事
是
有认知的主事
的
instance
,
然后
那个 有认知的主事
believes
危险
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
Merge.kif 12196-12212
如果
过程
是
决定
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 实体
是
集合
的
instance
和
内容承载物理
是
那个 过程
的
result
和
那个 内容承载物理
是
内容承载物理
的
instance
,
然后
containsFormula
那个 内容承载物理
and 有存在
另一个 实体
这样
那个 另外 实体
是
那个 实体
的
element
和
那个 另外 实体
是
有意图过程
的
instance
和
那个 施事体
是
那个 另外 实体
的
agent
在
那个 过程
出现 的
time
之后
holdsDuring
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12164-12176
如果
过程
是
决定
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
集合
是
集合
的
instance
和
那个 集合
是
那个 过程
的
patient
和
实体
是
那个 集合
的
element
,
然后
那个 有认知的主事
believes
有存在
另一个 实体
这样
那个 实体
是
那个 另外 实体
的
instance
和
那个 另外 实体
是
有意图过程
的
subclass
和
那个 有认知的主事
能够担当
主事
的角色做
那个 另外 实体
(=>
(
and
(
instance
?DEFENSE
DefensiveManeuver
)
(
agent
?DEFENSE ?AGENT))
(
hasPurposeForAgent
?DEFENSE
(
not
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?AGENT)))) ?AGENT))
Merge.kif 13585-13594
如果
过程
是
防守机动
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
那个 施事体
在
那个 过程
的 目的 是 不存在
实体
这样
那个 实体
是
损坏
的
instance
和
那个 施事体
是
那个 实体
的
patient
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