knows
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3718-3759
如果
客体
是
CarAlarm
的
instance
和
另一个 客体
是
自供电公路车辆
的
instance
和
那个 客体
是
那个 另外 客体
的
part
,
然后 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 客体
的 目的 是
如果
那个 实体
是
偷窃行为
的
instance
或
那个 实体
是
损坏
的
instance
和
那个 另外 实体
是
人类
的
instance
和
那个 另外 实体
是
那个 实体
的
agent
和
那个 另外 客体
是
那个 实体
的
patient
和
那个 实体
出现 的
time
equal
那个 第三 实体
和
那个 实体
是
partly
located
在
那个 第四 实体
,
然后 有存在
第五 实体
这样
那个 第五 实体
是
放射声音
的
instance
和
那个 客体
是
那个 第五 实体
的
agent
和
那个 实体
causes
那个 第五 实体
和
那个 第五 实体
的 目的 是 有存在
第六 实体
这样
那个 第六 实体
是
人类
的
instance
和
那个 第六 实体
在
那个 第四 实体
的
近
在
那个 第三 实体
holdsDuring
增加
那个 第六 实体
knows
有存在
第七 实体
这样
那个 第七 实体
是
偷窃行为
的
instance
或
那个 第七 实体
是
损坏
的
instance
和
那个 第七 实体
是
partly
located
在
那个 第四 实体
和
那个 另外 客体
是
那个 第七 实体
的
patient
在
那个 第三 实体
holdsDuring
或
那个 第五 实体
出现 的
time
finishes
了才到
那个 实体
出现 的
time
发生的机率
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26445-26463
如果
客体
是
FireAlarm
的
instance
和
设备上
是
那个 客体
的
attribute
和
那个 客体
是
located
在
另一个 客体
,
然后 有存在
过程
这样
那个 过程
是
放射声音
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 过程
的 目的 是 有存在
实体
这样
那个 实体
是
一群人
的
instance
和
那个 实体
是
located
在
那个 另外 客体
和
那个 实体
knows
有存在
另一个 实体
这样
那个 另外 实体
是
火
的
instance
和
那个 另外 实体
是
located
在
那个 另外 客体
(=>
(
attribute
?X
Celebrity
)
(
greaterThan
(
exists
(?A)
(
CardinalityFn
(
KappaFn
?A
(
knows
?A
(
exists
(?P)
(
equal
?P ?X)))))) 1000))
Mid-level-ontology.kif 22172-22181
如果
名人
是
客体
的
attribute
,
然后 有存在
实体
这样
那个 实体
所描述的类别
instance
的数量 是
greaterThan
1000
(=>
(
instance
?C
CommunitySpread
)
(
not
(
exists
(?H)
(
knows
?H
(
exists
(?N)
(
and
(
origin
?C ?H)
(
names
?N ?H)))))))
Medicine.kif 3218-3226
如果
实体
是
CommunitySpread
的
instance
,
然后 不存在
有认知的主事
这样
那个 有认知的主事
knows
有存在
另一个 实体
这样
那个 有认知的主事
是
那个 实体
的源头 和
那个 有认知的主事
的名 是
那个 另外 实体
(=>
(
instance
?FMIP
FindMyIPhone
)
(
hasPurpose
?FMIP
(
exists
(?A ?IP ?P ?L)
(
and
(
instance
?IP
AppleIPhone
)
(
instrument
?P ?FMIP)
(
agent
?P ?A)
(
patient
?P ?IP)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?P))
(
not
(
knows
?A
(
located
?IP ?L))))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?P))
(
knows
?A
(
located
?IP ?L)))))))
ComputingBrands.kif 4263-4282
如果
物理
是
FindMyIPhone
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
是
iPhone
的
instance
和
那个 物理
是导致
那个 第三 实体
的
instrument
和
那个 实体
是
那个 第三 实体
的
agent
和
那个 另外 实体
是
那个 第三 实体
的
patient
和
那个 实体
doesn't
knows
那个 另外 实体
是
located
在
那个 第四 实体
在 紧接
那个 第三 实体
出现 的
time
before
holdsDuring
和
那个 实体
knows
那个 另外 实体
是
located
在
那个 第四 实体
在 紧接
那个 第三 实体
出现 的
time
after
holdsDuring
(=>
(
instance
?P
Phishing
)
(
exists
(?FS ?V ?M ?I)
(
and
(
instance
?M
Communication
)
(
origin
?M ?FS)
(
agent
?P ?FS)
(
destination
?M ?V)
(
instance
?I
Formula
)
(
knows
?V ?I)
(
not
(
desires
?V
(
knows
?FS ?I)))
(
desires
?FS
(
knows
?FS ?I)))))
ComputingBrands.kif 4235-4249
如果
过程
是
Phishing
的
instance
,
然后 有存在
有认知的主事
,
另一个 有认知的主事
,, ,
另一个 过程
, and 和
公式
这样
那个 另外 过程
是
沟通
的
instance
和
那个 有认知的主事
是
那个 另外 过程
的源头 和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 另外 过程
在
那个 另外 有认知的主事
结束 和
那个 公式
是
公式
的
instance
和
那个 另外 有认知的主事
knows
那个 公式
和
那个 另外 有认知的主事
doesn't
desires
那个 有认知的主事
knows
那个 公式
和
那个 有认知的主事
desires
那个 有认知的主事
knows
那个 公式
(=>
(
instance
?R
RTPCRTest
)
(
hasPurpose
?R
(
exists
(?M ?A ?T ?MEAS)
(
and
(
instance
?M
Measuring
)
(
patient
?M ?RNA)
(
instance
?RNA
RNAMolecule
)
(
holdsDuring
?T
(
measure
?RNA ?MEAS))
(
knows
?A
(
holdsDuring
?T
(
measure
?RNA ?MEAS)))))))
Medicine.kif 1575-1587
如果
物理
是
RTPCRTest
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
那个 实体
EAS 这样
那个 实体
是
测量
的
instance
和
那个 物理
NA 是
那个 实体
的
patient
和
那个 物理
NA 是
RNA分子
的
instance
和
那个 物理
NA 的
measure
是
那个 实体
EAS 在
那个 第三 实体
holdsDuring
和
那个 另外 实体
knows
那个 物理
NA 的
measure
是
那个 实体
EAS 在
那个 第三 实体
holdsDuring
(=>
(
instance
?S
Searching
)
(
exists
(?AGENT ?OBJ ?LOC)
(
and
(
instance
?AGENT
CognitiveAgent
)
(
agent
?S ?AGENT)
(
instance
?OBJ
Physical
)
(
patient
?S ?OBJ)
(
instance
?LOC
Object
)
(
located
?OBJ ?LOC)
(
hasPurposeForAgent
?S
(
knows
?AGENT
(
located
?OBJ ?LOC)) ?AGENT))))
Merge.kif 12992-13004
如果
过程
是
Searching
的
instance
,
然后 有存在
施事体
,
物理
, and 和
客体
这样
那个 施事体
是
有认知的主事
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 物理
是
物理
的
instance
和
那个 物理
是
那个 过程
的
patient
和
那个 客体
是
客体
的
instance
和
那个 物理
是
located
在
那个 客体
和
那个 施事体
在
那个 过程
的 目的 是
那个 施事体
knows
那个 物理
是
located
在
那个 客体
(=>
(
instance
?TA_CTRL
TerminalAttackControl
)
(
hasPurpose
?TA_CTRL
(
exists
(?AGENT ?ATTACK ?LOCATION ?TARGET)
(
and
(
targetInAttack
?ATTACK ?TARGET)
(
patient
?TA_CTRL ?TARGET)
(
agent
?TA_CTRL ?AGENT)
(
result
?TA_CTRL
(
knows
?AGENT
(
located
?TARGET ?LOCATION)))))))
MilitaryProcesses.kif 468-478
如果
实体
_CTRL 是
终端攻击控制
的
instance
,
然后
那个 实体
_CTRL 的 目的 是 有存在
另一个 实体
,
第三 实体
,, ,
第四 实体
, and 和
那个 实体
RGET 这样
那个 实体
RGET 是
那个 第三 实体
的 攻击
target
和
那个 实体
RGET 是
那个 实体
_CTRL 的
patient
和
那个 另外 实体
是
那个 实体
_CTRL 的
agent
和
那个 另外 实体
knows
那个 实体
RGET 是
located
在
那个 第四 实体
是
那个 实体
_CTRL 的
result
(=>
(
instance
?TA_CTRL
TerminalGuidance
)
(
hasPurpose
?TA_CTRL
(
exists
(?AGENT ?ATTACK ?LOCATION ?TARGET)
(
and
(
targetInAttack
?ATTACK ?TARGET)
(
patient
?TA_CTRL ?TARGET)
(
agent
?TA_CTRL ?AGENT)
(
result
?TA_CTRL
(
knows
?AGENT
(
located
?TARGET ?LOCATION)))))))
MilitaryProcesses.kif 521-531
如果
实体
_CTRL 是
终端指导
的
instance
,
然后
那个 实体
_CTRL 的 目的 是 有存在
另一个 实体
,
第三 实体
,, ,
第四 实体
, and 和
那个 实体
RGET 这样
那个 实体
RGET 是
那个 第三 实体
的 攻击
target
和
那个 实体
RGET 是
那个 实体
_CTRL 的
patient
和
那个 另外 实体
是
那个 实体
_CTRL 的
agent
和
那个 另外 实体
knows
那个 实体
RGET 是
located
在
那个 第四 实体
是
那个 实体
_CTRL 的
result
(=>
(
member
?AGNOSTIC
Agnosticism
)
(
not
(
knows
?AGNOSTIC
(
not
(
exists
(?GOD)
(
equal
?GOD
God
))))))
People.kif 691-697
如果
有认知的主事
是
不可知论
的
member
,
然后
那个 有认知的主事
doesn't
knows
不存在
实体
这样
那个 实体
equal
神
(=>
(
trusts
?A1 ?A2
(
capability
?P
agent
?A2))
(
knows
?A1
(
capability
?P
agent
?A2)))
Law.kif 384-388
如果
trusts
有认知的主事
,
施事体
and
那个 施事体
能够担当
主事
的角色做
实体
,
然后
那个 有认知的主事
knows
那个 施事体
能够担当
主事
的角色做
那个 实体
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
exists
(?AGENT)
(
and
(
instance
?AGENT
CognitiveAgent
)
(
possesses
?AGENT ?SITE)
(
knows
?AGENT ?FORMULA))))
UXExperimentalTerms.kif 1179-1185
如果
公式
是
known
关于 拜访
WebSite
的
施事体
,
然后 有存在
有认知的主事
这样
那个 有认知的主事
是
有认知的主事
的
instance
和
那个 有认知的主事
possesses
那个 WebSite
和
那个 有认知的主事
knows
那个 公式
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