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
USMilitaryRankE2
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
Il numero 1 argomenti di
domainSubclass
è un
istanza
di
Relazione
(
domain
domainSubclass
2
PositiveInteger
)
Merge.kif 231-231
Il numero 2 argomenti di
domainSubclass
è un
istanza
di
NumeroInteroPositivo
(
domain
domainSubclass
3
Class
)
Merge.kif 232-232
Il numero 3 argomenti di
domainSubclass
è un
istanza
di
Classe
(
instance
domainSubclass
TernaryPredicate
)
Merge.kif 229-229
domainSubclass
è un'
istanza
di
PredicatoTernario
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 3006-3011
Il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
Relazione
è un'
istanza
di
Predicato
Relazione
@ROW
NumeroInteroPositivo
th
elemento
di (@ROW è una
sottoclasse
di
Classe
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 244-250
Il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
(=>
(
and
(
domainSubclass
?REL1 ?NUMBER ?CLASS1)
(
domainSubclass
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 426-431
Il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
Classe
è
disgiunto
da
Classe
Relazione
e
Relazione
sono
disgiunti
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
domainSubclass
?REL2 ?NUMBER ?CLASS1))
(
domainSubclass
?REL1 ?NUMBER ?CLASS1))
Merge.kif 238-242
Relazione
è una
sottorelazione
di
Relazione
il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
consequent
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
domainSubclass
?REL2 ?NUMBER ?CLASS1))
(
domainSubclass
?REL1 ?NUMBER ?CLASS1))
Merge.kif 238-242
Relazione
è una
sottorelazione
di
Relazione
il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
appearance as argument number 0
(
domainSubclass
AgentOfOrganismFn
1
Organism
)
WMD.kif 87-87
Il numero 1 argomento
AgentOfOrganismFn
è una
sottoclasse
di
Organismo
(
domainSubclass
AlbumCopiesFn
2
DataStorageDevice
)
Music.kif 931-931
Il numero 2 argomento
AlbumCopiesFn
è una
sottoclasse
di
DataStorageDevice
(
domainSubclass
AmountsFn
1
Substance
)
Merge.kif 7578-7578
Il numero 1 argomento
AmountsFn
è una
sottoclasse
di
Sostanza
(
domainSubclass
AttrFn
1
Object
)
Merge.kif 1777-1777
Il numero 1 argomento
AttrFn
è una
sottoclasse
di
Oggetto
(
domainSubclass
BodyAreaFn
1
BodyPart
)
Medicine.kif 6234-6234
Il numero 1 argomento
BodyAreaFn
è una
sottoclasse
di
ParteDelCorpo
(
domainSubclass
BodySideFn
2
BodyPart
)
Merge.kif 15018-15018
Il numero 2 argomento
BodySideFn
è una
sottoclasse
di
ParteDelCorpo
(
domainSubclass
CellPartFn
2
CellPart
)
VirusProteinAndCellPart.kif 1170-1170
Il numero 2 argomento
CellPartFn
è una
sottoclasse
di
CellPart
(
domainSubclass
ContestFn
1
Contest
)
Music.kif 1047-1047
Il numero 1 argomento
ContestFn
è una
sottoclasse
di
Competizione
(
domainSubclass
CoveringFn
1
BodyPart
)
Mid-level-ontology.kif 29776-29776
Il numero 1 argomento
CoveringFn
è una
sottoclasse
di
ParteDelCorpo
(
domainSubclass
DayFn
2
Month
)
Merge.kif 8625-8625
Il numero 2 argomento
DayFn
è una
sottoclasse
di
Mese
(
domainSubclass
DeadFn
1
OrganicObject
)
Merge.kif 18554-18554
Il numero 1 argomento
DeadFn
è una
sottoclasse
di
Entit�Organica
(
domainSubclass
DeadOrMissingBodyPartFn
1
BodyPart
)
Merge.kif 18318-18318
Il numero 1 argomento
DeadOrMissingBodyPartFn
è una
sottoclasse
di
ParteDelCorpo
(
domainSubclass
DepartmentOfFn
2
Physical
)
Mid-level-ontology.kif 18351-18351
Il numero 2 argomento
DepartmentOfFn
è una
sottoclasse
di
Entit�Concreta
(
domainSubclass
DepartmentOfPreventingFn
2
Process
)
Mid-level-ontology.kif 18422-18422
Il numero 2 argomento
DepartmentOfPreventingFn
è una
sottoclasse
di
Processo
(
domainSubclass
EdemaFn
1
BodyPart
)
Mid-level-ontology.kif 10006-10006
Il numero 1 argomento
EdemaFn
è una
sottoclasse
di
ParteDelCorpo
(
domainSubclass
EditionFn
1
ContentBearingObject
)
Merge.kif 15554-15554
Il numero 1 argomento
EditionFn
è una
sottoclasse
di
OggettoSemiotico
(
domainSubclass
FailureFn
1
IntentionalProcess
)
ComputingBrands.kif 4514-4514
Il numero 1 argomento
FailureFn
è una
sottoclasse
di
ProcessoIntenzionale
(
domainSubclass
FarmOfProductFn
1
Organism
)
Food.kif 3667-3667
Il numero 1 argomento
FarmOfProductFn
è una
sottoclasse
di
Organismo
(
domainSubclass
FiscalYearStartingFn
2
Year
)
Economy.kif 3724-3724
Il numero 2 argomento
FiscalYearStartingFn
è una
sottoclasse
di
Anno
(
domainSubclass
FoodForFn
1
Organism
)
Merge.kif 14904-14904
Il numero 1 argomento
FoodForFn
è una
sottoclasse
di
Organismo
(
domainSubclass
GeneralizedIntersectionFn
1
SetOrClass
)
Merge.kif 5499-5499
Il numero 1 argomento
GeneralizedIntersectionFn
è una
sottoclasse
di
InsiemeOClasse
(
domainSubclass
GeneralizedUnionFn
1
SetOrClass
)
Merge.kif 5488-5488
Il numero 1 argomento
GeneralizedUnionFn
è una
sottoclasse
di
InsiemeOClasse
(
domainSubclass
GeographicPartTypeFn
1
GeographicArea
)
Geography.kif 6913-6913
Il numero 1 argomento
GeographicPartTypeFn
è una
sottoclasse
di
AreaGeografica
(
domainSubclass
HourFn
2
Day
)
Merge.kif 8650-8650
Il numero 2 argomento
HourFn
è una
sottoclasse
di
Giorno
(
domainSubclass
ImpairedBodyPartFn
1
BodyPart
)
Merge.kif 18297-18297
Il numero 1 argomento
ImpairedBodyPartFn
è una
sottoclasse
di
ParteDelCorpo
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