  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 2097-2104 (subclass Set SetOrClass) Merge.kif 2095-2095 Set is a subclass of set or class

 appearance as argument number 2 (partition SetOrClass Set Class) Merge.kif 2076-2076 Set or class is exhaustively partitioned into set and class (range PropertyFn Set) Merge.kif 4164-4164 The range of property is an instance of set (subclass FiniteSet Set) Merge.kif 5334-5334 Finite set is a subclass of set (subclass NonNullSet Set) Merge.kif 5324-5324 Non null set is a subclass of set (subclass NullSet Set) Merge.kif 5313-5313 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 5212-5212 The number 2 argument of element is an instance of set (domain subset 1 Set) Merge.kif 5195-5195 The number 1 argument of subset is an instance of set (domain subset 2 Set) Merge.kif 5196-5196 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 30537-30544 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 30409-30414 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 30342-30347 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 30387-30392 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 30321-30326 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 30290-30295 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 30241-30246 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 30431-30436 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 30569-30574 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 30453-30458 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 30496-30501 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 30309-30314 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)             (refers ?X ?Q)             (refers ?Q ?PC)             (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 29263-29292 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