IntersectionFn |
appearance as argument number 1 |
(documentation IntersectionFn ChineseLanguage "这是一个 BinaryFunction,它把两个 SetOrClass 这两个 SetOrClass 的交集联系起来。一个物体是这两个 SetOrClass 的交集的一个实例, 以防它同时是这两个 SetOrClass 的一个 instance。") | chinese_format.kif 2294-2296 | |
(documentation IntersectionFn EnglishLanguage "A BinaryFunction that maps two SetOrClasses to the intersection of these SetOrClasses. An object is an instance of the intersection of two SetOrClasses just in case it is an instance of both of those SetOrClasses.") | Merge.kif 5460-5463 | |
(documentation IntersectionFn JapaneseLanguage "BinaryFunction は、2つの SetOrClass を これらの SetOrClass の交点にマップする 。オブジェクトは、つの SetOrClass の両方のインスタンス である場合に備えて、2つの SetOrClass の交点のインスタンスである。") | japanese_format.kif 963-965 | |
(domain IntersectionFn 1 SetOrClass) | Merge.kif 5456-5456 | 交集函数 的 1 数量 是 集或类 的 instance |
(domain IntersectionFn 2 SetOrClass) | Merge.kif 5457-5457 | 交集函数 的 2 数量 是 集或类 的 instance |
(instance IntersectionFn BinaryFunction) | Merge.kif 5454-5454 | 交集函数 是 二元函数 的 instance |
(instance IntersectionFn TotalValuedRelation) | Merge.kif 5455-5455 | 交集函数 是 总值关系 的 instance |
(range IntersectionFn SetOrClass) | Merge.kif 5458-5458 | 交集函数 的 range 是 集或类 的实例 |
appearance as argument number 2 |
(format ChineseLanguage IntersectionFn "结合 %1 和 %2") | chinese_format.kif 496-496 | |
(format EnglishLanguage IntersectionFn "the union of %1 and %2") | english_format.kif 501-501 | |
(format FrenchLanguage IntersectionFn "l' intersection de %1 et %2") | french_format.kif 291-291 | |
(format ItalianLanguage IntersectionFn "l' unione di %1 e %2") | relations-it.txt 153-153 | |
(format JapaneseLanguage IntersectionFn "%1 と %2 の union") | japanese_format.kif 2068-2068 | |
(format PortugueseLanguage IntersectionFn "a intersecao de %1 e %2") | portuguese_format.kif 243-243 | |
(format de IntersectionFn "der durchschnitt von %1 und %2") | relations-de.txt 644-644 | |
(format hi IntersectionFn "%1 aura %2 kaa sarvanishhTha") | relations-hindi.txt 192-192 | |
(format ro IntersectionFn "intersection%t{intersecþia} lui %1 ºi %2") | relations-ro.kif 312-312 | |
(format sv IntersectionFn "snittet av %1 och %2") | relations-sv.txt 319-319 | |
(termFormat ChineseLanguage IntersectionFn "交集函数") | chinese_format.kif 497-497 | |
(termFormat ChineseLanguage IntersectionFn "路口") | domainEnglishFormat.kif 30745-30745 | |
(termFormat ChineseTraditionalLanguage IntersectionFn "路口") | domainEnglishFormat.kif 30744-30744 | |
(termFormat EnglishLanguage IntersectionFn "intersection") | domainEnglishFormat.kif 30743-30743 |
statement |