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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Class

Sigma KEE - Class
Class
more pictures...

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


(documentation Class ChineseLanguage " Class 在三个重要方面与 Set 不同:第一,我们不假设 Class 为能延伸的,也就是说不同的 Class 可能由完全相同的实例。第二,Class 通常有一个决定该 Class 实例的附带`条件'。所以举例说:`人类' 决定 HumanClass。注:有些 Class 可能满足自身 的条件(例如 Abstract 东西的 ClassAbstract) 所以它们本身成为实例。 第三:一个类别的实例可能 只在该类别出现一次,也就是输一个泪奔不能拥有重复的实例。") chinese_format.kif 1806-1810
(documentation Class EnglishLanguage "Classes differ from Sets in three important respects. First, Classes are not assumed to be extensional. That is, distinct Classes might well have exactly the same instances. Second, Classes typically have an associated `condition' that determines the instances of the Class. So, for example, the condition `human' determines the Class of Humans. Note that some Classes might satisfy their own condition (e.g., the Class of Abstract things is Abstract) and hence be instances of themselves. Third, the instances of a class may occur only once within the class, i.e. a class cannot contain duplicate instances.") Merge.kif 2138-2146
(documentation Class JapaneseLanguage "Classes は3つの重要な点で Set と異なる。まず、 Class は、拡張であるとは見なされない。つまり、明確な Classe はまったく同じインスタンスを持つ 可能性がある。第二に、Classe は通常、関連する「条件」を持っていて、それは、Classe のインス タンスを決定する。したがって、例えば、条件「ヒト」は HumanClass を決定する。注意: 一部の Class は、自分自身の状態 (例えば、AbstractClassAbstract である) を満たす、 したがって、それ自体のインスタンスである可能性がある。第三に、クラスのインスタンスは、クラス内で1回 だけ発生する可能性がある。 例:クラスは、重複するインスタンスを含めることはできない。") japanese_format.kif 421-427
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png") pictureList.kif 10631-10631
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png") pictureList.kif 10630-10630
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png") pictureList.kif 10633-10633
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") pictureList.kif 10632-10632
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png") pictureList.kif 10629-10629
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 10628-10628
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png") pictureList.kif 9942-9942
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png") pictureList.kif 10635-10635
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png") pictureList.kif 10627-10627
(subclass Class SetOrClass) Merge.kif 2136-2136 子類 Class and SetOrClass

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


(range ExtensionFn Class) Merge.kif 1762-1762 範圍 延期 and Class
(range KappaFn Class) Merge.kif 5584-5584 範圍 卡帕 and Class
(range WeekBeforeMenstruationFn Class) Medicine.kif 1516-1516 範圍 WeekBeforeMenstruationFn and Class
(termFormat ChineseLanguage Class "类") chinese_format.kif 886-886
(termFormat EnglishLanguage Class "class") english_format.kif 974-974
(termFormat FrenchLanguage Class "classe") french_format.kif 562-562
(termFormat Hindi Class "varga") terms-hindi.txt 92-92
(termFormat ItalianLanguage Class "Classe") terms-it.txt 95-95
(termFormat JapaneseLanguage Class "クラス") japanese_format.kif 2247-2247
(termFormat PortugueseLanguage Class "Classe") portuguese_format.kif 514-514
(termFormat cb Class "ambung") terms-cb.txt 97-97
(termFormat cz Class "class") terms-cz.txt 129-129
(termFormat ro Class "clasã") relations-ro.kif 583-583
(termFormat tg Class "klase") terms-tg.txt 96-96

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


(domain TTFxFn 1 Class) UXExperimentalTerms.kif 1498-1498 TTFxFn, 1 and Class
(domain closedOn 2 Class) Merge.kif 3575-3575 關閉, 2 and Class
(domain disjoint 1 Class) Merge.kif 395-395 不相交的, 1 and Class
(domain disjoint 2 Class) Merge.kif 396-396 不相交的, 2 and Class
(domain disjointDecomposition 1 Class) Merge.kif 566-566 不相交分解, 1 and Class
(domain disjointDecomposition 2 Class) Merge.kif 567-567 不相交分解, 2 and Class
(domain domain 3 Class) Merge.kif 210-210 , 3 and Class
(domain domainSubclass 3 Class) Merge.kif 232-232 域子類, 3 and Class
(domain equivalenceRelationOn 2 Class) Merge.kif 3706-3706 等價關係, 2 and Class
(domain exhaustiveDecomposition 1 Class) Merge.kif 548-548 徹底分解, 1 and Class
(domain exhaustiveDecomposition 2 Class) Merge.kif 549-549 徹底分解, 2 and Class
(domain immediateInstance 2 Class) Merge.kif 91-91 立即實例, 2 and Class
(domain immediateSubclass 1 Class) Merge.kif 153-153 直接子類, 1 and Class
(domain immediateSubclass 2 Class) Merge.kif 154-154 直接子類, 2 and Class
(domain instance 2 Class) Merge.kif 82-82 , 2 and Class
(domain memberMeasure 1 Class) Mid-level-ontology.kif 30924-30924 memberMeasure, 1 and Class
(domain memberType 2 Class) Mid-level-ontology.kif 22599-22599 會員類型, 2 and Class
(domain memberTypeCount 2 Class) Mid-level-ontology.kif 22613-22613 會員類型計數, 2 and Class
(domain partialOrderingOn 2 Class) Merge.kif 3643-3643 部分訂購在, 2 and Class
(domain partition 1 Class) Merge.kif 582-582 劃分, 1 and Class
(domain partition 2 Class) Merge.kif 583-583 劃分, 2 and Class
(domain range 2 Class) Merge.kif 307-307 範圍, 2 and Class
(domain reflexiveOn 2 Class) Merge.kif 3604-3604 反思在, 2 and Class
(domain subclass 1 Class) Merge.kif 131-131 子類, 1 and Class
(domain subclass 2 Class) Merge.kif 132-132 子類, 2 and Class

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))
Mid-level-ontology.kif 30935-30940
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (measure ?O ?Q))
Mid-level-ontology.kif 30942-30947
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))
Mid-level-ontology.kif 31103-31108
(=>
    (and
        (memberMeasure ?S Area ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (totalArea ?O ?Q))
Mid-level-ontology.kif 31132-31137
(=>
    (and
        (memberMeasure ?S Circumfrence ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumfrence ?O ?Q))
Mid-level-ontology.kif 31036-31041
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))
Mid-level-ontology.kif 31081-31086
(=>
    (and
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))
Mid-level-ontology.kif 31242-31249
(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))
Mid-level-ontology.kif 30970-30975
(=>
    (and
        (memberMeasure ?S TransformerCapacity ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (transformerCapacity ?O ?Q))
Mid-level-ontology.kif 31272-31277
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 31154-31159
(=>
    (and
        (memberMeasure ?S VoltageRatingSecondary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingSecondary ?O ?Q))
Mid-level-ontology.kif 31197-31202
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (height ?O ?Q))
Mid-level-ontology.kif 31015-31020
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))
Mid-level-ontology.kif 30989-30994
(=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))
Merge.kif 828-830

consequent
-------------------------


(=>
    (and
        (instance ?CATEG WebListingCategory)
        (instance ?LISTING1 WebListing)
        (instance ?LISTING2 WebListing)
        (instance ?ITEM1 Object)
        (instance ?ITEM2 Object)
        (member ?LISTING1 ?CATEG)
        (member ?LISTING2 ?CATEG)
        (patient ?ITEM1 ?LISTING1)
        (patient ?ITEM2 ?LISTING2))
    (exists (?CLASS)
        (and
            (instance ?CLASS Class)
            (instance ?ITEM1 ?CLASS)
            (instance ?ITEM2 ?CLASS))))
UXExperimentalTerms.kif 145-160
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 574-578
(=>
    (exhaustiveDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 558-562
(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?ADVERTISEMENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?ADVERTISEMENT Advertising)
            (patient ?ADVERTISEMENT ?PRODUCT)
            (part ?ADVERTISEMENT ?DESCRIPTIONPAGE))))
UXExperimentalTerms.kif 2042-2049
(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?STATING Stating)
            (patient ?STATING ?DESCRIPTION)
            (refers ?DESCRIPTION ?PRODUCT)
            (result ?DESCRIPTION ?DESCRIPTIONCONTENT)
            (part ?DESCRIPTIONCONTENT ?DESCRIPTIONPAGE))))
UXExperimentalTerms.kif 2051-2060
(=>
    (subclass ?X ?Y)
    (and
        (instance ?X Class)
        (instance ?Y Class)))
Merge.kif 137-141


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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