UnionFn |
appearance as argument number 1 |
(documentation UnionFn ChineseLanguage "这是一个 BinaryFunction,它把两个 SetOrClass 和 这两个 SetOrClass 的并集联系起来。一个物体是这两个 SetOrClass 的并集的一个 element,以防它是 两个 SetOrClass 其中之一的一个 instance。") | chinese_format.kif 2291-2293 | |
(documentation UnionFn EnglishLanguage "A BinaryFunction that maps two SetOrClasses to the union of these SetOrClasses. An object is an element of the union of two SetOrClasses just in case it is an instance of either SetOrClass.") | Merge.kif 5434-5436 | |
(documentation UnionFn JapaneseLanguage "BinaryFunction は、これらの SetOrClass の結合に 2つの SetOrClasses をマップする 。 オブジェクトは、どちらかの SetOrClasse の instance である場合に備えて、2つの SetOrClass の結合の element である。") | japanese_format.kif 960-962 | |
(domain UnionFn 1 SetOrClass) | Merge.kif 5430-5430 | 结合函数 的 1 数量 是 集或类 的 instance |
(domain UnionFn 2 SetOrClass) | Merge.kif 5431-5431 | 结合函数 的 2 数量 是 集或类 的 instance |
(instance UnionFn BinaryFunction) | Merge.kif 5428-5428 | 结合函数 是 二元函数 的 instance |
(instance UnionFn TotalValuedRelation) | Merge.kif 5429-5429 | 结合函数 是 总值关系 的 instance |
(range UnionFn SetOrClass) | Merge.kif 5432-5432 | 结合函数 的 range 是 集或类 的实例 |
appearance as argument number 2 |
(format ChineseLanguage UnionFn "结合 %1 和 %2") | chinese_format.kif 494-494 | |
(format EnglishLanguage UnionFn "the union of %1 and %2") | english_format.kif 499-499 | |
(format FrenchLanguage UnionFn "l' union de %1 et %2") | french_format.kif 290-290 | |
(format ItalianLanguage UnionFn "l' unione di %1 e %2") | relations-it.txt 306-306 | |
(format JapaneseLanguage UnionFn "%1 と %2 の union") | japanese_format.kif 2067-2067 | |
(format PortugueseLanguage UnionFn "a uniao de %1 e %2") | portuguese_format.kif 242-242 | |
(format de UnionFn "die vereinigung von %1 und %2") | relations-de.txt 641-641 | |
(format hi UnionFn "%1 aura %2 kaa sanyojana") | relations-hindi.txt 342-342 | |
(format ro UnionFn "union%t{reuniunea} lui %1 ºi %2") | relations-ro.kif 311-311 | |
(format sv UnionFn "unionen av %1 och %2") | relations-sv.txt 318-318 | |
(format tg UnionFn "ang pagkakaisa ng %1 at %2") | relations-tg.txt 498-498 | |
(termFormat ChineseLanguage UnionFn "结合函数") | chinese_format.kif 495-495 | |
(termFormat ChineseLanguage UnionFn "联盟") | domainEnglishFormat.kif 60004-60004 | |
(termFormat ChineseTraditionalLanguage UnionFn "聯盟") | domainEnglishFormat.kif 60003-60003 | |
(termFormat EnglishLanguage UnionFn "union") | domainEnglishFormat.kif 60002-60002 |
consequent |
(<=> (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (located ?RAILWAYS ?AREA) (not (instance ?RAILWAYS (UnionFn StandardGaugeRailway (UnionFn BroadGaugeRailway (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH)) |
Transportation.kif 294-306 | 长度测量 是 地理区域 的未分类规格轨道 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
(=> (and (instance ?RO RecoveryOperation) (patient ?RO ?TARGET)) (hasPurpose ?RO (exists (?PROCESS) (and (patient ?PROCESS ?TARGET) (instance ?PROCESS (UnionFn Classifying (UnionFn Pursuing (UnionFn Discovering (UnionFn Locating Returning))))))))) |
MilitaryProcesses.kif 558-570 | |
(=> (and (instance ?SHOOTING Shooting) (instrument ?SHOOTING ?AC) (instance ?AC ArtilleryCannon)) (exists (?PROJ) (and (instrument ?SHOOTING ?PROJ) (instance ?PROJ (UnionFn Missile Grenade))))) |
MilitaryDevices.kif 179-188 |
statement |
(commandRankOfEchelon CompanyMilitary (UnionFn USMilitaryRankO3 USMilitaryRankO4)) |
Military.kif 742-743 | 结合 美国军衔o3 和 美国军衔o4 是 公司- 军事 的 command 梯队等级 |
(domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5509-5509 | 势函数 的 1 数量 是 结合 集或类 和 群体 的 instance |
(udaCanSignify (UnionFn (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea) |
ComputerInput.kif 2309-2310 | 结合 pressing TabKey 鍵 和 ShiftKeyHoldDown isgnifies SelectingActiveArea |