Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 The number 1 argument of relative complement is an instance of set or class
(domain RelativeComplementFn 2 SetOrClass) Merge.kif 5468-5468 The number 2 argument of relative complement is an instance of set or class
(instance RelativeComplementFn BinaryFunction) Merge.kif 5465-5465 Relative complement is an instance of binary function
(instance RelativeComplementFn TotalValuedRelation) Merge.kif 5466-5466 Relative complement is an instance of total valued relation
(range RelativeComplementFn SetOrClass) Merge.kif 5469-5469 The range of relative complement is an instance of set or class

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 49374-49374
(termFormat ChineseLanguage RelativeComplementFn "相对补集函数") chinese_format.kif 499-499
(termFormat ChineseTraditionalLanguage RelativeComplementFn "相對補充") domainEnglishFormat.kif 49373-49373
(termFormat EnglishLanguage RelativeComplementFn "relative complement") domainEnglishFormat.kif 49372-49372


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