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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Set

Sigma KEE - Set
Set

appearance as argument number 1
-------------------------


(documentation Set ChineseLanguage "这是个 SetOrClass 能满足延伸性和由集合理论的某些选择所指定 的其他约束。Set 在两个重要方面与 Classes 不同:第一,Sets 是可以延伸的 - 两个拥有一样 elementSet 是相同的。第二,一个 Set 可以是一堆随意组成的东西。这就是说 Set 不需要具有确定 其成员资格的相关联条件。注:我们并没有假设每个 Set 为独一无二的集合,即是说一个 Set 的组员可以在那个 Set 出现超过一次。") chinese_format.kif 1811-1815
(documentation Set EnglishLanguage "A SetOrClass that satisfies extensionality as well as other constraints specified by some choice of set theory. Sets differ from Classes in two important respects. First, Sets are extensional - two Sets with the same elements are identical. Second, a Set can be an arbitrary stock of objects. That is, there is no requirement that Sets have an associated condition that determines their membership. Note that Sets are not assumed to be unique sets, i.e. elements of a Set may occur more than once in the Set.") Merge.kif 2098-2105
(subclass Set SetOrClass) Merge.kif 2096-2096

appearance as argument number 2
-------------------------


(partition SetOrClass Set Class) Merge.kif 2077-2077
(range PropertyFn Set) Merge.kif 4193-4193
(subclass FiniteSet Set) Merge.kif 5445-5445
(subclass NonNullSet Set) Merge.kif 5435-5435
(subclass NullSet Set) Merge.kif 5424-5424
(subclass SetOfEquations Set) engineering.kif 204-204
(termFormat ChineseLanguage Set "集合") chinese_format.kif 887-887
(termFormat EnglishLanguage Set "set") english_format.kif 976-976

appearance as argument number 3
-------------------------


(domain element 2 Set) Merge.kif 5323-5323
(domain subset 1 Set) Merge.kif 5301-5301
(domain subset 2 Set) Merge.kif 5302-5302

antecedent
-------------------------


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))
Mid-level-ontology.kif 30813-30820
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (approximateDiameter ?O ?Q))
Mid-level-ontology.kif 30683-30688
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (circumfrence ?O ?Q))
Mid-level-ontology.kif 30616-30621
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (diameter ?O ?Q))
Mid-level-ontology.kif 30661-30666
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (height ?O ?Q))
Mid-level-ontology.kif 30595-30600
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (length ?O ?Q))
Mid-level-ontology.kif 30564-30569
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (measure ?O ?Q))
Mid-level-ontology.kif 30515-30520
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (totalArea ?O ?Q))
Mid-level-ontology.kif 30705-30710
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (transformerCapacity ?O ?Q))
Mid-level-ontology.kif 30845-30850
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 30727-30732
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (voltageRatingSecondary ?O ?Q))
Mid-level-ontology.kif 30770-30775
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (width ?O ?Q))
Mid-level-ontology.kif 30583-30588

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


(=>
    (and
        (instance ?X BreakingRecord)
        (agent ?X ?A1))
    (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
        (and
            (instance ?AC Set)
            (instance ?A1 ?AC)
            (subclass ?PC Process)
            (instance ?L Region)
            (instance ?TP TimePoint)
            (instance ?Q Quantity)
            (instance ?P1 ?PC)
            (refers ?X ?Q)
            (refers ?Q ?P1)
            (playsRoleInEvent ?A1 ?ROLE ?P1)
            (eventLocated ?P1 ?L)
            (not
                (exists (?A2 ?P2)
                    (and
                        (instance ?A2 ?AC)
                        (not
                            (equal ?A2 ?A1))
                        (instance ?P2 ?PC)
                        (holdsDuring
                            (TimeIntervalFn ?TP
                                (EndFn
                                    (WhenFn ?X)))
                            (and
                                (playsRoleInEvent ?A2 ?ROLE ?P2)
                                (eventLocated ?P2 ?L)))))))))
Mid-level-ontology.kif 29534-29564


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners