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。") Merge.kif 5529-5531
(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 5526-5528
(domain UnionFn 1 SetOrClass) Merge.kif 5523-5523 The number 1 argument of union is an instance of set or class
(domain UnionFn 2 SetOrClass) Merge.kif 5524-5524 The number 2 argument of union is an instance of set or class
(instance UnionFn BinaryFunction) Merge.kif 5521-5521 Union is an instance of binary function
(instance UnionFn TotalValuedRelation) Merge.kif 5522-5522 Union is an instance of total valued relation
(range UnionFn SetOrClass) Merge.kif 5525-5525 The range of union is an instance of set or class

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 301-301
(termFormat ChineseLanguage UnionFn "结合函数") chinese_format.kif 495-495 "结合函数" is the printable form of union in ChineseLanguage
(termFormat EnglishLanguage UnionFn "union") domainEnglishFormat.kif 10425-10425 "union" is the printable form of union in english language

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 A length measure is a length of unclassified gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=>
    (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 547-559
(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?AC)
        (instance ?AC ArtilleryCannon))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (instance ?PROJ
                (UnionFn Missile Grenade)))))
MilitaryDevices.kif 178-187

statement
-------------------------


(commandRankOfEchelon Company-Military
    (UnionFn USMilitaryRankO3 USMilitaryRankO4))
Military.kif 741-742 The union of US military rank o3 and US military rank o4 is a command rank of echelon of company- military
(domain CardinalityFn 1
    (UnionFn SetOrClass Collection))
Merge.kif 5616-5616 The number 1 argument of cardinality is an instance of the union of set or class and collection
(udaCanSignify
    (UnionFn
        (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)
ComputerInput.kif 1848-1849 The union of pressing the TabKey key and ShiftKeyHoldDown isgnifies 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