Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
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
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 227-230
(
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 224-224
domainSubclass
の数値 1 引数は
関係
の
instance
では
(
domain
domainSubclass
2
PositiveInteger
)
Merge.kif 225-225
domainSubclass
の数値 2 引数は
正の整数
の
instance
では
(
domain
domainSubclass
3
Class
)
Merge.kif 226-226
domainSubclass
の数値 3 引数は
クラス
の
instance
では
(
instance
domainSubclass
TernaryPredicate
)
Merge.kif 223-223
domainSubclass
は
3進述語
の
instance
では
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 20127-20127
(
termFormat
ChineseLanguage
domainSubclass
"子类别的定义域")
chinese_format.kif 294-294
(
termFormat
ChineseTraditionalLanguage
domainSubclass
"域子類")
domainEnglishFormat.kif 20126-20126
(
termFormat
EnglishLanguage
domainSubclass
"domain subclass")
domainEnglishFormat.kif 20125-20125
(
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 3018-3023
関係
の数値
正の整数
引数は
クラス
の
subclass
では
関係
は
述語
の
instance
では
関係
@ROW
(@ROW) の
正の整数
th
element
は
クラス
の
subclass
では
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 238-244
関係
の数値
正の整数
引数は
クラス
の
subclass
では
関係
の数値
正の整数
引数は
クラス
の
subclass
では
クラス
は
クラス
の
subclass
では
クラス
は
クラス
の
subclass
では
(=>
(
and
(
domainSubclass
?REL1 ?NUMBER ?CLASS1)
(
domainSubclass
?REL2 ?NUMBER ?CLASS2)
(
disjoint
?CLASS1 ?CLASS2))
(
disjointRelation
?REL1 ?REL2))
Merge.kif 419-424
関係
の数値
正の整数
引数は
クラス
の
subclass
では
関係
の数値
正の整数
引数は
クラス
の
subclass
では
クラス
と
クラス
は
disjoint
では
関係
と
関係
は
disjoint
では
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
domainSubclass
?REL2 ?NUMBER ?CLASS1))
(
domainSubclass
?REL1 ?NUMBER ?CLASS1))
Merge.kif 232-236
関係
は
関係
の
subrelation
では
関係
の数値
正の整数
引数は
クラス
の
subclass
では
関係
の数値
正の整数
引数は
クラス
の
subclass
では
consequent
(=>
(
and
(
subrelation
?REL1 ?REL2)
(
domainSubclass
?REL2 ?NUMBER ?CLASS1))
(
domainSubclass
?REL1 ?NUMBER ?CLASS1))
Merge.kif 232-236
関係
は
関係
の
subrelation
では
関係
の数値
正の整数
引数は
クラス
の
subclass
では
関係
の数値
正の整数
引数は
クラス
の
subclass
では
appearance as argument number 0
(
domainSubclass
AgentOfOrganismFn
1
Organism
)
WMD.kif 87-87
AgentOfOrganismFn
の数値 1 引数は
物
の
subclass
では
(
domainSubclass
AlbumCopiesFn
2
DataStorageDevice
)
Music.kif 933-933
AlbumCopiesFn
の数値 2 引数は
DataStorageDevice
の
subclass
では
(
domainSubclass
AmountsFn
1
Substance
)
Merge.kif 7627-7627
AmountsFn
の数値 1 引数は
物質
の
subclass
では
(
domainSubclass
AttrFn
1
Object
)
Merge.kif 1787-1787
AttrFn
の数値 1 引数は
オブジェクト
の
subclass
では
(
domainSubclass
BodyAreaFn
1
BodyPart
)
Medicine.kif 6251-6251
BodyAreaFn
の数値 1 引数は
体の部分
の
subclass
では
(
domainSubclass
BodySideFn
2
BodyPart
)
Merge.kif 15125-15125
BodySideFn
の数値 2 引数は
体の部分
の
subclass
では
(
domainSubclass
CellPartFn
2
CellPart
)
VirusProteinAndCellPart.kif 1177-1177
CellPartFn
の数値 2 引数は
CellPart
の
subclass
では
(
domainSubclass
ContestFn
1
Contest
)
Music.kif 1049-1049
ContestFn
の数値 1 引数は
コンテスト
の
subclass
では
(
domainSubclass
CoveringFn
1
BodyPart
)
Mid-level-ontology.kif 31644-31644
CoveringFn
の数値 1 引数は
体の部分
の
subclass
では
(
domainSubclass
DayFn
2
Month
)
Merge.kif 8702-8702
DayFn
の数値 2 引数は
月
の
subclass
では
(
domainSubclass
DeadFn
1
OrganicObject
)
Merge.kif 18663-18663
DeadFn
の数値 1 引数は
有機物
の
subclass
では
(
domainSubclass
DeadOrMissingBodyPartFn
1
BodyPart
)
Merge.kif 18426-18426
DeadOrMissingBodyPartFn
の数値 1 引数は
体の部分
の
subclass
では
(
domainSubclass
DepartmentOfFn
2
Physical
)
Mid-level-ontology.kif 19895-19895
DepartmentOfFn
の数値 2 引数は
物理
の
subclass
では
(
domainSubclass
DepartmentOfPreventingFn
2
Process
)
Mid-level-ontology.kif 19966-19966
DepartmentOfPreventingFn
の数値 2 引数は
工程
の
subclass
では
(
domainSubclass
EdemaFn
1
BodyPart
)
Mid-level-ontology.kif 11308-11308
EdemaFn
の数値 1 引数は
体の部分
の
subclass
では
(
domainSubclass
EditionFn
1
ContentBearingObject
)
Merge.kif 15658-15658
EditionFn
の数値 1 引数は
コンテンツベアリングオブジェクト
の
subclass
では
(
domainSubclass
FailureFn
1
IntentionalProcess
)
ComputingBrands.kif 4509-4509
FailureFn
の数値 1 引数は
意図的なプロセス
の
subclass
では
(
domainSubclass
FarmOfProductFn
1
Organism
)
Food.kif 3674-3674
FarmOfProductFn
の数値 1 引数は
物
の
subclass
では
(
domainSubclass
FiscalYearStartingFn
2
Year
)
Economy.kif 4061-4061
FiscalYearStartingFn
の数値 2 引数は
年
の
subclass
では
(
domainSubclass
FoodForFn
1
Organism
)
Merge.kif 15011-15011
FoodForFn
の数値 1 引数は
物
の
subclass
では
(
domainSubclass
GeneralizedIntersectionFn
1
SetOrClass
)
Merge.kif 5523-5523
GeneralizedIntersectionFn
の数値 1 引数は
同じセットまたはクラス
の
subclass
では
(
domainSubclass
GeneralizedUnionFn
1
SetOrClass
)
Merge.kif 5512-5512
GeneralizedUnionFn
の数値 1 引数は
同じセットまたはクラス
の
subclass
では
(
domainSubclass
GeographicPartTypeFn
1
GeographicArea
)
Geography.kif 7250-7250
GeographicPartTypeFn
の数値 1 引数は
地理的地域
の
subclass
では
(
domainSubclass
HourFn
2
Day
)
Merge.kif 8727-8727
HourFn
の数値 2 引数は
日
の
subclass
では
(
domainSubclass
ImpairedBodyPartFn
1
BodyPart
)
Merge.kif 18405-18405
ImpairedBodyPartFn
の数値 1 引数は
体の部分
の
subclass
では
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