not
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
member
?X ?COLL)
(
member
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
not
(
homologousChromosome
?X ?Y)))
VirusProteinAndCellPart.kif 719-731
如果
群体
是
MonoploidChromosomeSet
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
真核细胞
的
part
和
Chromosome
是
那个 群体
的
member
和
另一个 Chromosome
是
那个 群体
的
member
和
那个 Chromosome
不
equal
那个 另外 Chromosome
,
然后
homologousChromosome
那个 Chromosome
and
那个 另外 Chromosome
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
如果
客体
是
有点 复合物质
的
instance
和
有点 复合物质
是
复合物质
的
subclass
和 不存在
另一个 客体
这样
那个 另外 客体
是
那个 有点 复合物质
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
molecularRatio
有点 元素物质
,
整数
and
那个 有点 复合物质
和
群体
是
群组
的
instance
和
第三 客体
是
那个 群体
的
member
和
那个 第三 客体
是
那个 客体
的
part
和
那个 第三 客体
是
有点 元素物质
的
instance
,
然后
那个 整数
是
那个 群体
的
member
计数
(=>
(
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 10055-10078
如果
客体
是
Antidiuretic
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
时距
是
Urination
的
instance
和
实体
是
那个 时距
的
result
和
那个 施事体
是
那个 时距
的
agent
和
另一个 时距
是
Urination
的
instance
和
那个 时距
不
equal
那个 另外 时距
和
另一个 实体
是
那个 另外 时距
的
result
和
那个 施事体
是
那个 另外 时距
的
agent
和
那个 时距
比
那个 运动
发生的
earlier
和
那个 运动
比
那个 另外 时距
发生的
earlier
和
测量单位
是
UnitOfVolume
的
instance
和
那个 时距
的
measure
是
实数
那个 测量单位
和
那个 另外 时距
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 实数
是
greaterThan
那个 另外 实数
的声明 has
容易
的语气
(=>
(
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
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
如果
过程
是
脱离
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
和
那个 实体
和
那个 另外 实体
是
connected
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
和
那个 另外 实体
不 是
connected
在
另一个 过程
出现 的
time
的结束
holdsDuring
,
然后
objectDetached
那个 另外 过程
and
那个 实体
和
objectDetached
那个 另外 过程
and
那个 另外 实体
(=>
(
and
(
instance
?DIO
DefensiveInformationOperation
)
(
agent
?DIO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
desires
?ENEMY
(
knows
?ENEMY ?FORMULA))
(
desires
?AGENT
(
not
(
knows
?ENEMY ?FORMULA))))
(
hasPurpose
?DIO
(
not
(
knows
?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
如果
过程
是
防御性信息操作
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
enemy
那个 有认知的主事
and
另一个 有认知的主事
和
那个 另外 有认知的主事
desires
那个 另外 有认知的主事
knows
实体
和
那个 有认知的主事
desires
那个 另外 有认知的主事
doesn't
knows
那个 实体
,
然后
那个 过程
的 目的 是
那个 另外 有认知的主事
doesn't
knows
那个 实体
(=>
(
and
(
instance
?ELECTION
PopularElection
)
(
electionWinner
?ELECTION ?POSITION ?PERSON1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON1 ?NUMBER1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
(
not
(
equal
?PERSON1 ?PERSON2)))
(
greaterThan
?NUMBER1 ?NUMBER2))
Government.kif 1893-1900
如果
选举
是
民众选举
的
instance
和
那个 选举
是 对于
施事体
的
election
赢家
身分
和
那个 选举
是 对于
那个 施事体
和
实数
的
vote
收到部分
那个 身分
和
那个 选举
是 对于
另一个 施事体
和
另一个 实数
的
vote
收到部分
那个 身分
和
那个 施事体
不
equal
那个 另外 施事体
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))
(
instance
?COMPOUND
CompoundSubstance
))
Merge.kif 12547-12556
如果
客体
是
元素物质
的
instance
和
另一个 客体
是
元素物质
的
instance
和
那个 客体
不
equal
那个 另外 客体
和
过程
是
化学合成
的
instance
和
那个 客体
是
那个 过程
的
resource
和
那个 另外 客体
是
那个 过程
的
resource
和
实体
是
那个 过程
的
result
,
然后
那个 实体
是
复合物质
的
instance
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3905-3921
如果
实体
是
Electromagnet
的
instance
和 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
转移
的
instance
和
那个 第三 实体
是
电力
的
instance
和
objectTransferred
那个 另外 实体
and
那个 第三 实体
和
那个 实体
%n是
那个 另外 实体
发生的
path
doesn't 在
那个 另外 实体
1
holdsDuring
,
然后 有存在
第五 实体
这样
那个 第五 实体
是
磁
的
instance
和
那个 实体
是导致
那个 第五 实体
的
instrument
doesn't 在
那个 另外 实体
1
holdsDuring
(=>
(
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 5630-5650
如果
图
是
图
的
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
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1417-1436
如果
设备
是
枪
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 设备
的
effective
范围 和
那个 设备
和
客体
的
distance
是
那个 实数
1
那个 测量单位
和
那个 客体
是
生物
的
instance
和 不存在
那个 客体
2 这样
那个 客体
2 是在
那个 客体
和
那个 设备
between
和
那个 实数
1 是
lessThanOrEqualTo
那个 实数
,
然后 有存在
符号串
这样
那个 设备
能够担当
工具
的角色做
那个 符号串
所描述的类别
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1395-1413
如果
设备
是
枪
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 设备
的
effective
范围 和
那个 设备
和
客体
的
distance
是
那个 实数
1
那个 测量单位
和 不存在
那个 客体
2 这样
那个 客体
2 是在
那个 客体
和
那个 设备
between
和
那个 实数
1 是
lessThanOrEqualTo
那个 实数
,
然后 有存在
符号串
这样
那个 设备
能够担当
工具
的角色做
那个 符号串
所描述的类别
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Foot
)
(
instance
?L2
Foot
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12709-12722
如果
客体
是
灵长类动物
的
instance
和
属性
是
疾病或综合症
的
instance
和
那个 属性
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
足
的
instance
和
那个 第三 客体
是
足
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12682-12695
如果
客体
是
灵长类动物
的
instance
和
属性
是
疾病或综合症
的
instance
和
那个 属性
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
腿
的
instance
和
那个 第三 客体
是
腿
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Lung
)
(
instance
?L2
Lung
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 11198-11211
如果
客体
是
灵长类动物
的
instance
和
属性
是
疾病或综合症
的
instance
和
那个 属性
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
肺
的
instance
和
那个 第三 客体
是
肺
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
(=>
(
and
(
instance
?Isthmus
Isthmus
)
(
side
?Leftside ?Isthmus)
(
side
?Rightside ?Isthmus)
(
not
(
equal
?Leftside ?Rightside)))
(
exists
(?Region1 ?Region2 ?Water1 ?Water2)
(
and
(
instance
?Region1
LandArea
)
(
instance
?Region2
LandArea
)
(
between
?Region1 ?Isthmus ?Region2)
(
instance
?Water1
WaterArea
)
(
instance
?Water2
WaterArea
)
(
meetsSpatially
?Leftside ?Water1)
(
meetsSpatially
?Rightside ?Water2))))
Geography.kif 5823-5837
如果
自身连接物体
是
地峡
的
instance
和
另一个 自身连接物体
是
那个 自身连接物体
的一
side
和
第三 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 另外 自身连接物体
不
equal
那个 第三 自身连接物体
,
然后 有存在
客体
,
另一个 客体
,, ,
第三 客体
, and 和
第四 客体
这样
那个 客体
是
土地面积
的
instance
和
那个 另外 客体
是
土地面积
的
instance
和
那个 自身连接物体
是在
那个 客体
和
那个 另外 客体
between
和
那个 第三 客体
是
水域
的
instance
和
那个 第四 客体
是
水域
的
instance
和
那个 另外 自身连接物体
接上
那个 第三 客体
和
那个 第三 自身连接物体
接上
那个 第四 客体
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
subOrganization
?FORCE2 ?JOINT)
(
not
(
equal
?FORCE1 ?FORCE2))
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
and
(
leaderPosition
?FORCE1 ?JOINTCOMMANDER)
(
leaderPosition
?FORCE2 ?JOINTCOMMANDER)))
MilitaryProcesses.kif 1736-1746
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
第三 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
不
equal
那个 第三 机构
和
那个 机构
COMMANDER 是
那个 机构
的
leader
职位,
然后
那个 机构
COMMANDER 是
那个 另外 机构
的
leader
职位 和
那个 机构
COMMANDER 是
那个 第三 机构
的
leader
职位
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
如果
客体
是
Lever
的
instance
和
过程
是
Pushing
的
instance
和
物理
是
运动
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
那个 过程
在
另一个 客体
结束 和
physicalEnd
那个 另外 客体
and
那个 客体
和
physicalEnd
第三 客体
and
那个 客体
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
是
located
在
那个 过程
1 在 紧接
那个 物理
出现 的
time
before
holdsDuring
和
那个 另外 客体
是
located
在
那个 过程
2 在 紧接
那个 物理
出现 的
time
after
holdsDuring
和
那个 第三 客体
是
located
在
那个 过程
3 在 紧接
那个 物理
出现 的
time
before
holdsDuring
和
那个 第三 客体
是
located
在
那个 过程
4 在 紧接
那个 物理
出现 的
time
after
holdsDuring
和
那个 过程
1 和
那个 过程
2 的
distance
是
实数
那个 测量单位
和
那个 过程
3 和
那个 过程
4 的
distance
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2)))
(
exists
(?M)
(
relativeAngle
?L1 ?L2 ?M)))
Merge.kif 17882-17892
如果
客体
是
客体
的
instance
和
又长又瘦
是
那个 客体
的
attribute
和
另一个 客体
是
客体
的
instance
和
又长又瘦
是
那个 另外 客体
的
attribute
和
那个 客体
和
那个 另外 客体
是
connected
和
那个 客体
不
equal
那个 另外 客体
,
然后 有存在
实数
这样
relativeAngle
那个 客体
,
那个 另外 客体
and
那个 实数
(=>
(
and
(
instance
?LAND
Continent
)
(
not
(
equal
?LAND
Antarctica
)))
(
orientation
Antarctica
?LAND
South
))
Geography.kif 292-296
如果
客体
是
大陆
的
instance
和
那个 客体
不
equal
南极洲
,
然后
南极洲
在
那个 客体
的
南
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3232-3237
如果
串列
是
串列
的
instance
和
那个 串列
不
equal
空列表
,
然后
那个 串列
的
first
equal
那个 串列
的第 1 几个元素
(=>
(
and
(
instance
?M
OrganizationalMerging
)
(
patient
?M ?ORG1)
(
patient
?M ?ORG2)
(
not
(
equal
?ORG1 ?ORG2)))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
exists
(?S1)
(
and
(
subOrganization
?ORG1 ?S1)
(
subOrganization
?ORG2 ?S1)))))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
exists
(?S2)
(
and
(
subOrganization
?ORG1 ?S2)
(
subOrganization
?ORG2 ?S2))))))
Mid-level-ontology.kif 16305-16324
如果
过程
是
组织合并
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
和
那个 实体
不
equal
那个 另外 实体
,
然后 不存在
第三 实体
这样
那个 实体
是
那个 第三 实体
Organization
的一部分 和
那个 另外 实体
是
那个 第三 实体
Organization
的一部分 在
那个 过程
出现 的
time
的开始
holdsDuring
和 有存在
第四 实体
这样
那个 实体
是
那个 第四 实体
Organization
的一部分 和
那个 另外 实体
是
那个 第四 实体
Organization
的一部分 在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
如果
Catalog
是
SetMenu
的
instance
和
施事体
offers
拍卖样品在
那个 Catalog
和
有点 实体
是在
那个 Catalog
和
有点 实体
是
已准备食物
的
subclass
和
物理
是
类
的
instance
和
另一个 物理
是
那个 有点 实体
的
instance
和
那个 物理
不
equal
那个 另外 物理
和
那个 物理
是 对于
那个 施事体
1 的
price
货币测量
和
那个 另外 物理
是 对于
那个 施事体
2 的
price
另一个 货币测量
,
然后
那个 货币测量
equal
那个 另外 货币测量
(=>
(
and
(
instance
?MIXTURE
Mixture
)
(
piece
?SUBSTANCE ?MIXTURE)
(
not
(
instance
?SUBSTANCE
Mixture
)))
(
instance
?SUBSTANCE
PureSubstance
))
Merge.kif 1200-1205
如果
物质
是
混合物
的
instance
和
另一个 物质
是
那个 物质
的
piece
和
那个 另外 物质
不 是
混合物
的
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