domain
(
domain
AttrFn
2
Attribute
)
Merge.kif 1778-1778
Attr
的 2 数量 是
属性
的
instance
(
domain
AuctionGMBFn
1
Collection
)
UXExperimentalTerms.kif 3193-3193
AuctionGMBFn
的 1 数量 是
群体
的
instance
(
domain
AvailableForMilitaryServiceMaleFn
1
GeopoliticalArea
)
Military.kif 865-865
可用于兵役男性
的 1 数量 是
地缘政治区域
的
instance
(
domain
AverageFn
1
List
)
Merge.kif 3271-3271
AverageFn
的 1 数量 是
串列
的
instance
(
domain
BackFn
1
SelfConnectedObject
)
Merge.kif 898-898
挪后函数
的 1 数量 是
自身连接物体
的
instance
(
domain
BeginFn
1
TimeInterval
)
Merge.kif 7982-7982
开始函数
的 1 数量 是
时距
的
instance
(
domain
BeginNodeFn
1
GraphPath
)
Merge.kif 5942-5942
节点开端函数
的 1 数量 是
图路径
的
instance
(
domain
BeliefGroupMemberFn
1
BeliefGroup
)
People.kif 673-673
BeliefGroupMemberFn
的 1 数量 是
信仰团体
的
instance
(
domain
BidCountFn
1
Collection
)
UXExperimentalTerms.kif 2912-2912
BidCountFn
的 1 数量 是
群体
的
instance
(
domain
BirthsPerThousandFn
1
GeopoliticalArea
)
People.kif 69-69
每千人分娩
的 1 数量 是
地缘政治区域
的
instance
(
domain
BirthsPerThousandFn
2
Year
)
People.kif 70-70
每千人分娩
的 2 数量 是
年
的
instance
(
domain
BodySideFn
1
AntiSymmetricPositionalAttribute
)
Merge.kif 14971-14971
BodySideFn
的 1 数量 是
AntiSymmetricPositionalAttribute
的
instance
(
domain
BorderFn
1
GeographicArea
)
Geography.kif 688-688
边界
的 1 数量 是
地理区域
的
instance
(
domain
BorderFn
2
GeographicArea
)
Geography.kif 689-689
边界
的 2 数量 是
地理区域
的
instance
(
domain
BoughtItemsFn
1
Collection
)
UXExperimentalTerms.kif 2878-2878
BoughtItemsFn
的 1 数量 是
群体
的
instance
(
domain
CPUUtilizationFn
1
ComputerProgram
)
QoSontology.kif 1319-1319
CPU利用率
的 1 数量 是
电脑程序
的
instance
(
domain
CabinetFn
1
GeopoliticalArea
)
Government.kif 1527-1527
内阁
的 1 数量 是
地缘政治区域
的
instance
(
domain
CardinalityFn
1
(
UnionFn
SetOrClass
Collection
))
Merge.kif 5508-5508
势函数
的 1 数量 是 结合
集或类
和
群体
的
instance
(
domain
CeilingFn
1
RealNumber
)
Merge.kif 4783-4783
顶整数函数
的 1 数量 是
实数
的
instance
(
domain
CellPartFn
1
Cell
)
VirusProteinAndCellPart.kif 1168-1168
细胞部分
的 1 数量 是
细胞
的
instance
(
domain
CenterOfCircleFn
1
Circle
)
Merge.kif 7639-7639
圆心
的 1 数量 是
圈
的
instance
(
domain
ChildrenBornPerWomanFn
1
GeopoliticalArea
)
People.kif 441-441
每个女人出生的孩子
的 1 数量 是
地缘政治区域
的
instance
(
domain
ChildrenBornPerWomanFn
2
Year
)
People.kif 442-442
每个女人出生的孩子
的 2 数量 是
年
的
instance
(
domain
CitizenryFn
1
GeopoliticalArea
)
Mid-level-ontology.kif 8039-8039
公民
的 1 数量 是
地缘政治区域
的
instance
(
domain
ClickThroughRateFn
1
Collection
)
UXExperimentalTerms.kif 3327-3327
ClickThroughRateFn
的 1 数量 是
群体
的
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