Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Set
Set(セット)

appearance as argument number 1
-------------------------


(documentation Set ChineseLanguage "这是个 SetOrClass 能满足延伸性和由集合理论的某些选择所指定 的其他约束。Set 在两个重要方面与 Classes 不同:第一,Sets 是可以延伸的 - 两个拥有一样 elementSet 是相同的。第二,一个 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 2161-2168
(documentation Set JapaneseLanguage "拡張性と、セット理論のいくつかの選択によって指定された他の 制約を満たす SetOrClassSet は2つの重要な点で Class と異なる。まず、Set は拡張体で あり、同じ element を持つ2つの Set は同一である。次に、Set はオブジェクトの任意のストックに することができる。つまり、Set がメンバーシップを決定する関連付けられた条件を持つ必要はあない。 注:Set は一意のセット、つまり一意のセットであるとは見なされない。 例:Setelement は、 Set で複数回発生する可能性がある。") japanese_format.kif 428-433
(subclass Set SetOrClass) Merge.kif 2159-2159 セット同じセットまたはクラスsubclass では

appearance as argument number 2
-------------------------


(partition SetOrClass Set Class) Merge.kif 2140-2140 同じセットまたはクラスセット + クラスexhaustively partitioned
(range PropertyFn Set) Merge.kif 4303-4303 PropertyFnrangeセット のインスタンス では
(subclass FiniteSet Set) Merge.kif 5562-5562 有限集合セットsubclass では
(subclass NonNullSet Set) Merge.kif 5552-5552 NonNullSetセットsubclass では
(subclass NullSet Set) Merge.kif 5541-5541 NullSetセットsubclass では
(subclass SetOfEquations Set) engineering.kif 204-204 SetOfEquationsセットsubclass では
(termFormat ChineseLanguage Set "集合") chinese_format.kif 887-887 SetOfEquationsセットsubclass では
(termFormat EnglishLanguage Set "set") english_format.kif 976-976 SetOfEquationsセットsubclass では
(termFormat FrenchLanguage Set "ensemble") french_format.kif 563-563 SetOfEquationsセットsubclass では
(termFormat Hindi Set "varga") terms-hindi.txt 93-93 SetOfEquationsセットsubclass では
(termFormat ItalianLanguage Set "Insieme") terms-it.txt 96-96 SetOfEquationsセットsubclass では
(termFormat JapaneseLanguage Set "セット") japanese_format.kif 2248-2248 SetOfEquationsセットsubclass では
(termFormat PortugueseLanguage Set "Conjunto") portuguese_format.kif 515-515 SetOfEquationsセットsubclass では
(termFormat cb Set "pagbutang paghan-ay") terms-cb.txt 98-98 SetOfEquationsセットsubclass では
(termFormat cz Set "set") terms-cz.txt 130-130 SetOfEquationsセットsubclass では
(termFormat de Set "Menge") terms-de.txt 389-389 SetOfEquationsセットsubclass では
(termFormat ro Set "mulþime") relations-ro.kif 584-584 SetOfEquationsセットsubclass では
(termFormat tg Set "isang huwego") terms-tg.txt 97-97 SetOfEquationsセットsubclass では

appearance as argument number 3
-------------------------


(domain element 2 Set) Merge.kif 5440-5440 element の数値 2 引数は セットinstance では
(domain subset 1 Set) Merge.kif 5420-5420 subset の数値 1 引数は セットinstance では
(domain subset 2 Set) Merge.kif 5421-5421 subset の数値 2 引数は セットinstance では

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 12196-12212
(=>
    (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 12164-12176
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))
Mid-level-ontology.kif 33261-33268
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (approximateDiameter ?O ?Q))
Mid-level-ontology.kif 33124-33129
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (circumference ?O ?Q))
Mid-level-ontology.kif 33048-33053
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (diameter ?O ?Q))
Mid-level-ontology.kif 33102-33107
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (height ?O ?Q))
Mid-level-ontology.kif 33027-33032
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (length ?O ?Q))
Mid-level-ontology.kif 32996-33001
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (measure ?O ?Q))
Mid-level-ontology.kif 32947-32952
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (totalArea ?O ?Q))
Mid-level-ontology.kif 33153-33158
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (transformerCapacity ?O ?Q))
Mid-level-ontology.kif 33293-33298
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 33175-33180
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (voltageRatingSecondary ?O ?Q))
Mid-level-ontology.kif 33218-33223
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (width ?O ?Q))
Mid-level-ontology.kif 33015-33020

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 31922-31952


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