  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   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 (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 2096-2103 (subclass Set SetOrClass) Merge.kif 2094-2094 Set is a subclass of set or class

 appearance as argument number 2 (partition SetOrClass Set Class) Merge.kif 2075-2075 Set or class is exhaustively partitioned into set and class (range PropertyFn Set) Merge.kif 4191-4191 The range of property is an instance of set (subclass FiniteSet Set) Merge.kif 5443-5443 Finite set is a subclass of set (subclass NonNullSet Set) Merge.kif 5433-5433 Non null set is a subclass of set (subclass NullSet Set) Merge.kif 5422-5422 Null set is a subclass of set (subclass SetOfEquations Set) engineering.kif 204-204 Set of equations is a subclass of 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 5321-5321 The number 2 argument of element is an instance of set (domain subset 1 Set) Merge.kif 5299-5299 The number 1 argument of subset is an instance of set (domain subset 2 Set) Merge.kif 5300-5300 The number 2 argument of subset is an instance of 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 30707-30714 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 (=>     (and         (memberMeasure ?S ?M ?Q)         (instance ?S Set)         (member ?O ?S))     (approximateDiameter ?O ?Q)) Mid-level-ontology.kif 30579-30584 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 (=>     (and         (memberMeasure ?S ?M ?Q)         (instance ?S Set)         (member ?O ?S))     (circumfrence ?O ?Q)) Mid-level-ontology.kif 30512-30517 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 (=>     (and         (memberMeasure ?S ?M ?Q)         (instance ?S Set)         (member ?O ?S))     (diameter ?O ?Q)) Mid-level-ontology.kif 30557-30562 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 (=>     (and         (memberMeasure ?S ?M ?Q)         (instance ?S Set)         (member ?O ?S))     (height ?O ?Q)) Mid-level-ontology.kif 30491-30496 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 (=>     (and         (memberMeasure ?S ?M ?Q)         (instance ?S Set)         (member ?O ?S))     (length ?O ?Q)) Mid-level-ontology.kif 30460-30465 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 (=>     (and         (memberMeasure ?S ?M ?Q)         (instance ?S Set)         (member ?O ?S))     (measure ?O ?Q)) Mid-level-ontology.kif 30411-30416 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 (=>     (and         (memberMeasure ?S ?M ?Q)         (instance ?S Set)         (member ?O ?S))     (totalArea ?O ?Q)) Mid-level-ontology.kif 30601-30606 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 (=>     (and         (memberMeasure ?S ?M ?Q)         (instance ?S Set)         (member ?O ?S))     (transformerCapacity ?O ?Q)) Mid-level-ontology.kif 30739-30744 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 (=>     (and         (memberMeasure ?S ?M ?Q)         (instance ?S Set)         (member ?O ?S))     (voltageRatingPrimary ?O ?Q)) Mid-level-ontology.kif 30623-30628 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 (=>     (and         (memberMeasure ?S ?M ?Q)         (instance ?S Set)         (member ?O ?S))     (voltageRatingSecondary ?O ?Q)) Mid-level-ontology.kif 30666-30671 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 (=>     (and         (memberMeasure ?S ?M ?Q)         (instance ?S Set)         (member ?O ?S))     (width ?O ?Q)) Mid-level-ontology.kif 30479-30484 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 (=>     (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 29432-29462 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 other process is an instance of the other class and the process includes a reference to the entity and the entity includes a reference to the other process 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