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
Die Zahl 1 Argument von
definitionsbereichteilkategorie
ist ein
fall
von
Relation
%n{nicht}
(
domain
domainSubclass
2
PositiveInteger
)
Merge.kif 231-231
Die Zahl 2 Argument von
definitionsbereichteilkategorie
ist ein
fall
von
PositiveInteger
%n{nicht}
(
domain
domainSubclass
3
Class
)
Merge.kif 232-232
Die Zahl 3 Argument von
definitionsbereichteilkategorie
ist ein
fall
von
Class
%n{nicht}
(
instance
domainSubclass
TernaryPredicate
)
Merge.kif 229-229
definitionsbereichteilkategorie
ist ein
fall
von
TernaryPredicate
%n{nicht}
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
Wenn die Zahl
PositiveInteger
Argument von
Relation
ist eine
teilkategorie
von
Class
%n{nicht} und
** Relation
ist ein
fall
von
Predicate
%n{nicht} und
** Relation
@ROW,
dann
** PositiveInteger
te
mitglied
von (@ROW) ist eine
teilkategorie
von
** Class
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 244-250
Wenn die Zahl
PositiveInteger
Argument von
Relation
ist eine
teilkategorie
von
Class
%n{nicht} und die Zahl
** PositiveInteger
Argument von
** Relation
ist eine
teilkategorie
von
** Class
%n{nicht},
dann
** Class
ist eine
teilkategorie
von
** ** Class
oder
** ** Class
ist eine
teilkategorie
von
** Class
(=>
(
and
(
domainSubclass
?REL1 ?NUMBER ?CLASS1)
(
domainSubclass
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 426-431
Wenn die Zahl
PositiveInteger
Argument von
Relation
ist eine
teilkategorie
von
Class
%n{nicht} und die Zahl
** PositiveInteger
Argument von
** Relation
ist eine
teilkategorie
von
** Class
%n{nicht} und
** Class
ist
dijunkt
von
** ** Class
%n{nicht},
dann
** Relation
und
** ** Relation
werden
disjunkt
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
domainSubclass
?REL2 ?NUMBER ?CLASS1))
(
domainSubclass
?REL1 ?NUMBER ?CLASS1))
Merge.kif 238-242
Wenn
Relation
ist eine
teilrelation
von
** Relation
und die Zahl
PositiveInteger
Argument von
** ** Relation
ist eine
teilkategorie
von
Class
%n{nicht},
dann die Zahl
** PositiveInteger
Argument von
** Relation
ist eine
teilkategorie
von
** Class
%n{nicht}
consequent
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
domainSubclass
?REL2 ?NUMBER ?CLASS1))
(
domainSubclass
?REL1 ?NUMBER ?CLASS1))
Merge.kif 238-242
Wenn
Relation
ist eine
teilrelation
von
** Relation
und die Zahl
PositiveInteger
Argument von
** ** Relation
ist eine
teilkategorie
von
Class
%n{nicht},
dann die Zahl
** PositiveInteger
Argument von
** Relation
ist eine
teilkategorie
von
** Class
%n{nicht}
appearance as argument number 0
(
domainSubclass
AgentOfOrganismFn
1
Organism
)
WMD.kif 87-87
Die Zahl 1 Argument von
AgentOfOrganismFn
ist eine
teilkategorie
von
Organism
%n{nicht}
(
domainSubclass
AlbumCopiesFn
2
DataStorageDevice
)
Music.kif 931-931
Die Zahl 2 Argument von
AlbumCopiesFn
ist eine
teilkategorie
von
DataStorageDevice
%n{nicht}
(
domainSubclass
AmountsFn
1
Substance
)
Merge.kif 7577-7577
Die Zahl 1 Argument von
AmountsFn
ist eine
teilkategorie
von
Substance
%n{nicht}
(
domainSubclass
AttrFn
1
Object
)
Merge.kif 1777-1777
Die Zahl 1 Argument von
AttrFn
ist eine
teilkategorie
von
Object
%n{nicht}
(
domainSubclass
BodyAreaFn
1
BodyPart
)
Medicine.kif 6234-6234
Die Zahl 1 Argument von
BodyAreaFn
ist eine
teilkategorie
von
BodyPart
%n{nicht}
(
domainSubclass
BodySideFn
2
BodyPart
)
Merge.kif 14972-14972
Die Zahl 2 Argument von
BodySideFn
ist eine
teilkategorie
von
BodyPart
%n{nicht}
(
domainSubclass
CellPartFn
2
CellPart
)
VirusProteinAndCellPart.kif 1169-1169
Die Zahl 2 Argument von
CellPartFn
ist eine
teilkategorie
von
CellPart
%n{nicht}
(
domainSubclass
ContestFn
1
Contest
)
Music.kif 1047-1047
Die Zahl 1 Argument von
ContestFn
ist eine
teilkategorie
von
Contest
%n{nicht}
(
domainSubclass
CoveringFn
1
BodyPart
)
Mid-level-ontology.kif 29725-29725
Die Zahl 1 Argument von
CoveringFn
ist eine
teilkategorie
von
BodyPart
%n{nicht}
(
domainSubclass
DayFn
2
Month
)
Merge.kif 8589-8589
Die Zahl 2 Argument von
DayFn
ist eine
teilkategorie
von
Month
%n{nicht}
(
domainSubclass
DeadFn
1
OrganicObject
)
Mid-level-ontology.kif 115-115
Die Zahl 1 Argument von
DeadFn
ist eine
teilkategorie
von
OrganicObject
%n{nicht}
(
domainSubclass
DeadOrMissingBodyPartFn
1
BodyPart
)
Merge.kif 18239-18239
Die Zahl 1 Argument von
DeadOrMissingBodyPartFn
ist eine
teilkategorie
von
BodyPart
%n{nicht}
(
domainSubclass
DepartmentOfFn
2
Physical
)
Mid-level-ontology.kif 18324-18324
Die Zahl 2 Argument von
DepartmentOfFn
ist eine
teilkategorie
von
Physical
%n{nicht}
(
domainSubclass
DepartmentOfPreventingFn
2
Process
)
Mid-level-ontology.kif 18395-18395
Die Zahl 2 Argument von
DepartmentOfPreventingFn
ist eine
teilkategorie
von
Process
%n{nicht}
(
domainSubclass
EdemaFn
1
BodyPart
)
Mid-level-ontology.kif 9979-9979
Die Zahl 1 Argument von
EdemaFn
ist eine
teilkategorie
von
BodyPart
%n{nicht}
(
domainSubclass
EditionFn
1
ContentBearingObject
)
Merge.kif 15508-15508
Die Zahl 1 Argument von
EditionFn
ist eine
teilkategorie
von
ContentBearingObject
%n{nicht}
(
domainSubclass
FailureFn
1
IntentionalProcess
)
ComputingBrands.kif 4514-4514
Die Zahl 1 Argument von
FailureFn
ist eine
teilkategorie
von
IntentionalProcess
%n{nicht}
(
domainSubclass
FarmOfProductFn
1
Organism
)
Food.kif 3667-3667
Die Zahl 1 Argument von
FarmOfProductFn
ist eine
teilkategorie
von
Organism
%n{nicht}
(
domainSubclass
FiscalYearStartingFn
2
Year
)
Economy.kif 3724-3724
Die Zahl 2 Argument von
FiscalYearStartingFn
ist eine
teilkategorie
von
Year
%n{nicht}
(
domainSubclass
FoodForFn
1
Organism
)
Merge.kif 14858-14858
Die Zahl 1 Argument von
FoodForFn
ist eine
teilkategorie
von
Organism
%n{nicht}
(
domainSubclass
GeneralizedIntersectionFn
1
SetOrClass
)
Merge.kif 5498-5498
Die Zahl 1 Argument von
GeneralizedIntersectionFn
ist eine
teilkategorie
von
SetOrClass
%n{nicht}
(
domainSubclass
GeneralizedUnionFn
1
SetOrClass
)
Merge.kif 5487-5487
Die Zahl 1 Argument von
GeneralizedUnionFn
ist eine
teilkategorie
von
SetOrClass
%n{nicht}
(
domainSubclass
GeographicPartTypeFn
1
GeographicArea
)
Geography.kif 6913-6913
Die Zahl 1 Argument von
GeographicPartTypeFn
ist eine
teilkategorie
von
GeographicArea
%n{nicht}
(
domainSubclass
HourFn
2
Day
)
Merge.kif 8614-8614
Die Zahl 2 Argument von
HourFn
ist eine
teilkategorie
von
Day
%n{nicht}
(
domainSubclass
ImpairedBodyPartFn
1
BodyPart
)
Merge.kif 18218-18218
Die Zahl 1 Argument von
ImpairedBodyPartFn
ist eine
teilkategorie
von
BodyPart
%n{nicht}
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