Set - Sigma Knowledge base Browser

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 2150-2157
(documentation Set JapaneseLanguage "拡張性と、セット理論のいくつかの選択によって指定された他の制約を満たす SetOrClass 。 Set は2つの重要な点で Class と異なる。まず、Set は拡張体であり、同じ element を持つ2つの Set は同一である。次に、Set はオブジェクトの任意のストックにすることができる。つまり、Set がメンバーシップを決定する関連付けられた条件を持つ必要はあない。注：Set は一意のセット、つまり一意のセットであるとは見なされない。　例：Set の element は、 Set で複数回発生する可能性がある。")	japanese_format.kif 428-433
(subclass Set SetOrClass)	Merge.kif 2148-2148	Set is a subclass of set or class

appearance as argument number 2

(partition SetOrClass Set Class)	Merge.kif 2129-2129	Set or class is exhaustively partitioned into set and class
(range PropertyFn Set)	Merge.kif 4276-4276	The range of property is an instance of set
(subclass FiniteSet Set)	Merge.kif 5538-5538	Finite set is a subclass of set
(subclass NonNullSet Set)	Merge.kif 5528-5528	Non null set is a subclass of set
(subclass NullSet Set)	Merge.kif 5517-5517	Null set is a subclass of set
(subclass SetOfEquations Set)	engineering.kif 205-205	Set of equations is a subclass of set
(termFormat ChineseLanguage Set "集合")	chinese_format.kif 887-887	Set of equations is a subclass of set
(termFormat EnglishLanguage Set "set")	english_format.kif 976-976	Set of equations is a subclass of set
(termFormat FrenchLanguage Set "ensemble")	french_format.kif 563-563	Set of equations is a subclass of set
(termFormat Hindi Set "varga")	terms-hindi.txt 93-93	Set of equations is a subclass of set
(termFormat ItalianLanguage Set "Insieme")	terms-it.txt 96-96	Set of equations is a subclass of set
(termFormat JapaneseLanguage Set "セット")	japanese_format.kif 2248-2248	Set of equations is a subclass of set
(termFormat PortugueseLanguage Set "Conjunto")	portuguese_format.kif 515-515	Set of equations is a subclass of set
(termFormat cb Set "pagbutang paghan-ay")	terms-cb.txt 98-98	Set of equations is a subclass of set
(termFormat cz Set "set")	terms-cz.txt 130-130	Set of equations is a subclass of set
(termFormat ro Set "mulþime")	relations-ro.kif 584-584	Set of equations is a subclass of set
(termFormat tg Set "isang huwego")	terms-tg.txt 97-97	Set of equations is a subclass of set

appearance as argument number 3

(domain element 2 Set)	Merge.kif 5416-5416	The number 2 argument of element is an instance of set
(domain subset 1 Set)	Merge.kif 5394-5394	The number 1 argument of subset is an instance of set
(domain subset 2 Set)	Merge.kif 5395-5395	The number 2 argument of subset is an instance of set

antecedent

(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A))))))	Merge.kif 12092-12108	If a process is an instance of deciding and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of set and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing physical, then the content bearing physical contains the formula there exists another entity such that the other entity is an element of the entity and the other entity is an instance of intentional process and the agent is an agent of the other entity holds during after the time of existence of the process
(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (instance ?S Set) (patient ?DECIDE ?S) (element ?M ?S)) (believes ?AGENT (exists (?CLASS) (and (instance ?M ?CLASS) (subclass ?CLASS IntentionalProcess) (capability ?CLASS agent ?AGENT)))))	Merge.kif 12060-12072	If a process is an instance of deciding and a cognitive agent is an agent of the process and a set is an instance of set and the set is a patient of the process and an entity is an element of the set, then the cognitive agent believes there exists another entity such that the entity is an instance of the other entity and the other entity is a subclass of intentional process and the cognitive agent is capable of doing the other entity as a agent
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q))	Mid-level-ontology.kif 31581-31588	If members of a set have the measure a time duration in terms of a measurement attribute and the set is an instance of set and an agent is an element of the set and a process is an instance of process and the agent is an agent of the process, then process occurs every the time duration
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (approximateDiameter ?O ?Q))	Mid-level-ontology.kif 31444-31449	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a self connected object is an element of the set, then the approximate diameter of the self connected object is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 31369-31374	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and an object is an element of the set, then circumfrence the object and the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 31422-31427	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and an object is an element of the set, then the diameter of the object is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (height ?O ?Q))	Mid-level-ontology.kif 31348-31353	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a self connected object is an element of the set, then the height of the self connected object is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (length ?O ?Q))	Mid-level-ontology.kif 31317-31322	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a physical is an element of the set, then the length of the physical is the length measure
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (measure ?O ?Q))	Mid-level-ontology.kif 31268-31273	If members of a set have the measure a physical quantity in terms of a measurement attribute and the set is an instance of set and a physical is an element of the set, then the measure of the physical is the physical quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (totalArea ?O ?Q))	Mid-level-ontology.kif 31473-31478	If members of a set have the measure an area measure in terms of a measurement attribute and the set is an instance of set and a region is an element of the set, then the area measure is a total area of the region
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (transformerCapacity ?O ?Q))	Mid-level-ontology.kif 31613-31618	If members of a set have the measure a function quantity in terms of a measurement attribute and the set is an instance of set and a transformer is an element of the set, then the capacity of the transformer is the function quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingPrimary ?O ?Q))	Mid-level-ontology.kif 31495-31500	If members of a set have the measure a function quantity in terms of a measurement attribute and the set is an instance of set and a transformer is an element of the set, then the FunctionQuantity of the transformer is the function quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingSecondary ?O ?Q))	Mid-level-ontology.kif 31538-31543	If members of a set have the measure a function quantity in terms of a measurement attribute and the set is an instance of set and a transformer is an element of the set, then the FunctionQuantity of the transformer is the function quantity
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (width ?O ?Q))	Mid-level-ontology.kif 31336-31341	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a physical is an element of the set, then the width of the physical is the length measure

consequent

(=>
    (and
        (instance ?X BreakingRecord)
        (agent ?X ?A1))
    (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
        (and
            (instance ?AC Set)
            (element ?A1 ?AC)
            (subclass ?PC Process)
            (instance ?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 30287-30317

If a process is an instance of breaking record and an agent is an agent of the process,
then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance 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 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 the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and the other entity is not equal to the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object 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

KB Term:			Term intersection

English Word: