  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChineseTraditionalLanguageEngliahLanguageEnglishLangaugeEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

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 是可以延伸的 - 两个拥有一样 element 的 Set 是相同的。第二，一个 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) 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) Merge.kif 5299-5299 Finite set is a subclass of set s__instance(s__NonNullSet,s__SetOrClass) Merge.kif 5289-5289 Non null set is a subclass of set s__subclass(s__NullSet,s__Set) Merge.kif 5278-5278 Null set is a subclass of set s__subclass(s__SetOfEquations,s__Set) 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 If members of a collection have the measure a time duration in terms of a measurement attribute and the collection is an instance of set and an agent is a member of the collection and a kind of process is an instance of process and the agent is an agent of a kind of process,then the kind of process occurs every the time duration ( ! [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 If members of a collection have the measure a length measure in terms of a measurement attribute and the collection is an instance of set and a self connected object is a member of the collection,then the approximate diameter of the self connected object is the length measure ( ! [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 If members of a collection have the measure a length measure in terms of a measurement attribute and the collection is an instance of set and a physical is a member of the collection,then circumfrence the physical and the length measure ( ! [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 If members of a collection have the measure a length measure in terms of a measurement attribute and the collection is an instance of set and a physical is a member of the collection,then the diameter of the physical is the length measure ( ! [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 If members of a collection have the measure a length measure in terms of a measurement attribute and the collection is an instance of set and a self connected object is a member of the collection,then the height of the self connected object is the length measure ( ! [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 If members of a collection have the measure a quantity in terms of a measurement attribute and the collection is an instance of set and a physical is a member of the collection,then the length of the physical is the quantity ( ! [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 If members of a collection have the measure a physical quantity in terms of a measurement attribute and the collection is an instance of set and a physical is a member of the collection,then the measure of the physical is the physical quantity ( ! [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 If members of a collection have the measure an area measure in terms of a measurement attribute and the collection is an instance of set and a region is a member of the collection,then the area measure is a total area of the region ( ! [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 If members of a collection have the measure a function quantity in terms of a measurement attribute and the collection is an instance of set and a transformer is a member of the collection,then the capacity of the transformer is the function quantity ( ! [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 If members of a collection have the measure a function quantity in terms of a measurement attribute and the collection is an instance of set and a transformer is a member of the collection,then the FunctionQuantity of the transformer is the function quantity ( ! [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 If members of a collection have the measure a function quantity in terms of a measurement attribute and the collection is an instance of set and a transformer is a member of the collection,then the FunctionQuantity of the transformer is the function quantity ( ! [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 If members of a collection have the measure a quantity in terms of a measurement attribute and the collection is an instance of set and a physical is a member of the collection,then the width of the physical is the quantity

 consequent No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28170-28199 If a process is an instance of BreakingRecord and an agent is an agent of the process,then there exist a class, another class,, , another process,, , a time point,, , a case role,, , a third class and an entity such that the class is an instance of set and the agent is an instance of the class and the other class is a subclass of process and the third class is a subclass of region and the time point is an instance of time point and the entity is an instance of quantity and the process includes a reference to the entity and the entity includes a reference to the other class and the agent plays role in event the case role for the other process and the other process is located at 2 and there don't exist another entity and a third entity such that the other entity is an instance of the class and the other entity is not equal to the agent and the third entity is an instance of the other class and the other entity plays role in event the case role for the third entity and the third entity is located at 2 holds during interval between the time point and the end of the time of existence of the process 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