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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComplementFn

Sigma KEE - ComplementFn
ComplementFn

appearance as argument number 1
-------------------------


(documentation ComplementFn ChineseLanguage "一个特定的 SetOrClass C 的补集,是一个包含所有 东西、但不包括C实例的 SetOrClass。换句话数,一个物体是 SetOrClass C 补集的一个实例,以防它不是C 的一个实例。") chinese_format.kif 2300-2302
(documentation ComplementFn EnglishLanguage "The complement of a given SetOrClass C is the SetOrClass of all things that are not instances of C. In other words, an object is an instance of the complement of a SetOrClass C just in case it is not an instance of C.") Merge.kif 5481-5484
(documentation ComplementFn JapaneseLanguage "指定された SetOrClass C の補数は、C のインス、 ンスではないすべてのものである。言い換えると、オブジェクトはCのインスタンスでない場合に備えて、 SetOrClass C の補数のインスタンスである。") japanese_format.kif 969-971
(domain ComplementFn 1 SetOrClass) Merge.kif 5478-5478
(instance ComplementFn TotalValuedRelation) Merge.kif 5477-5477
(instance ComplementFn UnaryFunction) Merge.kif 5476-5476
(range ComplementFn SetOrClass) Merge.kif 5479-5479

appearance as argument number 2
-------------------------


(format ChineseLanguage ComplementFn "%1 的补集") chinese_format.kif 500-500
(format EnglishLanguage ComplementFn "the complement of %1") english_format.kif 505-505
(format FrenchLanguage ComplementFn "le compl�ment de %1") french_format.kif 293-293
(format ItalianLanguage ComplementFn "il complemento di %1") relations-it.txt 46-46
(format JapaneseLanguage ComplementFn "%1 の complement") japanese_format.kif 2070-2070
(format PortugueseLanguage ComplementFn "o complemento de %1") portuguese_format.kif 245-245
(format de ComplementFn "die ergaenzung von %1") relations-de.txt 650-650
(format hi ComplementFn "%1 kaa puuraka") relations-hindi.txt 88-88
(format ro ComplementFn "complement%t{complementara} lui %1") relations-ro.kif 314-314
(format sv ComplementFn "komplementet till %1") relations-sv.txt 321-321
(format tg ComplementFn "the kapupunan ng %1") relations-cb.txt 80-80
(termFormat ChineseLanguage ComplementFn "补充") domainEnglishFormat.kif 16170-16170
(termFormat ChineseLanguage ComplementFn "补集函数") chinese_format.kif 501-501
(termFormat ChineseTraditionalLanguage ComplementFn "補充") domainEnglishFormat.kif 16169-16169
(termFormat EnglishLanguage ComplementFn "complement") domainEnglishFormat.kif 16168-16168
(termFormat tg ComplementFn "tungkulin ng kapupunan") relations-tg.txt 109-109

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