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
RelativeComplementFn
Sigma KEE - RelativeComplementFn
RelativeComplementFn
appearance as argument number 1
(
documentation
RelativeComplementFn
ChineseLanguage
"这是一个
BinaryFunction
,它把两个
SetOrClass
和这两个
SetOrClass
的差异联系起来,更确实的说,(
RelativeComplementFn
?CLASS1 ?CLASS2)得出在 ?CLASS1 却不属于 ?CLASS2 的实例。")
chinese_format.kif 2297-2299
(
documentation
RelativeComplementFn
EnglishLanguage
"A
BinaryFunction
that maps two
SetOrClass
es to the difference between these
SetOrClass
es. More precisely, (
RelativeComplementFn
?CLASS1 ?CLASS2) denotes the instances of ?CLASS1 that are not also instances of ?CLASS2.")
Merge.kif 5470-5473
(
documentation
RelativeComplementFn
JapaneseLanguage
"
BinaryFunction
は、これらの
SetOrClass
の違いに2つの
SetOrClass
C をマップする。 より正確には、(
RelativeComplementFn
?CLASS1 ?CLASS2) は、?CLASS2のインスタンスでもない?CLASS1のインスタンスを示す。")
japanese_format.kif 966-968
(
domain
RelativeComplementFn
1
SetOrClass
)
Merge.kif 5466-5466
Die Zahl 1 Argument von
RelativeComplementFn
ist ein
fall
von
SetOrClass
%n{nicht}
(
domain
RelativeComplementFn
2
SetOrClass
)
Merge.kif 5467-5467
Die Zahl 2 Argument von
RelativeComplementFn
ist ein
fall
von
SetOrClass
%n{nicht}
(
instance
RelativeComplementFn
BinaryFunction
)
Merge.kif 5464-5464
RelativeComplementFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
instance
RelativeComplementFn
TotalValuedRelation
)
Merge.kif 5465-5465
RelativeComplementFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
range
RelativeComplementFn
SetOrClass
)
Merge.kif 5468-5468
bildbereich
von
RelativeComplementFn
ist ein fall von
SetOrClass
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
RelativeComplementFn
"区别 %1 和 %2")
chinese_format.kif 498-498
(
format
EnglishLanguage
RelativeComplementFn
"the difference between %1 and %2")
english_format.kif 503-503
(
format
FrenchLanguage
RelativeComplementFn
"la diff�rence entre %1 et %2")
french_format.kif 292-292
(
format
ItalianLanguage
RelativeComplementFn
"la differenza tra %1 e %2")
relations-it.txt 250-250
(
format
JapaneseLanguage
RelativeComplementFn
"%1 と %2 の difference")
japanese_format.kif 2069-2069
(
format
PortugueseLanguage
RelativeComplementFn
"a diferenca entre %1 e %2")
portuguese_format.kif 244-244
(
format
de
RelativeComplementFn
"der unterschied zwischen %1 und %2")
relations-de.txt 647-647
(
format
hi
RelativeComplementFn
"%1 aura %2 ke biicha antara")
relations-hindi.txt 288-288
(
format
ro
RelativeComplementFn
"difference%t{diferenþa} dintre %1 ºi %2")
relations-ro.kif 313-313
(
format
sv
RelativeComplementFn
"differensen mellan %1 och %2")
relations-sv.txt 320-320
(
format
tg
RelativeComplementFn
"ang diperensya ng %1 at %2")
relations-tg.txt 442-442
(
termFormat
ChineseLanguage
RelativeComplementFn
"相对补充")
domainEnglishFormat.kif 49334-49334
(
termFormat
ChineseLanguage
RelativeComplementFn
"相对补集函数")
chinese_format.kif 499-499
(
termFormat
ChineseTraditionalLanguage
RelativeComplementFn
"相對補充")
domainEnglishFormat.kif 49333-49333
(
termFormat
EnglishLanguage
RelativeComplementFn
"relative complement")
domainEnglishFormat.kif 49332-49332
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