Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
rangeSubclass
Sigma KEE - rangeSubclass
rangeSubclass
appearance as argument number 1
(
documentation
rangeSubclass
ChineseLanguage
"(
rangeSubclass
?FUNCTION ?CLASS) 的意思是 所有由 ?FUNCTION 所指定的值,都是这个 ?CLASS 的
subclass
。")
chinese_format.kif 1492-1493
(
documentation
rangeSubclass
EnglishLanguage
"(
rangeSubclass
?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are
subclass
es of ?CLASS.")
Merge.kif 334-335
(
domain
rangeSubclass
1
Function
)
Merge.kif 332-332
子类别的范围
的 1 数量 是
函数
的
instance
(
domainSubclass
rangeSubclass
2
Class
)
Merge.kif 333-333
子类别的范围
的 2 数量 是
类
的
subclass
(
instance
rangeSubclass
AsymmetricRelation
)
Merge.kif 331-331
子类别的范围
是
非对称关系
的
instance
(
instance
rangeSubclass
BinaryPredicate
)
Merge.kif 330-330
子类别的范围
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
rangeSubclass
"%1 的所得值 %n 是 %2 的
subclass
")
chinese_format.kif 329-329
(
format
EnglishLanguage
rangeSubclass
"the values returned by %1 are %n
subclass
es of %2")
english_format.kif 334-334
(
termFormat
ChineseLanguage
rangeSubclass
"子类别的范围")
chinese_format.kif 330-330
(
termFormat
ChineseLanguage
rangeSubclass
"范围子类")
domainEnglishFormat.kif 48747-48747
(
termFormat
ChineseTraditionalLanguage
rangeSubclass
"範圍子類")
domainEnglishFormat.kif 48746-48746
(
termFormat
EnglishLanguage
rangeSubclass
"range subclass")
domainEnglishFormat.kif 48745-48745
antecedent
(=>
(
and
(
rangeSubclass
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
subclass
?VALUE ?CLASS))
Merge.kif 337-341
如果
函数
的所得值 是
有点 类
的
subclass
和
那个 函数
(@ROW)
equal
另一个 类
,
然后
那个 另外 类
是
有点 类
的
subclass
(=>
(
and
(
rangeSubclass
?REL ?CLASS1)
(
rangeSubclass
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 349-355
如果
函数
的所得值 是
有点 类
的
subclass
和
那个 函数
的所得值 是
另一个 有点 类
的
subclass
,
然后
有点 类
是
另一个 有点 类
的
subclass
或
那个 另外 有点 类
是
那个 有点 类
的
subclass
(=>
(
and
(
rangeSubclass
?REL1 ?CLASS1)
(
rangeSubclass
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 438-443
如果
函数
的所得值 是
有点 类
的
subclass
和
另一个 函数
的所得值 是
另一个 有点 类
的
subclass
和
有点 类
和 % 2 是
disjoint
,
然后
那个 函数
和
那个 另外 函数
是
disjoint
关系
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
rangeSubclass
?REL2 ?CLASS1))
(
rangeSubclass
?REL1 ?CLASS1))
Merge.kif 343-347
如果
函数
是
另一个 函数
的
subrelation
和
那个 另外 函数
的所得值 是
有点 类
的
subclass
,
然后
那个 函数
的所得值 是
有点 类
的
subclass
consequent
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
rangeSubclass
?REL2 ?CLASS1))
(
rangeSubclass
?REL1 ?CLASS1))
Merge.kif 343-347
如果
函数
是
另一个 函数
的
subrelation
和
那个 另外 函数
的所得值 是
有点 类
的
subclass
,
然后
那个 函数
的所得值 是
有点 类
的
subclass
appearance as argument number 0
(
rangeSubclass
AgentOfOrganismFn
BiologicalAgent
)
WMD.kif 88-88
AgentOfOrganismFn
的所得值 是
生物制剂
的
subclass
(
rangeSubclass
AlbumCopiesFn
DataStorageDevice
)
Music.kif 929-929
AlbumCopiesFn
的所得值 是
DataStorageDevice
的
subclass
(
rangeSubclass
AttrFn
Object
)
Merge.kif 1722-1722
Attr
的所得值 是
客体
的
subclass
(
rangeSubclass
BodySideFn
BodyPart
)
Merge.kif 14709-14709
BodySideFn
的所得值 是
身体部位
的
subclass
(
rangeSubclass
ConstitutionFn
Constitution
)
Government.kif 673-673
宪法
的所得值 是
宪法
的
subclass
(
rangeSubclass
CoveringFn
WearableItem
)
Mid-level-ontology.kif 29138-29138
CoveringFn
的所得值 是
可穿戴物品
的
subclass
(
rangeSubclass
CutSetFn
GraphPath
)
Merge.kif 5982-5982
分图路径函数
的所得值 是
图路径
的
subclass
(
rangeSubclass
DayFn
Day
)
Merge.kif 8498-8498
日函数
的所得值 是
日
的
subclass
(
rangeSubclass
DeadFn
OrganismRemains
)
Mid-level-ontology.kif 109-109
DeadFn
的所得值 是
OrganismRemains
的
subclass
(
rangeSubclass
DemonymFn
NationalPerson
)
Mid-level-ontology.kif 30033-30033
DemonymFn
的所得值 是
NationalPerson
的
subclass
(
rangeSubclass
DocumentFn
Text
)
Geography.kif 2935-2935
文献
的所得值 是
文本
的
subclass
(
rangeSubclass
EdemaFn
Edema
)
Mid-level-ontology.kif 9552-9552
EdemaFn
的所得值 是
Edema
的
subclass
(
rangeSubclass
EditionFn
ContentBearingObject
)
Merge.kif 15241-15241
版本函数
的所得值 是
有内用物体
的
subclass
(
rangeSubclass
ElectionFn
Election
)
Government.kif 1683-1683
选举
的所得值 是
选举
的
subclass
(
rangeSubclass
FailureFn
Process
)
ComputingBrands.kif 4478-4478
FailureFn
的所得值 是
过程
的
subclass
(
rangeSubclass
FarmOfProductFn
CultivatedLandArea
)
Food.kif 1081-1081
FarmOfProductFn
的所得值 是
耕地面积
的
subclass
(
rangeSubclass
FiscalYearFn
TimeInterval
)
Economy.kif 3708-3708
财政年度
的所得值 是
时距
的
subclass
(
rangeSubclass
FoodForFn
SelfConnectedObject
)
Merge.kif 14595-14595
FoodForFn
的所得值 是
自身连接物体
的
subclass
(
rangeSubclass
GeographicPartTypeFn
GeographicArea
)
Geography.kif 6603-6603
GeographicPartTypeFn
的所得值 是
地理区域
的
subclass
(
rangeSubclass
GraphPathFn
GraphPath
)
Merge.kif 5966-5966
图路函数
的所得值 是
图路径
的
subclass
(
rangeSubclass
HourFn
Hour
)
Merge.kif 8523-8523
时函数
的所得值 是
小时
的
subclass
(
rangeSubclass
ImpairmentFn
BiologicalProcess
)
Merge.kif 13230-13230
ImpairmentFn
的所得值 是
生物过程
的
subclass
(
rangeSubclass
IntervalFn
ConstantQuantity
)
Merge.kif 6495-6495
间隔函数
的所得值 是
恒量
的
subclass
(
rangeSubclass
JuiceOfFn
Juice
)
Food.kif 578-578
JuiceOfFn
的所得值 是
Juice
的
subclass
(
rangeSubclass
MakingFn
Object
)
Merge.kif 18111-18111
MakingFn
的所得值 是
客体
的
subclass
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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