  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 (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 2064-2071 (subclass Set SetOrClass) Merge.kif 2062-2062 Set is a subclass of set or class

 appearance as argument number 2 (partition SetOrClass Set Class) Merge.kif 2043-2043 Set or class is exhaustively partitioned into set and class (range PropertyFn Set) Merge.kif 4130-4130 The range of property is an instance of set (subclass FiniteSet Set) Merge.kif 5299-5299 Finite set is a subclass of set (subclass NonNullSet Set) Merge.kif 5289-5289 Non null set is a subclass of set (subclass NullSet Set) Merge.kif 5278-5278 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 981-981

 appearance as argument number 3 (domain element 2 Set) Merge.kif 5177-5177 The number 2 argument of element is an instance of set (domain subset 1 Set) Merge.kif 5160-5160 The number 1 argument of subset is an instance of set (domain subset 2 Set) Merge.kif 5161-5161 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 30003-30010 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 29875-29880 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 29808-29813 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 29853-29858 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 29787-29792 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 29756-29761 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 29707-29712 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 29897-29902 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 30035-30040 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 29919-29924 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 29962-29967 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 29775-29780 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 28729-28758 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