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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Set
Set(set)Abelian_group, Euclidean_space, Hilbert_space, Mandelbrot_set, bounded_interval, closed, closed_interval, commutative_group, diagonal, distribution, field, group, interval, locus, manifold, mathematical_group, mathematical_space, metric_space, open, open_interval, root, scalar_field, set, singleton, solution, statistical_distribution, sub-interval, subgroup, subset, subspace, topological_space, unbounded_interval, universal_set

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


s__documentation(s__Set,s__ChineseLanguage,'"这是个 SetOrClass 能满足延伸性和由集合理论的某些选择所指定 的其他约束。Set 在两个重要方面与 Classes 不同:第一,Sets 是可以延伸的 - 两个拥有一样 elementSet 是相同的。第二,一个 Set 可以是一堆随意组成的东西。这就是说 Set 不需要具有确定 其成员资格的相关联条件。注:我们并没有假设每个 Set 为独一无二的集合,即是说一个 Set 的组员可以在那个 Set 出现超过一次。"')

chinese_format.kif 1811-1815
s__documentation(s__Set,s__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 2064-2071
s__subclass(s__Set,s__SetOrClass)

s__instance(s__Set,s__SetOrClass)

Merge.kif 2062-2062 Set is a subclass of set or class

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


s__partition__3(s__SetOrClass,s__Set,s__Class)

Merge.kif 2043-2043 Set or class is exhaustively partitioned into set and class
s__range(s__PropertyFn__m,s__Set)

Merge.kif 4130-4130 The range of property is an instance of set
s__instance(s__Set,s__SetOrClass)

s__instance(s__FiniteSet,s__SetOrClass)

s__subclass(s__FiniteSet,s__Set)

Merge.kif 5299-5299 Finite set is a subclass of set
s__instance(s__NonNullSet,s__SetOrClass)

s__subclass(s__NonNullSet,s__Set)

s__instance(s__Set,s__SetOrClass)

Merge.kif 5289-5289 Non null set is a subclass of set
s__subclass(s__NullSet,s__Set)

s__instance(s__Set,s__SetOrClass)

s__instance(s__NullSet,s__SetOrClass)

Merge.kif 5278-5278 Null set is a subclass of set
s__subclass(s__SetOfEquations,s__Set)

s__instance(s__Set,s__SetOrClass)

s__instance(s__SetOfEquations,s__SetOrClass)

engineering.kif 204-204 Set of equations is a subclass of set
s__termFormat(s__ChineseLanguage,s__Set,'"集合"')

chinese_format.kif 887-887
s__termFormat(s__EnglishLanguage,s__Set,'"set"')

english_format.kif 981-981

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


s__domain(s__element__m,n__2,s__Set)

Merge.kif 5177-5177 The number 2 argument of element is an instance of set
s__domain(s__subset__m,n__1,s__Set)

Merge.kif 5160-5160 The number 1 argument of subset is an instance of set
s__domain(s__subset__m,n__2,s__Set)

Merge.kif 5161-5161 The number 2 argument of subset is an instance of set

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


( ! [V__O,V__P,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Agent) &
         s__subclass(V__P,s__Process) &
         s__instance(V__Q,s__TimeDuration) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S)
         &
         s__instance(V__P,s__Process) &
         s__agent(V__P,V__O))
     =>
     (s__frequency(V__P,V__Q)))))
)
)

Mid-level-ontology.kif 29444-29451
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__Q,s__LengthMeasure) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__approximateDiameter(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29316-29321
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__O,s__Circle) &
         s__instance(V__Q,s__LengthMeasure) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__circumfrence(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29249-29254
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__O,s__Circle) &
         s__instance(V__Q,s__LengthMeasure) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__diameter(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29294-29299
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__Q,s__LengthMeasure) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__height(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29228-29233
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__Quantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__length(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29197-29202
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__PhysicalQuantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__measure(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29148-29153
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Region) &
         s__instance(V__Q,s__AreaMeasure) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__totalArea(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29338-29343
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__transformerCapacity(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29476-29481
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__voltageRatingPrimary(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29360-29365
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__voltageRatingSecondary(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29403-29408
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__Quantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__width(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29216-29221

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28170-28199


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