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
domainSubclass
Sigma KEE - domainSubclass
domainSubclass
appearance as argument number 1
(
documentation
domainSubclass
ChineseLanguage
"这个
Predicate
是用来指定
Predicate
s 参数 类型的限制。 公式(
domainSubclass
?REL ?INT ?CLASS) 的意思是在?REL关系中,每个元组的第?INT个元素, 必须是?CLASS种的一个子类别。")
chinese_format.kif 1387-1389
(
documentation
domainSubclass
EnglishLanguage
"A
Predicate
that is used to specify argument type restrictions of
Predicate
s. The formula (
domainSubclass
?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be a subclass of ?CLASS.")
Merge.kif 233-236
(
documentation
domainSubclass
JapaneseLanguage
"
Predicate
s の引数タイプの制限を指定するた めに使用される
Predicate
。 式 (
domainSubclass
?REL ?INT ?CLASS) とは、リレーション?RELの 各タプルの?INT '番目の要素が?CLASSのサブクラスでなければならない、という意味である。")
japanese_format.kif 45-47
(
documentation
domainSubclass
SpanishLanguage
"Un
Predicate
que se usa para especificar las restricciones de tipos de argumentos de
Predicate
s. La fórmula (
domainSubclass
?REL ?INT ?CLASS) significa que el ?INT-ésimo elemento de cada tupla de la relación ?REL debe ser una subclase de ?CLASS.")
spanish_format.kif 49-52
(
domain
domainSubclass
1
Relation
)
Merge.kif 230-230
O argumento numero 1 de
domainSubclass
e' uma
instancia
de
Relacao
(
domain
domainSubclass
2
PositiveInteger
)
Merge.kif 231-231
O argumento numero 2 de
domainSubclass
e' uma
instancia
de
Inteiro positivo
(
domain
domainSubclass
3
Class
)
Merge.kif 232-232
O argumento numero 3 de
domainSubclass
e' uma
instancia
de
Classe
(
instance
domainSubclass
TernaryPredicate
)
Merge.kif 229-229
domainSubclass
e' uma
instancia
de
Predicado Ternario
appearance as argument number 2
(
format
ChineseLanguage
domainSubclass
"%1 的 %2 数量 %n 是 %3 的
subclass
")
chinese_format.kif 293-293
(
format
EnglishLanguage
domainSubclass
"the number %2 argument of %1 is %n a
subclass
of %3")
english_format.kif 298-298
(
format
FrenchLanguage
domainSubclass
"le nombre %2 argument de %1 est %n une sous-classe de %3")
french_format.kif 169-169
(
format
ItalianLanguage
domainSubclass
"il numero %2 argomento %1 è %n una sottoclasse di%3")
relations-it.txt 84-84
(
format
JapaneseLanguage
domainSubclass
"%1 の数値 %2 引数は %3 の
subclass
では %n")
japanese_format.kif 1989-1989
(
format
PortugueseLanguage
domainSubclass
"o argumento numero %2 de %1 e' %n uma sub-classe de %3")
portuguese_format.kif 121-121
(
format
cz
domainSubclass
"%2th argument of %1 %p{je} %n{nen�} a
subclass
of %3")
relations-cz.txt 178-178
(
format
de
domainSubclass
"die Zahl %2 Argument von %1 ist eine teilkategorie von %3 %n{nicht}")
relations-de.txt 381-381
(
format
hi
domainSubclass
"%1 kaa koNaanka %2, %3 kaa upavarga %n hai")
relations-hindi.txt 124-124
(
format
ro
domainSubclass
"argumentul numãrul %2 al lui %1 %n{nu} este o
subclass
%t{subclasã} a lui %3")
relations-ro.kif 189-189
(
format
sv
domainSubclass
"nummer %2 argumentet till %1 är %n{inte} en subklass till %3")
relations-sv.txt 176-176
(
format
tg
domainSubclass
"ang bliang %2 bahagi ng %1 %n ay ang mas tiayk klase ng %3")
relations-cb.txt 118-118
(
termFormat
ChineseLanguage
domainSubclass
"域子类")
domainEnglishFormat.kif 20118-20118
(
termFormat
ChineseLanguage
domainSubclass
"子类别的定义域")
chinese_format.kif 294-294
(
termFormat
ChineseTraditionalLanguage
domainSubclass
"域子類")
domainEnglishFormat.kif 20117-20117
(
termFormat
EnglishLanguage
domainSubclass
"domain subclass")
domainEnglishFormat.kif 20116-20116
(
termFormat
de
domainSubclass
"definitionsbereichteilkategorie")
terms-de.txt 119-119
(
termFormat
tg
domainSubclass
"lupain klase mas baba")
relations-tg.txt 184-184
antecedent
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3005-3010
O argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
Relacao
e' uma
instancia
de
Predicado
Relacao
@ROW
Inteiro positivo
th
elemento
de (@ROW) e' uma
sub
-classe de
Classe
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 244-250
O argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
(=>
(
and
(
domainSubclass
?REL1 ?NUMBER ?CLASS1)
(
domainSubclass
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 426-431
O argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
Classe
e'
disjunto
de
Classe
Relacao
e
Relacao
sao
disjuntos
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
domainSubclass
?REL2 ?NUMBER ?CLASS1))
(
domainSubclass
?REL1 ?NUMBER ?CLASS1))
Merge.kif 238-242
Relacao
e' uma
sub
-relacao de
Relacao
o argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
consequent
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
domainSubclass
?REL2 ?NUMBER ?CLASS1))
(
domainSubclass
?REL1 ?NUMBER ?CLASS1))
Merge.kif 238-242
Relacao
e' uma
sub
-relacao de
Relacao
o argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
o argumento numero
Inteiro positivo
de
Relacao
e' uma
sub
-classe de
Classe
appearance as argument number 0
(
domainSubclass
AgentOfOrganismFn
1
Organism
)
WMD.kif 87-87
O argumento numero 1 de
AgentOfOrganismFn
e' uma
sub
-classe de
Organismo
(
domainSubclass
AlbumCopiesFn
2
DataStorageDevice
)
Music.kif 931-931
O argumento numero 2 de
AlbumCopiesFn
e' uma
sub
-classe de
DataStorageDevice
(
domainSubclass
AmountsFn
1
Substance
)
Merge.kif 7577-7577
O argumento numero 1 de
AmountsFn
e' uma
sub
-classe de
Substancia
(
domainSubclass
AttrFn
1
Object
)
Merge.kif 1777-1777
O argumento numero 1 de
AttrFn
e' uma
sub
-classe de
Objeto
(
domainSubclass
BodyAreaFn
1
BodyPart
)
Medicine.kif 6234-6234
O argumento numero 1 de
BodyAreaFn
e' uma
sub
-classe de
Parte do Corpo
(
domainSubclass
BodySideFn
2
BodyPart
)
Merge.kif 14972-14972
O argumento numero 2 de
BodySideFn
e' uma
sub
-classe de
Parte do Corpo
(
domainSubclass
CellPartFn
2
CellPart
)
VirusProteinAndCellPart.kif 1169-1169
O argumento numero 2 de
CellPartFn
e' uma
sub
-classe de
CellPart
(
domainSubclass
ContestFn
1
Contest
)
Music.kif 1047-1047
O argumento numero 1 de
ContestFn
e' uma
sub
-classe de
Contest
(
domainSubclass
CoveringFn
1
BodyPart
)
Mid-level-ontology.kif 29725-29725
O argumento numero 1 de
CoveringFn
e' uma
sub
-classe de
Parte do Corpo
(
domainSubclass
DayFn
2
Month
)
Merge.kif 8589-8589
O argumento numero 2 de
DayFn
e' uma
sub
-classe de
Mes
(
domainSubclass
DeadFn
1
OrganicObject
)
Mid-level-ontology.kif 115-115
O argumento numero 1 de
DeadFn
e' uma
sub
-classe de
Objeto Organico
(
domainSubclass
DeadOrMissingBodyPartFn
1
BodyPart
)
Merge.kif 18239-18239
O argumento numero 1 de
DeadOrMissingBodyPartFn
e' uma
sub
-classe de
Parte do Corpo
(
domainSubclass
DepartmentOfFn
2
Physical
)
Mid-level-ontology.kif 18324-18324
O argumento numero 2 de
DepartmentOfFn
e' uma
sub
-classe de
Fisico
(
domainSubclass
DepartmentOfPreventingFn
2
Process
)
Mid-level-ontology.kif 18395-18395
O argumento numero 2 de
DepartmentOfPreventingFn
e' uma
sub
-classe de
Processo
(
domainSubclass
EdemaFn
1
BodyPart
)
Mid-level-ontology.kif 9979-9979
O argumento numero 1 de
EdemaFn
e' uma
sub
-classe de
Parte do Corpo
(
domainSubclass
EditionFn
1
ContentBearingObject
)
Merge.kif 15508-15508
O argumento numero 1 de
EditionFn
e' uma
sub
-classe de
Objeto Representendo Conteudo Abstrato
(
domainSubclass
FailureFn
1
IntentionalProcess
)
ComputingBrands.kif 4514-4514
O argumento numero 1 de
FailureFn
e' uma
sub
-classe de
Processo Intencional
(
domainSubclass
FarmOfProductFn
1
Organism
)
Food.kif 3667-3667
O argumento numero 1 de
FarmOfProductFn
e' uma
sub
-classe de
Organismo
(
domainSubclass
FiscalYearStartingFn
2
Year
)
Economy.kif 3724-3724
O argumento numero 2 de
FiscalYearStartingFn
e' uma
sub
-classe de
Ano
(
domainSubclass
FoodForFn
1
Organism
)
Merge.kif 14858-14858
O argumento numero 1 de
FoodForFn
e' uma
sub
-classe de
Organismo
(
domainSubclass
GeneralizedIntersectionFn
1
SetOrClass
)
Merge.kif 5498-5498
O argumento numero 1 de
GeneralizedIntersectionFn
e' uma
sub
-classe de
Conjunto ou Classe
(
domainSubclass
GeneralizedUnionFn
1
SetOrClass
)
Merge.kif 5487-5487
O argumento numero 1 de
GeneralizedUnionFn
e' uma
sub
-classe de
Conjunto ou Classe
(
domainSubclass
GeographicPartTypeFn
1
GeographicArea
)
Geography.kif 6913-6913
O argumento numero 1 de
GeographicPartTypeFn
e' uma
sub
-classe de
Area Geografica
(
domainSubclass
HourFn
2
Day
)
Merge.kif 8614-8614
O argumento numero 2 de
HourFn
e' uma
sub
-classe de
Dia
(
domainSubclass
ImpairedBodyPartFn
1
BodyPart
)
Merge.kif 18218-18218
O argumento numero 1 de
ImpairedBodyPartFn
e' uma
sub
-classe de
Parte do Corpo
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