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 5396-5397
(
documentation
subset
JapaneseLanguage
"(subset ?SET1 ?SET2) は、
Set
?SET1の
element
も
Set
?SET2 の
element
の場合に備えて当てはまる。")
japanese_format.kif 955-956
(
domain
subset
1
Set
)
Merge.kif 5393-5393
Le nombre 1 argument de
sous-ensemble
est une
instance
de
ensemble
(
domain
subset
2
Set
)
Merge.kif 5394-5394
Le nombre 2 argument de
sous-ensemble
est une
instance
de
ensemble
(
instance
subset
BinaryPredicate
)
Merge.kif 5392-5392
sous-ensemble
est une
instance
de
pr�dicat binaire
(
subrelation
subset
subclass
)
Merge.kif 5391-5391
sous-ensemble
est une
sous
-relation de
subclass
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 55799-55799
(
termFormat
EnglishLanguage
subset
"subset")
domainEnglishFormat.kif 55798-55798
(
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 5399-5403
Ensemble
est un
sous
-ensemble de
ensemble
entit�
est un
ensemble
entit�
est un
ensemble
consequent
(=>
(=>
(
element
?ELEMENT ?SUBSET)
(
element
?ELEMENT ?SET))
(
subset
?SUBSET ?SET))
Merge.kif 5405-5409
Entit�
est un
ensemble
entit�
est un
ensemble
ensemble
est un
sous
-ensemble de
ensemble
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