| 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 SetOrClasses to the difference between these SetOrClasses. 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つの SetOrClassC をマップする。 より正確には、(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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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