or
(=>
(
and
(
instance
?CC
ComputerCable
)
(
not
(
instance
?C
Cable
))
(
part
?C ?CC))
(
or
(
instance
?C
MaleConnector
)
(
instance
?C
FemaleConnector
)))
ComputingBrands.kif 2746-2754
如果
客体
是
连接线
的
instance
和
另一个 客体
不 是
Cable
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
那个 另外 客体
是
公
的
instance
或
那个 另外 客体
是
母
的
instance
(=>
(
and
(
instance
?CHANGE
InternalChange
)
(
patient
?CHANGE ?OBJ))
(
exists
(?PROPERTY)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))))))
Merge.kif 12645-12656
如果
过程
是
内部变化
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 另外 实体
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
或
那个 另外 实体
不 是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 另外 实体
是
那个 实体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?COLORING
Coloring
)
(
patient
?COLORING ?OBJ))
(
exists
(?PROPERTY ?PART)
(
and
(
part
?PART ?OBJ)
(
instance
?PROPERTY
ColorAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12682-12696
如果
过程
是
染色
的
instance
和
客体
是
那个 过程
的
patient
,
然后 有存在
实体
和
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
part
和
那个 实体
是
颜色属性
的
instance
和
那个 实体
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
或
那个 实体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?CONDUCT
MusicalConducting
)
(
patient
?CONDUCT ?PATIENT)
(
instance
?M
Musician
))
(
or
(
instance
?PATIENT
MusicalGroup
)
(
holdsDuring
(
WhenFn
?CONDUCT)
(
attribute
?PATIENT ?M))))
Mid-level-ontology.kif 18533-18542
如果
过程
是
MusicalConducting
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
音乐家
的
instance
,
然后
那个 实体
是
音乐团体
的
instance
或
那个 另外 实体
是
那个 实体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
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
?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 17198-17218
如果
过程
是
减速
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实数
,
另一个 实数
,, ,
第三 实数
,, ,
第四 实数
,, ,
实体
, and 和
另一个 实体
这样
那个 施事体
的
measure
是
那个 实数
那个 实体
除以
那个 第三 实数
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
的
measure
是
那个 另外 实数
那个 实体
除以
那个 第四 实数
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 实数
是
greaterThan
那个 另外 实数
或
那个 第三 实数
是
greaterThan
那个 第四 实数
(=>
(
and
(
instance
?D
Demonstration
)
(
agent
?D ?A))
(
or
(
instance
?A
Human
)
(
instance
?A
GroupOfPeople
)))
MilitaryProcesses.kif 2663-2669
如果
过程
是
示范
的
instance
和
施事体
是
那个 过程
的
agent
,
然后
那个 施事体
是
人类
的
instance
或
那个 施事体
是
一群人
的
instance
(=>
(
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
和
那个 过程
T
equal
那个 过程
出现 的
time
,
然后
那个 过程
的 目的 是 不存在
实体
这样
那个 过程
T 接着
那个 实体
出现 的
time
或
那个 实体
出现 的
time
时段 和
那个 过程
T 重叠 和
那个 实体
是
碰撞
的
instance
和
那个 施事体
是
那个 实体
的
patient
(=>
(
and
(
instance
?D
EasterSunday
)
(
temporalPart
?D ?M)
(
instance
?M
Month
))
(
or
(
instance
?M
March
)
(
instance
?M
April
)
(
instance
?M
May
)))
Media.kif 498-506
如果
时间位置
是
EasterSunday
的
instance
和
那个 时间位置
时段 是
另一个 时间位置
时段 的一
part
和
那个 另外 时间位置
是
月
的
instance
,
然后
那个 另外 时间位置
是
三月
的
instance
或
那个 另外 时间位置
是
A四月
的
instance
或
那个 另外 时间位置
是
五月
的
instance
(=>
(
and
(
instance
?E
Epidemic
)
(
involvedInEvent
?E ?H))
(
or
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
attribute
?H ?D))
(
exists
(?P)
(
and
(
instance
?P
PathologicProcess
)
(
experiencer
?P ?H)
(
subProcess
?P ?E)))))
Medicine.kif 3517-3529
如果
过程
是
Epidemic
的
instance
和
施事体
是事件
那个 过程
的
involved
,
然后
属性
是
疾病或综合症
的
instance
和
那个 属性
是
那个 施事体
的
attribute
或 有存在
另一个 过程
这样
那个 另外 过程
是
病理过程
的
instance
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
%n是
那个 过程
的
subProcess
(=>
(
and
(
instance
?ELT
ExperiencingHeatInCheeksOrChest
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
or
(
instance
?T
Torso
)
(
instance
?T
Face
))
(
part
?T ?A))))
emotion.kif 1738-1751
如果
过程
是
ExperiencingHeatInCheeksOrChest
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
和
客体
这样
那个 另外 过程
是
感知
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 客体
是
那个 另外 过程
的
patient
和
那个 客体
是
躯干
的
instance
或
那个 客体
是
面对
的
instance
和
那个 客体
是
那个 施事体
的
part
(=>
(
and
(
instance
?EP
EntertainmentProfession
)
(
attribute
?P ?EP))
(
or
(
occupation
?P
(
OccupationFn
Performance
))
(
occupation
?P
(
OccupationFn
ContentDevelopment
))))
Mid-level-ontology.kif 18948-18954
如果
属性
是
娱乐专业
的
instance
和
那个 属性
是
人类
的
attribute
,
然后
性能
的
occupation
是
那个 人类
的
occupation
或
内容制作
的
occupation
是
那个 人类
的
occupation
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
experiencer
?EV ?P))
(
exists
(?C ?CA)
(
and
(
instance
?C
Classifying
)
(
subProcess
?C ?EV)
(
experiencer
?C ?P)
(
or
(
subOrganization
?CA ?A)
(
member
?CA ?A)
(
equal
?CA ?A))
(
agent
?C ?CA))))
MilitaryProcesses.kif 2609-2623
如果
过程
是
疏散
的
instance
和
机构
是
那个 过程
的
agent
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
和
那个 另外 过程
A 这样
那个 另外 过程
是
分类
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
A 是
那个 机构
Organization
的一部分 或
那个 另外 过程
A 是
那个 机构
的
member
或
那个 另外 过程
A
equal
那个 机构
和
那个 另外 过程
A 是
那个 另外 过程
的
agent
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
origin
?EV ?O))
(
exists
(?T ?TA)
(
and
(
instance
?T
Translocation
)
(
subProcess
?T ?EV)
(
origin
?T ?O)
(
or
(
experiencer
?T ?TA)
(
agent
?T ?TA))
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A)))))
MilitaryProcesses.kif 2627-2643
如果
过程
是
疏散
的
instance
和
机构
是
那个 过程
的
agent
和
客体
是
那个 过程
的源头,
然后 有存在
另一个 过程
和
那个 另外 过程
A 这样
那个 另外 过程
是
易位
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 客体
是
那个 另外 过程
的源头 和
那个 另外 过程
A 经历了
那个 另外 过程
或
那个 另外 过程
A 是
那个 另外 过程
的
agent
和
那个 另外 过程
A 是
那个 机构
Organization
的一部分 或
那个 另外 过程
A 是
那个 机构
的
member
或
那个 另外 过程
A
equal
那个 机构
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?P)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
TherapeuticProcess
)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA)
(
experiencer
?M ?P))))
MilitaryProcesses.kif 2591-2605
如果
过程
是
疏散
的
instance
和
施事体
经历了
那个 过程
和
机构
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
和
那个 另外 过程
A 这样
那个 另外 过程
是
治疗过程
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
A 是
那个 机构
Organization
的一部分 或
那个 另外 过程
A 是
那个 机构
的
member
或
那个 另外 过程
A
equal
那个 机构
和
那个 另外 过程
A 是
那个 另外 过程
的
agent
和
那个 施事体
经历了
那个 另外 过程
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2573-2587
如果
过程
是
疏散
的
instance
和
客体
是
那个 过程
的源头 和
机构
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
和
那个 另外 过程
A 这样
那个 另外 过程
是
维护
的
instance
和
那个 另外 过程
是
located
在
那个 客体
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
A 是
那个 机构
Organization
的一部分 或
那个 另外 过程
A 是
那个 机构
的
member
或
那个 另外 过程
A
equal
那个 机构
和
那个 另外 过程
A 是
那个 另外 过程
的
agent
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2554-2569
如果
过程
是
疏散
的
instance
和
客体
是
那个 过程
的源头 和
机构
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
和
那个 另外 过程
A 这样
那个 另外 过程
是
运输
的
instance
和
那个 另外 过程
在
那个 客体
结束 和
那个 另外 过程
A 是
那个 机构
Organization
的一部分 或
那个 另外 过程
A 是
那个 机构
的
member
或
那个 另外 过程
A
equal
那个 机构
和
那个 另外 过程
A 是
那个 另外 过程
的
agent
或
那个 另外 过程
A 是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?SUBJECT
Human
)
(
experimentalSubject
?EXPERIMENT ?SUBJECT))
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experiencer
?PROCESS ?SUBJECT)
(
or
(
experimentalControlProcess
?EXPERIMENT ?PROCESS)
(
experimentalVariableProcess
?EXPERIMENT ?PROCESS)))))
UXExperimentalTerms.kif 3923-3934
如果
试验
是
试验
的
instance
和
人类
是
人类
的
instance
和
那个 人类
是在
那个 试验
的
subject
,
然后 有存在
过程
这样
那个 过程
是
过程
的
instance
和
那个 人类
经历了
那个 过程
和
control
在实验
那个 试验
是
那个 过程
或
那个 过程
在
那个 试验
的
process
(=>
(
and
(
instance
?EXPRESS
ExpressingApproval
)
(
agent
?EXPRESS ?AGENT)
(
patient
?EXPRESS ?THING))
(
or
(
wants
?AGENT ?THING)
(
desires
?AGENT ?THING)))
Mid-level-ontology.kif 12977-12984
如果
过程
是
表示赞同
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
公式
是
那个 过程
的
patient
,
然后
那个 有认知的主事
wants
那个 公式
或
那个 有认知的主事
desires
那个 公式
(=>
(
and
(
instance
?EXPRESS
ExpressingDisapproval
)
(
agent
?EXPRESS ?AGENT)
(
patient
?EXPRESS ?THING))
(
or
(
dislikes
?AGENT ?THING)
(
disapproves
?AGENT ?THING)))
Mid-level-ontology.kif 12990-12997
如果
过程
是
表示不赞成
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
公式
是
那个 过程
的
patient
,
然后
那个 有认知的主事
dislikes
那个 公式
或
那个 公式
是
那个 有认知的主事
的
disapproves
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
如果
过程
是
外国内部防御
的
instance
和
施事体
是
那个 过程
的
agent
和
另一个 施事体
经历了
那个 过程
,
然后
那个 过程
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
学习
的
instance
和
那个 实体
经历了
那个 另外 实体
和
那个 施事体
是
那个 另外 实体
的
agent
和
那个 另外 施事体
是
那个 实体
的
military
区域 或
那个 实体
是
军事力量
的
instance
和
那个 实体
是
located
在
那个 另外 施事体
(=>
(
and
(
instance
?FORMULA1
Formula
)
(
instance
?FORMULA2
Formula
))
(
or
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
independentProbability
?FORMULA1 ?FORMULA2)))
Merge.kif 2647-2654
如果
公式
是
公式
的
instance
和
另一个 公式
是
公式
的
instance
,
然后
那个 公式
增加
那个 另外 公式
发生的机率 或
那个 公式
减少
那个 另外 公式
发生的机率 或
那个 公式
和
那个 另外 公式
各自独立发生的机率是 %n
(=>
(
and
(
instance
?GRAPH
Graph
)
(
instance
?NODE1
GraphNode
)
(
instance
?NODE2
GraphNode
)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
not
(
equal
?NODE1 ?NODE2)))
(
exists
(?ARC ?PATH)
(
or
(
links
?NODE1 ?NODE2 ?ARC)
(
and
(
subGraph
?PATH ?GRAPH)
(
instance
?PATH
GraphPath
)
(
or
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE1)
(
equal
(
EndNodeFn
?PATH) ?NODE2))
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE2)
(
equal
(
EndNodeFn
?PATH) ?NODE1)))))))
Merge.kif 5631-5651
如果
图
是
图
的
instance
和
图节点
是
图节点
的
instance
和
另一个 图节点
是
图节点
的
instance
和
那个 图节点
是
那个 图
的
part
和
那个 另外 图节点
是
那个 图
的
part
和
那个 图节点
不
equal
那个 另外 图节点
,
然后 有存在
图弧
和
图路径
这样
那个 图弧
links
那个 图节点
和
那个 另外 图节点
或
那个 图路径
是
那个 图
的
subGraph
和
那个 图路径
是
图路径
的
instance
和
那个 图路径
的开端
equal
那个 图节点
和
那个 图路径
的末端
equal
那个 另外 图节点
或
那个 图路径
的开端
equal
那个 另外 图节点
和
那个 图路径
的末端
equal
那个 图节点
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
instance
?GUIE2
GUIElement
)
(
not
(
instance
?GUIE1
InterfaceWindow
))
(
not
(
instance
?GUIE2
InterfaceWindow
))
(
screenOfGUIE
?GUIE1 ?SCREEN)
(
screenOfGUIE
?GUIE2 ?SCREEN)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
hasGUEState
?GUIE2
GUE_ActiveState
))
(
or
(
properPart
?GUIE1 ?GUIE2)
(
properPart
?GUIE2 ?GUIE1)
(
equal
?GUIE1 ?GUIE2)))
ComputerInput.kif 1935-1948
如果
GUIElement
是
GUIElement
的
instance
和
另一个 GUIElement
是
GUIElement
的
instance
和
那个 GUIElement
不 是
InterfaceWindow
的
instance
和
那个 另外 GUIElement
不 是
InterfaceWindow
的
instance
和
那个 GUIElement
是
displayed
在
ComputerScreen
和
那个 另外 GUIElement
是
displayed
在
那个 ComputerScreen
和
那个 GUIElement
有
state
GUE_ActiveState
和
那个 另外 GUIElement
有
state
GUE_ActiveState
,
然后
那个 GUIElement
是
那个 另外 GUIElement
的
properPart
或
那个 另外 GUIElement
是
那个 GUIElement
的
properPart
或
那个 GUIElement
equal
那个 另外 GUIElement
(=>
(
and
(
instance
?H
Hanukkah
)
(
equal
?B
(
BeginFn
?H)))
(
exists
(?M)
(
and
(
temporalPart
?B ?M)
(
instance
?M
Month
)
(
or
(
instance
?M
November
)
(
instance
?M
December
)))))
Media.kif 587-597
如果
时距
是
Hanukkah
的
instance
和
时点
equal
那个 时距
的开始,
然后 有存在
时间位置
这样
那个 时点
时段 是
那个 时间位置
时段 的一
part
和
那个 时间位置
是
月
的
instance
和
那个 时间位置
是
十一月
的
instance
或
那个 时间位置
是
十二月
的
instance
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