Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
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 329-330
(
documentation
rangeSubclass
JapaneseLanguage
"(
rangeSubclass
?FUNCTION ?CLASS) とは、 FUNCTIONによって割り当てられた値はすべて、?CLASSの
subclass
である、という意味である。")
japanese_format.kif 53-54
(
documentation
rangeSubclass
SpanishLanguage
"(
rangeSubclass
?FUNCTION ?CLASS) significa que todos los valores asignados por ?FUNCTION son
subclass
es de ?CLASS.")
spanish_format.kif 58-59
(
domain
rangeSubclass
1
Function
)
Merge.kif 327-327
rangeSubclass
の数値 1 引数は
関数
の
instance
では
(
domainSubclass
rangeSubclass
2
Class
)
Merge.kif 328-328
rangeSubclass
の数値 2 引数は
クラス
の
subclass
では
(
instance
rangeSubclass
BinaryPredicate
)
Merge.kif 326-326
rangeSubclass
は
2進述語
の
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
(
format
FrenchLanguage
rangeSubclass
"les valeurs retourn�es par %1 sont des %n sous-classes de %2")
french_format.kif 187-187
(
format
ItalianLanguage
rangeSubclass
"i valori resi da %1 sono sottoclassi di%2")
relations-it.txt 240-240
(
format
JapaneseLanguage
rangeSubclass
"%1 が返す値は %2 の
subclass
es では %n")
japanese_format.kif 2007-2007
(
format
PortugueseLanguage
rangeSubclass
"os valores retornados por %1 sao as %n sub-classes de %2")
portuguese_format.kif 139-139
(
format
de
rangeSubclass
"die werte die %1 zurueckgibt sind teilkategorien von %2")
relations-de.txt 433-433
(
format
hi
rangeSubclass
"%1 dvaaraa pratyaanayita maana %2 kaa upavarga hai")
relations-hindi.txt 278-278
(
format
ro
rangeSubclass
"valorile returnate de %1 %n{nu} sunt
subclass
es%t{subclase} ale lui %2")
relations-ro.kif 207-207
(
format
sv
rangeSubclass
"värdena som returneras av %1 är %n{inte} subklasser till %2")
relations-sv.txt 198-198
(
format
tg
rangeSubclass
"ang mga kabuluhan bumabalik ng %1 ay ang mga klase ng mababa %2")
relations-tg.txt 432-432
(
termFormat
ChineseLanguage
rangeSubclass
"子类别的范围")
chinese_format.kif 330-330
(
termFormat
ChineseLanguage
rangeSubclass
"范围子类")
domainEnglishFormat.kif 48768-48768
(
termFormat
ChineseTraditionalLanguage
rangeSubclass
"範圍子類")
domainEnglishFormat.kif 48767-48767
(
termFormat
EnglishLanguage
rangeSubclass
"range subclass")
domainEnglishFormat.kif 48766-48766
(
termFormat
de
rangeSubclass
"bildbereichTeilkategorie")
terms-de.txt 138-138
antecedent
(=>
(
and
(
rangeSubclass
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
subclass
?VALUE ?CLASS))
Merge.kif 332-336
関数
が返す値は
クラス
の
subclasses
では
equal
関数
(@ROW) and
クラス
クラス
は
クラス
の
subclass
では
(=>
(
and
(
rangeSubclass
?REL ?CLASS1)
(
rangeSubclass
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 344-350
関数
が返す値は
クラス
の
subclasses
では
関数
が返す値は
クラス
の
subclasses
では
クラス
は
クラス
の
subclass
では
クラス
は
クラス
の
subclass
では
(=>
(
and
(
rangeSubclass
?REL1 ?CLASS1)
(
rangeSubclass
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 433-438
関数
が返す値は
クラス
の
subclasses
では
関数
が返す値は
クラス
の
subclasses
では
クラス
と
クラス
は
disjoint
では
関数
と
関数
は
disjoint
では
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
rangeSubclass
?REL2 ?CLASS1))
(
rangeSubclass
?REL1 ?CLASS1))
Merge.kif 338-342
関数
は
関数
の
subrelation
では
関数
が返す値は
クラス
の
subclasses
では
関数
が返す値は
クラス
の
subclasses
では
consequent
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
rangeSubclass
?REL2 ?CLASS1))
(
rangeSubclass
?REL1 ?CLASS1))
Merge.kif 338-342
関数
は
関数
の
subrelation
では
関数
が返す値は
クラス
の
subclasses
では
関数
が返す値は
クラス
の
subclasses
では
appearance as argument number 0
(
rangeSubclass
AgentOfOrganismFn
BiologicalAgent
)
WMD.kif 88-88
AgentOfOrganismFn
が返す値は
BiologicalAgent
の
subclasses
では
(
rangeSubclass
AlbumCopiesFn
DataStorageDevice
)
Music.kif 934-934
AlbumCopiesFn
が返す値は
DataStorageDevice
の
subclasses
では
(
rangeSubclass
AttrFn
Object
)
Merge.kif 1786-1786
AttrFn
が返す値は
オブジェクト
の
subclasses
では
(
rangeSubclass
BodyAreaFn
BodyPart
)
Medicine.kif 6252-6252
BodyAreaFn
が返す値は
体の部分
の
subclasses
では
(
rangeSubclass
BodySideFn
BodyPart
)
Merge.kif 15126-15126
BodySideFn
が返す値は
体の部分
の
subclasses
では
(
rangeSubclass
ConstitutionFn
Constitution
)
Government.kif 639-639
ConstitutionFn
が返す値は
Constitution
の
subclasses
では
(
rangeSubclass
CoveringFn
WearableItem
)
Mid-level-ontology.kif 31645-31645
CoveringFn
が返す値は
WearableItem
の
subclasses
では
(
rangeSubclass
CutSetFn
GraphPath
)
Merge.kif 6097-6097
CutSetFn
が返す値は
グラフパス
の
subclasses
では
(
rangeSubclass
DayFn
Day
)
Merge.kif 8703-8703
DayFn
が返す値は
日
の
subclasses
では
(
rangeSubclass
DeadFn
OrganismRemains
)
Merge.kif 18664-18664
DeadFn
が返す値は
OrganismRemains
の
subclasses
では
(
rangeSubclass
DemonymFn
NationalPerson
)
Mid-level-ontology.kif 32565-32565
DemonymFn
が返す値は
NationalPerson
の
subclasses
では
(
rangeSubclass
DocumentFn
Text
)
Geography.kif 3171-3171
DocumentFn
が返す値は
テキスト
の
subclasses
では
(
rangeSubclass
EdemaFn
Edema
)
Mid-level-ontology.kif 11309-11309
EdemaFn
が返す値は
Edema
の
subclasses
では
(
rangeSubclass
EditionFn
ContentBearingObject
)
Merge.kif 15660-15660
EditionFn
が返す値は
コンテンツベアリングオブジェクト
の
subclasses
では
(
rangeSubclass
ElectionFn
Election
)
Government.kif 1648-1648
ElectionFn
が返す値は
Election
の
subclasses
では
(
rangeSubclass
FailureFn
Process
)
ComputingBrands.kif 4510-4510
FailureFn
が返す値は
工程
の
subclasses
では
(
rangeSubclass
FarmOfProductFn
CultivatedLandArea
)
Food.kif 3675-3675
FarmOfProductFn
が返す値は
CultivatedLandArea
の
subclasses
では
(
rangeSubclass
FiscalYearFn
TimeInterval
)
Economy.kif 4035-4035
FiscalYearFn
が返す値は
時間間隔
の
subclasses
では
(
rangeSubclass
FoodForFn
SelfConnectedObject
)
Merge.kif 15012-15012
FoodForFn
が返す値は
自己接続オブジェクト
の
subclasses
では
(
rangeSubclass
GeographicPartTypeFn
GeographicArea
)
Geography.kif 7252-7252
GeographicPartTypeFn
が返す値は
地理的地域
の
subclasses
では
(
rangeSubclass
GraphPathFn
GraphPath
)
Merge.kif 6081-6081
GraphPathFn
が返す値は
グラフパス
の
subclasses
では
(
rangeSubclass
HourFn
Hour
)
Merge.kif 8728-8728
HourFn
が返す値は
時間
の
subclasses
では
(
rangeSubclass
ImpairmentFn
BiologicalProcess
)
Merge.kif 13624-13624
ImpairmentFn
が返す値は
生物学的プロセス
の
subclasses
では
(
rangeSubclass
IntervalFn
ConstantQuantity
)
Merge.kif 6610-6610
IntervalFn
が返す値は
一定量
の
subclasses
では
(
rangeSubclass
JuiceOfFn
Juice
)
Food.kif 2607-2607
JuiceOfFn
が返す値は
Juice
の
subclasses
では
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