located
(=>
(
and
(
instance
?CELL
TriploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 3))
VirusProteinAndCellPart.kif 921-931
如果
客体
是
TriploidCell
的
instance
和
另一个 客体
是
细胞核
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集,
然后
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 3
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 4)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
TetraploidCell
))
VirusProteinAndCellPart.kif 939-949
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集 和
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 4 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
另一个 客体
的
part
,
然后
那个 另外 客体
是
TetraploidCell
的
instance
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 6)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
HexaploidCell
))
VirusProteinAndCellPart.kif 992-1002
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集 和
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 6 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
另一个 客体
的
part
,
然后
那个 另外 客体
是
HexaploidCell
的
instance
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 2)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 896-905
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
那个 群体
的 真正的子集 和
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 2 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
另一个 客体
的
part
,
然后
那个 另外 客体
是
DiploidCell
的
instance
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 907-913
如果
物理
是
HomologousChromosomeSet
的
instance
和
那个 物理
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
另一个 客体
的
part
,
然后
那个 另外 客体
是
DiploidCell
的
instance
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 2))
VirusProteinAndCellPart.kif 866-875
如果
群体
是
HomologousChromosomeSet
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
真核细胞
的
part
和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集,
然后
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 2
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
subCollection
?X ?COLL)
(
subCollection
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
homologousChromosomePair
?X ?Y))
VirusProteinAndCellPart.kif 877-888
如果
群体
是
HomologousChromosomeSet
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
真核细胞
的
part
和
MonoploidChromosomeSet
是
那个 群体
的 真正的子集 和
另一个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集 和
那个 MonoploidChromosomeSet
不
equal
那个 另外 MonoploidChromosomeSet
,
然后
homologousChromosomePair
那个 MonoploidChromosomeSet
and
那个 另外 MonoploidChromosomeSet
(=>
(
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
?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
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11973-11982
如果
过程
是
发现
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
located
在
另一个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
学习
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 实体
是
located
在
那个 另外 实体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
如果
客体
是
EngineCylinder
的
instance
和
洞
是
Crankcase
的
instance
和
物理
是
Piston
的
instance
和
过程
是
TwoStrokeTransfer
的
instance
和
那个 物理
是
located
在
那个 客体
在
那个 过程
holdsDuring
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后
那个 物理
的 目的 是
那个 物理
fills
了
那个 洞
的一部分 在
那个 过程
holdsDuring
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
如果
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
物理
是
Piston
的
instance
和
过程
是
TwoStrokeIntake
的
instance
和
那个 物理
是
located
在
那个 客体
在
那个 过程
holdsDuring
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后
那个 物理
的 目的 是
那个 物理
fills
了
那个 洞
的一部分 在
那个 过程
holdsDuring
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
如果
过程
是
出口
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
地缘政治区域
的
instance
和
那个 实体
是
located
在
那个 另外 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
,
然后
那个 实体
不 是
located
在
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
如果
过程
是
出口
的
instance
和
实体
是
那个 过程
的
patient
和
地缘政治区域
是
地缘政治区域
的
instance
和
那个 实体
是
located
在
那个 地缘政治区域
在
那个 过程
出现 的
time
的开始
holdsDuring
,
然后 有存在
另一个 地缘政治区域
这样
那个 另外 地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
不 是
那个 另外 地缘政治区域
的地缘政治部分 和
那个 另外 地缘政治区域
不 是
那个 地缘政治区域
的地缘政治部分 和
那个 实体
是
located
在
那个 另外 地缘政治区域
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
如果
过程
是
出口
的
instance
和
实体
是
那个 过程
的
patient
和
客体
是
地缘政治区域
的
instance
和
物理
是
地缘政治区域
的
instance
和
那个 实体
是
located
在
那个 客体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
是
located
在
那个 物理
在
那个 过程
出现 的
time
的结束
holdsDuring
,
然后
那个 物理
不 是
located
在
那个 客体
(=>
(
and
(
instance
?F
Faucet
)
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?L)
(
located
?LM ?F))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?LM))
(
not
(
exists
(?T)
(
and
(
instance
?T
Tube
)
(
contains
?T ?L))))))
engineering.kif 939-952
如果
客体
是
Faucet
的
instance
和
过程
是
液体运动
的
instance
和
实体
是
那个 过程
的
patient
和
那个 过程
是
located
在
那个 客体
,
然后 不存在
另一个 实体
这样
那个 另外 实体
是
管
的
instance
和
那个 另外 实体
contains
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?FR
FlowRegion
)
(
located
?FLUID ?FR))
(
attribute
?FLUID
Fluid
))
Mid-level-ontology.kif 9061-9065
如果
客体
是
流动区域
的
instance
和
另一个 客体
是
located
在
那个 客体
,
然后
流体
是
那个 另外 客体
的
attribute
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 655-669
如果
客体
是
Gene
的
instance
和
那个 客体
是
located
在
另一个 客体
和
那个 另外 客体
是
细胞
的
instance
,
然后 有存在
过程
,
第三 客体
, and 和
第四 客体
这样
那个 过程
是
生物过程
的
instance
和
那个 过程
是
located
在
那个 另外 客体
和
那个 客体
是
那个 过程
的源头 和
那个 第三 客体
是
那个 过程
的
result
和
那个 第三 客体
是
Nucleotide
的
instance
和
那个 第三 客体
是
那个 第四 客体
的
part
和
那个 第四 客体
是
RNA分子
的
instance
和
那个 第四 客体
是
located
在
那个 另外 客体
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 753-763
如果
过程
是
飓风
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
地理区域
的
instance
和
那个 客体
是
located
在
另一个 客体
或
那个 客体
接上
那个 另外 客体
,
然后
那个 另外 客体
equal
NortheasternPacificOcean
或
那个 另外 客体
equal
北大西洋
(=>
(
and
(
instance
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11368-11385
如果
物理
是
HeartAttack
的
instance
和
客体
是
心
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
时距
和
第三 客体
这样
那个 时距
是
液体运动
的
instance
和
objectTransferred
那个 时距
and
那个 第三 客体
和
那个 第三 客体
是
血液
的
instance
和
那个 时距
在
那个 物理
出现 的
time
时段内发生 和
那个 时距
在
那个 另外 客体
结束
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11915-11932
如果
物理
是
Stroke
的
instance
和
客体
是
脑
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
神经细胞
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
时距
和
第三 客体
这样
那个 时距
是
液体运动
的
instance
和
objectTransferred
那个 时距
and
那个 第三 客体
和
那个 第三 客体
是
血液
的
instance
和
那个 时距
在
那个 物理
出现 的
time
时段内发生 和
那个 时距
在
那个 另外 客体
结束
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
如果
转移
是
注射
的
instance
和
客体
是
Adalimumab
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 转移
是
located
在
另一个 客体
和
那个 另外 客体
是
身体部位
的
instance
和
那个 转移
在
实体
结束,
然后 有存在
另一个 实体
这样
PainFn
那个 另外 客体
是
那个 实体
的
attribute
在
那个 另外 实体
holdsDuring
和
那个 另外 实体
在
那个 转移
出现 的
time
之后 时段内发生 的声明 has
容易
的语气
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5725-5736
如果
过程
是
Itching
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
有认知的主事
的
part
和
那个 有认知的主事
经历了
那个 过程
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 实体
是
Scratching
的
instance
和
那个 实体
出现 的
time
在
那个 过程
出现 的
time
时段内发生 和
那个 实体
是
located
在
那个 客体
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25821-25838
如果
物理
是
KnockLight
的
instance
和
那个 物理
是
located
在
客体
和
那个 客体
是
房间
的
instance
和
另一个 客体
是
门
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
碰撞
的
instance
和
那个 另外 客体
是
那个 实体
的
patient
和
那个 实体
causes
那个 另外 实体
和
那个 另外 实体
是
放射声音
的
instance
和
那个 另外 客体
是
那个 另外 实体
的
agent
和
那个 另外 实体
causes
那个 第三 实体
和
那个 第三 实体
是
辐射可见光
的
instance
和
那个 物理
是导致
那个 第三 实体
的
instrument
(=>
(
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
那个 实数
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