Set - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Set ChineseLanguage "这是个 SetOrClass 能满足延伸性和由集合理论的某些选择所指定的其他约束。Set 在两个重要方面与 Classes 不同：第一，Sets 是可以延伸的 - 两个拥有一样 element 的 Set 是相同的。第二，一个 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 2090-2097
(subclass Set SetOrClass)	Merge.kif 2088-2088	subclass Set and SetOrClass

appearance as argument number 2

(partition SetOrClass Set Class)	Merge.kif 2069-2069	partition SetOrClass, Set and Class
(range PropertyFn Set)	Merge.kif 4185-4185	range PropertyFn and Set
(subclass FiniteSet Set)	Merge.kif 5437-5437	subclass FiniteSet and Set
(subclass NonNullSet Set)	Merge.kif 5427-5427	subclass NonNullSet and Set
(subclass NullSet Set)	Merge.kif 5416-5416	subclass NullSet and Set
(subclass SetOfEquations Set)	engineering.kif 204-204	subclass SetOfEquations and Set
(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 5315-5315	domain element, 2 and Set
(domain subset 1 Set)	Merge.kif 5293-5293	domain subset, 1 and Set
(domain subset 2 Set)	Merge.kif 5294-5294	domain subset, 2 and Set

antecedent

(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency ?P ?Q))	Mid-level-ontology.kif 30703-30710	memberMeasure Collection, MeasurementAttribute and TimeDuration instance Collection and Set member Agent and Collection instance Process and Process agent Process and Agent frequency Process and TimeDuration
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (approximateDiameter ?O ?Q))	Mid-level-ontology.kif 30575-30580	memberMeasure Collection, MeasurementAttribute and LengthMeasure instance Collection and Set member SelfConnectedObject and Collection approximateDiameter SelfConnectedObject and LengthMeasure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 30508-30513	memberMeasure Collection, MeasurementAttribute and LengthMeasure instance Collection and Set member Physical and Collection circumfrence Physical and LengthMeasure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 30553-30558	memberMeasure Collection, MeasurementAttribute and LengthMeasure instance Collection and Set member Physical and Collection diameter Physical and LengthMeasure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (height ?O ?Q))	Mid-level-ontology.kif 30487-30492	memberMeasure Collection, MeasurementAttribute and LengthMeasure instance Collection and Set member SelfConnectedObject and Collection height SelfConnectedObject and LengthMeasure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (length ?O ?Q))	Mid-level-ontology.kif 30456-30461	memberMeasure Collection, MeasurementAttribute and Quantity instance Collection and Set member Physical and Collection length Physical and Quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (measure ?O ?Q))	Mid-level-ontology.kif 30407-30412	memberMeasure Collection, MeasurementAttribute and PhysicalQuantity instance Collection and Set member Physical and Collection measure Physical and PhysicalQuantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (totalArea ?O ?Q))	Mid-level-ontology.kif 30597-30602	memberMeasure Collection, MeasurementAttribute and AreaMeasure instance Collection and Set member Region and Collection totalArea Region and AreaMeasure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (transformerCapacity ?O ?Q))	Mid-level-ontology.kif 30735-30740	memberMeasure Collection, MeasurementAttribute and FunctionQuantity instance Collection and Set member ElectricalTransformer and Collection transformerCapacity ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (voltageRatingPrimary ?O ?Q))	Mid-level-ontology.kif 30619-30624	memberMeasure Collection, MeasurementAttribute and FunctionQuantity instance Collection and Set member ElectricalTransformer and Collection voltageRatingPrimary ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (voltageRatingSecondary ?O ?Q))	Mid-level-ontology.kif 30662-30667	memberMeasure Collection, MeasurementAttribute and FunctionQuantity instance Collection and Set member ElectricalTransformer and Collection voltageRatingSecondary ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S)) (width ?O ?Q))	Mid-level-ontology.kif 30475-30480	memberMeasure Collection, MeasurementAttribute and Quantity instance Collection and Set member Physical and Collection width Physical and Quantity

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)
            (subclass ?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 29428-29458

instance Process and BreakingRecord agent Process and Agent
Class Class, Process, TimePoint, CaseRole, Class and Entity instance Class and Set instance Agent and Class subclass Class and Process subclass Class and Region instance TimePoint and TimePoint instance Entity and Quantity instance Process and Class refers Process and Entity refers Entity and Process playsRoleInEvent Agent, CaseRole and Process eventLocated Process and Class Entity Entity instance Entity and Class equal Entity and Agent instance Entity and Class holdsDuring TimeIntervalFn TimePoint and EndFn WhenFn Process and playsRoleInEvent Entity, CaseRole and Entity eventLocated Entity and Class

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: