part
(=>
(
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 920-930
如果
客体
是
TriploidCell
的
instance
和
另一个 客体
是
细胞核
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
群体
是
located
在
那个 另外 客体
和
那个 群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集,
然后
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 3
(=>
(
and
(
instance
?CHIN
Chin
)
(
instance
?FACE
Face
)
(
part
?CHIN ?FACE))
(
forall
(?PART)
(=>
(
and
(
part
?PART ?FACE)
(
not
(
part
?PART ?CHIN)))
(
orientation
?PART ?CHIN
Below
))))
Mid-level-ontology.kif 12929-12940
如果
客体
是
下巴
的
instance
和
另一个 客体
是
面对
的
instance
和
那个 客体
是
那个 另外 客体
的
part
,
然后 对所有
第三 客体
如果
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
不 是
那个 客体
的
part
,
然后
那个 第三 客体
在
那个 客体
的
下面
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
如果
地缘政治区域
是
美国城市
的
instance
和
那个 地缘政治区域
是
加州
的
part
和
那个 地缘政治区域
不
equal
洛杉矶加利福尼亚州
,
然后
洛杉矶加利福尼亚州
的
resident
instance
的数量 是
greaterThan
那个 地缘政治区域
的
resident
instance
的数量
(=>
(
and
(
instance
?CITY
City
)
(
part
?CITY
France
))
(
lessThanOrEqualTo
(
CardinalityFn
(
ResidentFn
?CITY))
(
CardinalityFn
(
ResidentFn
Paris
))))
CountriesAndRegions.kif 59-65
如果
地缘政治区域
是
城市
的
instance
和
那个 地缘政治区域
是
法国
的
part
,
然后
那个 地缘政治区域
的
resident
instance
的数量 是
lessThanOrEqualTo
巴黎
的
resident
instance
的数量
(=>
(
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 938-948
如果
群体
是
群体
的
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 991-1001
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
MonoploidChromosomeSet
是
MonoploidChromosomeSet
的
instance
和
那个 MonoploidChromosomeSet
是
那个 群体
的 真正的子集 和
chromosomeSetCount
那个 MonoploidChromosomeSet
,
那个 群体
and 6 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
另一个 客体
的
part
,
然后
那个 另外 客体
是
HexaploidCell
的
instance
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
CommonWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EmmerWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsTauschii
))))
Economy.kif 3970-3985
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
客体
是
那个 群体
的
member
和
那个 客体
是
CommonWheatGrass
的
part
,
然后 有存在
另一个 群体
,
第三 群体
,, ,
另一个 有点 客体
, and 和
第三 有点 客体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
另一个 有点 客体
是
那个 另外 群体
的
member
类别 和 %每个
那个 另外 有点 客体
是
EmmerWheatGrass
的
initially
part
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
第三 有点 客体
是
那个 第三 群体
的
member
类别 和 %每个
那个 第三 有点 客体
是
AegilopsTauschii
的
initially
part
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
DurumWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
TriticumUrartu
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsSpeltoides
))))
Economy.kif 3911-3926
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
客体
是
那个 群体
的
member
和
那个 客体
是
DurumWheatGrass
的
part
,
然后 有存在
另一个 群体
,
第三 群体
,, ,
另一个 有点 客体
, and 和
第三 有点 客体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
另一个 有点 客体
是
那个 另外 群体
的
member
类别 和 %每个
那个 另外 有点 客体
是
TriticumUrartu
的
initially
part
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
第三 有点 客体
是
那个 第三 群体
的
member
类别 和 %每个
那个 第三 有点 客体
是
AegilopsSpeltoides
的
initially
part
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
EmmerWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EinkornWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsGrass
))))
Economy.kif 3879-3894
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
客体
是
那个 群体
的
member
和
那个 客体
是
EmmerWheatGrass
的
part
,
然后 有存在
另一个 群体
,
第三 群体
,, ,
另一个 有点 客体
, and 和
第三 有点 客体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
另一个 有点 客体
是
那个 另外 群体
的
member
类别 和 %每个
那个 另外 有点 客体
是
EinkornWheatGrass
的
initially
part
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
第三 有点 客体
是
那个 第三 群体
的
member
类别 和 %每个
那个 第三 有点 客体
是
AegilopsGrass
的
initially
part
(=>
(
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 895-904
如果
群体
是
群体
的
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 906-912
如果
物理
是
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 865-874
如果
群体
是
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 876-887
如果
群体
是
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 718-730
如果
群体
是
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 1778-1792
如果
客体
是
有点 复合物质
的
instance
和
有点 复合物质
是
复合物质
的
subclass
和 不存在
另一个 客体
这样
那个 另外 客体
是
那个 有点 复合物质
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
molecularRatio
有点 元素物质
,
整数
and
那个 有点 复合物质
和
群体
是
群组
的
instance
和
第三 客体
是
那个 群体
的
member
和
那个 第三 客体
是
那个 客体
的
part
和
那个 第三 客体
是
有点 元素物质
的
instance
,
然后
那个 整数
是
那个 群体
的
member
计数
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 85-94
如果
过程
是
死亡
的
instance
和
实体
是
OrganismRemains
的
instance
和
施事体
是
生物
的
instance
和
另一个 实体
是
那个 实体
的
part
在
时距
holdsDuring
和
那个 另外 实体
是
那个 施事体
的
part
在
另一个 时距
holdsDuring
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 施事体
经历了
那个 过程
,
然后
那个 实体
是
那个 过程
的
result
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
如果
过程
是
死亡
的
instance
和
实体
是
OrganismRemains
的
instance
和
施事体
是
生物
的
instance
和
另一个 实体
是
那个 实体
的
part
在
时距
holdsDuring
和
那个 另外 实体
是
那个 施事体
的
part
在
另一个 时距
holdsDuring
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 实体
是
那个 过程
的
result
,
然后
那个 施事体
经历了
那个 过程
(=>
(
and
(
instance
?E
DurumWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3904-3909
如果
客体
是
DurumWheatGrass
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
TetraploidCell
的
subclass
(=>
(
and
(
instance
?E
Eardrum
)
(
part
?E ?H)
(
experiencer
?HEAR ?H)
(
attribute
?H
Healthy
)
(
instance
?HEAR
Hearing
))
(
instrument
?HEAR ?E))
Anatomy.kif 1636-1643
如果
客体
是
Eardrum
的
instance
和
那个 客体
是
施事体
的
part
和
那个 施事体
经历了
那个 施事体
EAR 和
Healthy
是
那个 施事体
的
attribute
和
那个 施事体
EAR 是
听
的
instance
,
然后
那个 客体
是导致
那个 施事体
EAR 的
instrument
(=>
(
and
(
instance
?E
EinkornWheatGrass
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3934-3939
如果
客体
是
EinkornWheatGrass
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
DiploidCell
的
subclass
(=>
(
and
(
instance
?E
EmmerWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3872-3877
如果
客体
是
EmmerWheatGrass
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
TetraploidCell
的
subclass
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
exists
(?HAIR)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?E))))
Anatomy.kif 1458-1467
如果
群体
是
Eyebrow
的
instance
和
Healthy
是
客体
的
attribute
和
那个 群体
是
那个 客体
的
part
和
物理
是
那个 群体
的
member
,
然后 有存在
那个 客体
AIR 这样
那个 客体
AIR 是
头发
的
instance
和
那个 客体
AIR 是
那个 群体
的
part
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
memberCount
?E 2))
Anatomy.kif 1450-1456
如果
群体
是
Eyebrow
的
instance
和
Healthy
是
客体
的
attribute
和
那个 群体
是
那个 客体
的
part
和
物理
是
那个 群体
的
member
,
然后 2 是
那个 群体
的
member
计数
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?EYE ?E
Near
))))
Anatomy.kif 1439-1448
如果
客体
是
Eyebrow
的
instance
和
Healthy
是
另一个 客体
的
attribute
和
那个 客体
是
那个 另外 客体
的
part
,
然后 有存在
那个 客体
YE 这样
那个 客体
YE 是
眼睛
的
instance
和
那个 客体
YE 是
那个 另外 客体
的
part
和
那个 客体
YE 在
那个 客体
的
近
(=>
(
and
(
instance
?E
Eyebrow
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?E ?EYE
Above
))))
Anatomy.kif 1469-1481
如果
客体
是
Eyebrow
的
instance
和
Healthy
是
另一个 客体
的
attribute
和
站立
是
那个 另外 客体
的
attribute
在
时间位置
holdsDuring
和
那个 客体
是
那个 另外 客体
的
part
,
然后 有存在
那个 客体
YE 这样
那个 客体
YE 是
眼睛
的
instance
和
那个 客体
YE 是
那个 另外 客体
的
part
和
那个 客体
在
那个 客体
YE 的
以上
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