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 5471-5474
(
documentation
RelativeComplementFn
JapaneseLanguage
"
BinaryFunction
は、これらの
SetOrClass
の違いに2つの
SetOrClass
C をマップする。 より正確には、(
RelativeComplementFn
?CLASS1 ?CLASS2) は、?CLASS2のインスタンスでもない?CLASS1のインスタンスを示す。")
japanese_format.kif 966-968
(
domain
RelativeComplementFn
1
SetOrClass
)
Merge.kif 5467-5467
(
domain
RelativeComplementFn
2
SetOrClass
)
Merge.kif 5468-5468
(
instance
RelativeComplementFn
BinaryFunction
)
Merge.kif 5465-5465
(
instance
RelativeComplementFn
TotalValuedRelation
)
Merge.kif 5466-5466
(
range
RelativeComplementFn
SetOrClass
)
Merge.kif 5469-5469
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 49336-49336
(
termFormat
ChineseLanguage
RelativeComplementFn
"相对补集函数")
chinese_format.kif 499-499
(
termFormat
ChineseTraditionalLanguage
RelativeComplementFn
"相對補充")
domainEnglishFormat.kif 49335-49335
(
termFormat
EnglishLanguage
RelativeComplementFn
"relative complement")
domainEnglishFormat.kif 49334-49334
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