Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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 336-337
(
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 334-334
O argumento numero 1 de
rangeSubclass
e' uma
instancia
de
Funcao
(
domainSubclass
rangeSubclass
2
Class
)
Merge.kif 335-335
O argumento numero 2 de
rangeSubclass
e' uma
sub
-classe de
Classe
(
instance
rangeSubclass
AsymmetricRelation
)
Merge.kif 333-333
rangeSubclass
e' uma
instancia
de
Relacao Assimetrica
(
instance
rangeSubclass
BinaryPredicate
)
Merge.kif 332-332
rangeSubclass
e' uma
instancia
de
Predicado Binario
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 48764-48764
(
termFormat
ChineseTraditionalLanguage
rangeSubclass
"範圍子類")
domainEnglishFormat.kif 48763-48763
(
termFormat
EnglishLanguage
rangeSubclass
"range subclass")
domainEnglishFormat.kif 48762-48762
antecedent
(=>
(
and
(
rangeSubclass
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
subclass
?VALUE ?CLASS))
Merge.kif 339-343
Os valores retornados por
Funcao
sao as
sub
-classes de
Classe
Funcao
(@ROW) e'
igual
a
Classe
Classe
e' uma
sub
-classe de
Classe
(=>
(
and
(
rangeSubclass
?REL ?CLASS1)
(
rangeSubclass
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 351-357
Os valores retornados por
Funcao
sao as
sub
-classes de
Classe
os valores retornados por
Funcao
sao as
sub
-classes de
Classe
Classe
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
(=>
(
and
(
rangeSubclass
?REL1 ?CLASS1)
(
rangeSubclass
?REL2 ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 440-445
Os valores retornados por
Funcao
sao as
sub
-classes de
Classe
os valores retornados por
Funcao
sao as
sub
-classes de
Classe
Classe
e'
disjunto
de
Classe
Funcao
e
Funcao
sao
disjuntos
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
rangeSubclass
?REL2 ?CLASS1))
(
rangeSubclass
?REL1 ?CLASS1))
Merge.kif 345-349
Funcao
e' uma
sub
-relacao de
Funcao
os valores retornados por
Funcao
sao as
sub
-classes de
Classe
os valores retornados por
Funcao
sao as
sub
-classes de
Classe
consequent
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
rangeSubclass
?REL2 ?CLASS1))
(
rangeSubclass
?REL1 ?CLASS1))
Merge.kif 345-349
Funcao
e' uma
sub
-relacao de
Funcao
os valores retornados por
Funcao
sao as
sub
-classes de
Classe
os valores retornados por
Funcao
sao as
sub
-classes de
Classe
appearance as argument number 0
(
rangeSubclass
AgentOfOrganismFn
BiologicalAgent
)
WMD.kif 88-88
Os valores retornados por
AgentOfOrganismFn
sao as
sub
-classes de
BiologicalAgent
(
rangeSubclass
AlbumCopiesFn
DataStorageDevice
)
Music.kif 932-932
Os valores retornados por
AlbumCopiesFn
sao as
sub
-classes de
DataStorageDevice
(
rangeSubclass
AttrFn
Object
)
Merge.kif 1776-1776
Os valores retornados por
AttrFn
sao as
sub
-classes de
Objeto
(
rangeSubclass
BodyAreaFn
BodyPart
)
Medicine.kif 6235-6235
Os valores retornados por
BodyAreaFn
sao as
sub
-classes de
Parte do Corpo
(
rangeSubclass
BodySideFn
BodyPart
)
Merge.kif 14973-14973
Os valores retornados por
BodySideFn
sao as
sub
-classes de
Parte do Corpo
(
rangeSubclass
ConstitutionFn
Constitution
)
Government.kif 675-675
Os valores retornados por
ConstitutionFn
sao as
sub
-classes de
Constitution
(
rangeSubclass
CoveringFn
WearableItem
)
Mid-level-ontology.kif 29726-29726
Os valores retornados por
CoveringFn
sao as
sub
-classes de
WearableItem
(
rangeSubclass
CutSetFn
GraphPath
)
Merge.kif 6072-6072
Os valores retornados por
CutSetFn
sao as
sub
-classes de
Caminho do Grafo
(
rangeSubclass
DayFn
Day
)
Merge.kif 8590-8590
Os valores retornados por
DayFn
sao as
sub
-classes de
Dia
(
rangeSubclass
DeadFn
OrganismRemains
)
Mid-level-ontology.kif 116-116
Os valores retornados por
DeadFn
sao as
sub
-classes de
OrganismRemains
(
rangeSubclass
DemonymFn
NationalPerson
)
Mid-level-ontology.kif 30631-30631
Os valores retornados por
DemonymFn
sao as
sub
-classes de
NationalPerson
(
rangeSubclass
DocumentFn
Text
)
Geography.kif 3013-3013
Os valores retornados por
DocumentFn
sao as
sub
-classes de
Texto
(
rangeSubclass
EdemaFn
Edema
)
Mid-level-ontology.kif 9980-9980
Os valores retornados por
EdemaFn
sao as
sub
-classes de
Edema
(
rangeSubclass
EditionFn
ContentBearingObject
)
Merge.kif 15510-15510
Os valores retornados por
EditionFn
sao as
sub
-classes de
Objeto Representendo Conteudo Abstrato
(
rangeSubclass
ElectionFn
Election
)
Government.kif 1686-1686
Os valores retornados por
ElectionFn
sao as
sub
-classes de
Election
(
rangeSubclass
FailureFn
Process
)
ComputingBrands.kif 4515-4515
Os valores retornados por
FailureFn
sao as
sub
-classes de
Processo
(
rangeSubclass
FarmOfProductFn
CultivatedLandArea
)
Food.kif 3668-3668
Os valores retornados por
FarmOfProductFn
sao as
sub
-classes de
CultivatedLandArea
(
rangeSubclass
FiscalYearFn
TimeInterval
)
Economy.kif 3698-3698
Os valores retornados por
FiscalYearFn
sao as
sub
-classes de
Intervalo Temporal
(
rangeSubclass
FoodForFn
SelfConnectedObject
)
Merge.kif 14859-14859
Os valores retornados por
FoodForFn
sao as
sub
-classes de
Objeto auto-conectado
(
rangeSubclass
GeographicPartTypeFn
GeographicArea
)
Geography.kif 6915-6915
Os valores retornados por
GeographicPartTypeFn
sao as
sub
-classes de
Area Geografica
(
rangeSubclass
GraphPathFn
GraphPath
)
Merge.kif 6056-6056
Os valores retornados por
GraphPathFn
sao as
sub
-classes de
Caminho do Grafo
(
rangeSubclass
HourFn
Hour
)
Merge.kif 8615-8615
Os valores retornados por
HourFn
sao as
sub
-classes de
Hora
(
rangeSubclass
ImpairmentFn
BiologicalProcess
)
Merge.kif 13470-13470
Os valores retornados por
ImpairmentFn
sao as
sub
-classes de
Processo Biologico
(
rangeSubclass
IntervalFn
ConstantQuantity
)
Merge.kif 6585-6585
Os valores retornados por
IntervalFn
sao as
sub
-classes de
Quantidade Constante
(
rangeSubclass
JuiceOfFn
Juice
)
Food.kif 2600-2600
Os valores retornados por
JuiceOfFn
sao as
sub
-classes de
Juice
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