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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnionFn
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 5113-5115
(domain UnionFn 1 SetOrClass) Merge.kif 5109-5109 domain UnionFn, 1 and SetOrClass
(domain UnionFn 2 SetOrClass) Merge.kif 5110-5110 domain UnionFn, 2 and SetOrClass
(instance UnionFn BinaryFunction) Merge.kif 5107-5107 instance UnionFn and BinaryFunction
(instance UnionFn TotalValuedRelation) Merge.kif 5108-5108 instance UnionFn and TotalValuedRelation
(range UnionFn SetOrClass) Merge.kif 5111-5111 range UnionFn and SetOrClass

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 502-502
(termFormat ChineseLanguage UnionFn "结合函数") chinese_format.kif 495-495
(termFormat ChineseLanguage UnionFn "联盟") domainEnglishFormat.kif 59889-59889
(termFormat ChineseTraditionalLanguage UnionFn "聯盟") domainEnglishFormat.kif 59888-59888
(termFormat EnglishLanguage UnionFn "union") domainEnglishFormat.kif 59887-59887

consequent
-------------------------


(<=>
    (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (located ?RAILWAYS ?AREA)
                (not
                    (instance ?RAILWAYS
                        (UnionFn StandardGaugeRailway
                            (UnionFn BroadGaugeRailway
                                (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))
Transportation.kif 291-303 lengthOfUnclassifiedGaugeRailway GeographicArea and LengthMeasure length KappaFn SymbolicString and located SymbolicString and GeographicArea instance SymbolicString and UnionFn StandardGaugeRailway and UnionFn BroadGaugeRailway and UnionFn DualGaugeRailway and NarrowGaugeRailway and LengthMeasure
(=>
    (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 Company-Military
    (UnionFn USMilitaryRankO3 USMilitaryRankO4))
Military.kif 742-743 commandRankOfEchelon Company-Military and UnionFn USMilitaryRankO3 and USMilitaryRankO4
(domain CardinalityFn 1
    (UnionFn SetOrClass Collection))
Merge.kif 5188-5188 domain CardinalityFn, 1 and UnionFn SetOrClass and Collection
(udaCanSignify
    (UnionFn
        (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)
ComputerInput.kif 2324-2325 udaCanSignify UnionFn PressingKeyFn TabKey and ShiftKeyHoldDown and SelectingActiveArea


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners