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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Class
Class(クラス)
more pictures...

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


(documentation Class ChineseLanguage " Class 在三个重要方面与 Set 不同:第一,我们不假设 Class 为能延伸的,也就是说不同的 Class 可能由完全相同的实例。第二,Class 通常有一个决定该 Class 实例的附带`条件'。所以举例说:`人类' 决定 HumanClass。注:有些 Class 可能满足自身 的条件(例如 Abstract 东西的 ClassAbstract) 所以它们本身成为实例。 第三:一个类别的实例可能 只在该类别出现一次,也就是输一个泪奔不能拥有重复的实例。") Merge.kif 3474-3478
(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 3464-3472
(documentation Class JapaneseLanguage "Classes は3つの重要な点で Set と異なる。まず、 Class は、拡張であるとは見なされない。つまり、明確な Classe はまったく同じインスタンスを持つ 可能性がある。第二に、Classe は通常、関連する「条件」を持っていて、それは、Classe のインス タンスを決定する。したがって、例えば、条件「ヒト」は HumanClass を決定する。注意: 一部の Class は、自分自身の状態 (例えば、AbstractClassAbstract である) を満たす、 したがって、それ自体のインスタンスである可能性がある。第三に、クラスのインスタンスは、クラス内で1回 だけ発生する可能性がある。 例:クラスは、重複するインスタンスを含めることはできない。") Merge.kif 3480-3486
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png") pictureList.kif 10650-10650 externalImage クラス and "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png"
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png") pictureList.kif 10649-10649 externalImage クラス and "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png"
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png") pictureList.kif 10652-10652 externalImage クラス and "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png"
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") pictureList.kif 10651-10651 externalImage クラス and "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png"
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png") pictureList.kif 10648-10648 externalImage クラス and "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png"
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 10647-10647 externalImage クラス and "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png"
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png") pictureList.kif 9960-9960 externalImage クラス and "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png"
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png") pictureList.kif 10654-10654 externalImage クラス and "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png"
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png") pictureList.kif 10646-10646 externalImage クラス and "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png"

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


(range AttrFn Class) Merge.kif 2850-2850 AttrFnrangeクラス のインスタンス では %n
(range ExtensionFn Class) Merge.kif 2827-2827 ExtensionFnrangeクラス のインスタンス では %n
(range KappaFn Class) Merge.kif 8068-8068 KappaFnrangeクラス のインスタンス では %n
(subclass BiologicalSpecies Class) Mid-level-ontology.kif 8878-8878 BiologicalSpeciesクラスsubclass では %n
(termFormat ChineseLanguage Class "类") chinese_format.kif 886-886 termFormat ChineseLanguage, クラス and "类"
(termFormat EnglishLanguage Class "class") english_format.kif 1351-1351 termFormat EnglishLanguage, クラス and "class"
(termFormat JapaneseLanguage Class "クラス") english_format.kif 1352-1352 termFormat JapaneseLanguage, クラス and "クラス"

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


(domain TTFxFn 1 Class) UXExperimentalTerms.kif 1697-1697 TTFxFn の数値 1 引数は クラスinstance では %n
(domain disjointDecomposition 1 Class) Merge.kif 818-818 disjointDecomposition の数値 1 引数は クラスinstance では %n
(domain disjointDecomposition 2 Class) Merge.kif 819-819 disjointDecomposition の数値 2 引数は クラスinstance では %n
(domain exhaustiveDecomposition 1 Class) Merge.kif 784-784 exhaustiveDecomposition の数値 1 引数は クラスinstance では %n
(domain exhaustiveDecomposition 2 Class) Merge.kif 785-785 exhaustiveDecomposition の数値 2 引数は クラスinstance では %n
(domain partition 1 Class) Merge.kif 843-843 partition の数値 1 引数は クラスinstance では %n
(domain partition 2 Class) Merge.kif 844-844 partition の数値 2 引数は クラスinstance では %n
(domain total 1 Class) UXExperimentalTerms.kif 4721-4721 total の数値 1 引数は クラスinstance では %n
(domain totalFacilityTypeInArea 2 Class) Transportation.kif 1188-1188 totalFacilityTypeInArea の数値 2 引数は クラスinstance では %n
(partition SetOrClass Set Class) Merge.kif 3449-3449 同じセットまたはクラスセット + クラスexhaustively partitioned %n

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


(<=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))
Merge.kif 1222-1224 同じセットまたはクラスクラスinstance では %n 同じセットまたはクラスエンティティーsubclass では %n

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 182-197
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 835-839
(=>
    (exhaustiveDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 810-814
(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?ADVERTISEMENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?ADVERTISEMENT Advertising)
            (patient ?ADVERTISMENT ?PRODUCT)
            (part ?ADVERTISEMENT ?DESCRIPTIONPAGE))))
UXExperimentalTerms.kif 2240-2247
(=>
    (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 2249-2258


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners