TreeView Knowledge Base Browser

appearance as argument number 1

(instance UnionFn BinaryFunction)	Merge.kif 5547-5547	Union is an instance of binary function
(instance UnionFn TotalValuedRelation)	Merge.kif 5548-5548	Union is an instance of total valued relation
(domain UnionFn 1 SetOrClass)	Merge.kif 5549-5549	The number 1 argument of union is an instance of set or class
(domain UnionFn 2 SetOrClass)	Merge.kif 5550-5550	The number 2 argument of union is an instance of set or class
(range UnionFn SetOrClass)	Merge.kif 5551-5551	The range of union is an instance of set or class
(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 5553-5555	The range of union is an instance of set or class

appearance as argument number 2

(termFormat EnglishLanguage UnionFn "union")	domainEnglishFormat.kif 59987-59987
(termFormat ChineseTraditionalLanguage UnionFn "聯盟")	domainEnglishFormat.kif 59988-59988
(termFormat ChineseLanguage UnionFn "联盟")	domainEnglishFormat.kif 59989-59989
(format EnglishLanguage UnionFn "the union of %1 and %2")	english_format.kif 499-499

consequent

(<=>
    (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (located ?RAILWAYS ?AREA)
                (not
                    (instance ?RAILWAYS
                        (UnionFn StandardGaugeRailway
                            (UnionFn BroadGaugeRailway
                                (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))

X is a length of unclassified gauge railway of Y if and only if the length of the class described by Z is X

statement

(udaCanSignify (UnionFn (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)	ComputerInput.kif 2325-2326	The union of pressing the tab key key and shift key hold down isgnifies selecting active area
(commandRankOfEchelon CompanyMilitary (UnionFn USMilitaryRankO3 USMilitaryRankO4))	Military.kif 1017-1018	The union of US military rank o3 and US military rank o4 is a command rank of echelon of company- military