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 | Le nombre 1 argument de ComplementFn est une instance de ensemble ou classe |
(instance ComplementFn TotalValuedRelation) | Merge.kif 5477-5477 | ComplementFn est une instance de relation total |
(instance ComplementFn UnaryFunction) | Merge.kif 5476-5476 | ComplementFn est une instance de function unaire |
(range ComplementFn SetOrClass) | Merge.kif 5479-5479 | Le domaine de ComplementFn est une instance de ensemble ou classe |
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 |
statement |
(subclass ChemicalAgent (ComplementFn OrganicObject)) |
WMD.kif 451-451 | ChemicalAgent est une sous-classe de le compl�ment de objet organique |
(subclass MedicalClinicBuilding (ComplementFn Residence)) |
Mid-level-ontology.kif 7693-7693 | MedicalClinicBuilding est une sous-classe de le compl�ment de Residence |