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
subset
Sigma KEE - subset
subset
appearance as argument number 1
(
documentation
subset
ChineseLanguage
"(subset ?SET1 ?SET2) 是真的,以防
Set
?SET1 的
element
s 也是
Set
?SET2 的
element
。")
chinese_format.kif 2287-2288
(
documentation
subset
EnglishLanguage
"(subset ?SET1 ?SET2) is true just in case the
element
s of the
Set
?SET1 are also
element
s of the
Set
?SET2.")
Merge.kif 5397-5398
(
documentation
subset
JapaneseLanguage
"(subset ?SET1 ?SET2) は、
Set
?SET1の
element
も
Set
?SET2 の
element
の場合に備えて当てはまる。")
japanese_format.kif 955-956
(
domain
subset
1
Set
)
Merge.kif 5394-5394
子集
的 1 数量 是
集合
的
instance
(
domain
subset
2
Set
)
Merge.kif 5395-5395
子集
的 2 数量 是
集合
的
instance
(
instance
subset
BinaryPredicate
)
Merge.kif 5393-5393
子集
是
二元谓语
的
instance
(
subrelation
subset
subclass
)
Merge.kif 5392-5392
子集
是
子类别
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
subset
"%1 %n 是 %2 的
subset
")
chinese_format.kif 486-486
(
format
EnglishLanguage
subset
"%1 is %n a
subset
of %2")
english_format.kif 491-491
(
format
FrenchLanguage
subset
"%1 est %n un sous-ensemble de %2")
french_format.kif 284-284
(
format
ItalianLanguage
subset
"%1 è %n un sottoinsieme di %2")
relations-it.txt 280-280
(
format
JapaneseLanguage
subset
"%1 は %2 の
subset
%n")
japanese_format.kif 2065-2065
(
format
PortugueseLanguage
subset
"%1 e' %n um sub-conjunto de %2")
portuguese_format.kif 236-236
(
format
cz
subset
"%1 %p{je} %n{nen�} a
subset
of %2")
relations-cz.txt 290-290
(
format
de
subset
"%1 ist eine teilmenge von %2 %n{nicht}")
relations-de.txt 630-630
(
format
hi
subset
"%1 %2 kaa upasamuuha %n hai")
relations-hindi.txt 317-317
(
format
ro
subset
"%1 %n{nu} este o
subset
%t{submulþime} a lui %2")
relations-ro.kif 305-305
(
format
sv
subset
"%1 är %n{inte} en
de
lmängd av %2")
relations-sv.txt 311-311
(
format
tg
subset
"%1 is %n ay ang bahagi ng pulutong ng %2")
relations-tg.txt 472-472
(
termFormat
ChineseLanguage
subset
"子集")
chinese_format.kif 487-487
(
termFormat
ChineseTraditionalLanguage
subset
"子集")
domainEnglishFormat.kif 55801-55801
(
termFormat
EnglishLanguage
subset
"subset")
domainEnglishFormat.kif 55800-55800
(
termFormat
FrenchLanguage
subset
"sous-ensemble")
french_format.kif 991-991
(
termFormat
PortugueseLanguage
subset
"Subconjunto")
portuguese_format.kif 943-943
antecedent
(=>
(
and
(
subset
?SUBSET ?SET)
(
element
?ELEMENT ?SUBSET))
(
element
?ELEMENT ?SET))
Merge.kif 5400-5404
如果
集合
是
另一个 集合
的
subset
和
实体
是
那个 集合
的
element
,
然后
那个 实体
是
那个 另外 集合
的
element
consequent
(=>
(=>
(
element
?ELEMENT ?SUBSET)
(
element
?ELEMENT ?SET))
(
subset
?SUBSET ?SET))
Merge.kif 5406-5410
如果
如果
实体
是
集合
的
element
,
然后
那个 实体
是
另一个 集合
的
element
,
然后
那个 集合
是
那个 另外 集合
的
subset
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