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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Class
Class(classe)
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 2149-2157
(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 10627-10627
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png") pictureList.kif 10626-10626
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary_gametree_solved.png") pictureList.kif 10629-10629
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") pictureList.kif 10628-10628
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png") pictureList.kif 10625-10625
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 10624-10624
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png") pictureList.kif 9941-9941
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png") pictureList.kif 10631-10631
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png") pictureList.kif 10623-10623
(subclass Class SetOrClass) Merge.kif 2147-2147 Classe est une sous-classe de ensemble ou classe

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


(range ExtensionFn Class) Merge.kif 1772-1772 Le domaine de ExtensionFn est une instance de classe
(range KappaFn Class) Merge.kif 5609-5609 Le domaine de KappaFn est une instance de classe
(range WeekBeforeMenstruationFn Class) Medicine.kif 1509-1509 Le domaine de WeekBeforeMenstruationFn est une instance de classe
(termFormat ChineseLanguage Class "类") chinese_format.kif 886-886 Le domaine de WeekBeforeMenstruationFn est une instance de classe
(termFormat EnglishLanguage Class "class") english_format.kif 974-974 Le domaine de WeekBeforeMenstruationFn est une instance de classe
(termFormat FrenchLanguage Class "classe") french_format.kif 562-562 Le domaine de WeekBeforeMenstruationFn est une instance de classe
(termFormat Hindi Class "varga") terms-hindi.txt 92-92 Le domaine de WeekBeforeMenstruationFn est une instance de classe
(termFormat ItalianLanguage Class "Classe") terms-it.txt 95-95 Le domaine de WeekBeforeMenstruationFn est une instance de classe
(termFormat JapaneseLanguage Class "クラス") japanese_format.kif 2247-2247 Le domaine de WeekBeforeMenstruationFn est une instance de classe
(termFormat PortugueseLanguage Class "Classe") portuguese_format.kif 514-514 Le domaine de WeekBeforeMenstruationFn est une instance de classe
(termFormat cb Class "ambung") terms-cb.txt 97-97 Le domaine de WeekBeforeMenstruationFn est une instance de classe
(termFormat cz Class "class") terms-cz.txt 129-129 Le domaine de WeekBeforeMenstruationFn est une instance de classe
(termFormat de Class "Kategorie") terms-de.txt 388-388 Le domaine de WeekBeforeMenstruationFn est une instance de classe
(termFormat ro Class "clasã") relations-ro.kif 583-583 Le domaine de WeekBeforeMenstruationFn est une instance de classe
(termFormat tg Class "klase") terms-tg.txt 96-96 Le domaine de WeekBeforeMenstruationFn est une instance de classe

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


(domain TTFxFn 1 Class) UXExperimentalTerms.kif 1490-1490 Le nombre 1 argument de TTFxFn est une instance de classe
(domain closedOn 2 Class) Merge.kif 3590-3590 Le nombre 2 argument de closedOn est une instance de classe
(domain disjoint 1 Class) Merge.kif 388-388 Le nombre 1 argument de disjoint est une instance de classe
(domain disjoint 2 Class) Merge.kif 389-389 Le nombre 2 argument de disjoint est une instance de classe
(domain disjointDecomposition 1 Class) Merge.kif 559-559 Le nombre 1 argument de disjointDecomposition est une instance de classe
(domain disjointDecomposition 2 Class) Merge.kif 560-560 Le nombre 2 argument de disjointDecomposition est une instance de classe
(domain domain 3 Class) Merge.kif 204-204 Le nombre 3 argument de domain est une instance de classe
(domain domainSubclass 3 Class) Merge.kif 226-226 Le nombre 3 argument de domainSubclass est une instance de classe
(domain equivalenceRelationOn 2 Class) Merge.kif 3721-3721 Le nombre 2 argument de equivalenceRelationOn est une instance de classe
(domain exhaustiveDecomposition 1 Class) Merge.kif 541-541 Le nombre 1 argument de exhaustiveDecomposition est une instance de classe
(domain exhaustiveDecomposition 2 Class) Merge.kif 542-542 Le nombre 2 argument de exhaustiveDecomposition est une instance de classe
(domain immediateInstance 2 Class) Merge.kif 91-91 Le nombre 2 argument de immediateInstance est une instance de classe
(domain immediateSubclass 1 Class) Merge.kif 147-147 Le nombre 1 argument de immediateSubclass est une instance de classe
(domain immediateSubclass 2 Class) Merge.kif 148-148 Le nombre 2 argument de immediateSubclass est une instance de classe
(domain instance 2 Class) Merge.kif 82-82 Le nombre 2 argument de instance est une instance de classe
(domain memberMeasure 1 Class) Mid-level-ontology.kif 32943-32943 Le nombre 1 argument de memberMeasure est une instance de classe
(domain memberType 2 Class) Mid-level-ontology.kif 24291-24291 Le nombre 2 argument de memberType est une instance de classe
(domain memberTypeCount 2 Class) Mid-level-ontology.kif 24305-24305 Le nombre 2 argument de memberTypeCount est une instance de classe
(domain partialOrderingOn 2 Class) Merge.kif 3658-3658 Le nombre 2 argument de partialOrderingOn est une instance de classe
(domain partition 1 Class) Merge.kif 575-575 Le nombre 1 argument de partition est une instance de classe
(domain partition 2 Class) Merge.kif 576-576 Le nombre 2 argument de partition est une instance de classe
(domain range 2 Class) Merge.kif 301-301 Le nombre 2 argument de range est une instance de classe
(domain reflexiveOn 2 Class) Merge.kif 3619-3619 Le nombre 2 argument de reflexiveOn est une instance de classe
(domain subclass 1 Class) Merge.kif 131-131 Le nombre 1 argument de subclass est une instance de classe
(domain subclass 2 Class) Merge.kif 132-132 Le nombre 2 argument de subclass est une instance de classe

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 32954-32959
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (measure ?O ?Q))
Mid-level-ontology.kif 32961-32966
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))
Mid-level-ontology.kif 33131-33136
(=>
    (and
        (memberMeasure ?S Area ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (totalArea ?O ?Q))
Mid-level-ontology.kif 33160-33165
(=>
    (and
        (memberMeasure ?S Circumference ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumference ?O ?Q))
Mid-level-ontology.kif 33055-33060
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))
Mid-level-ontology.kif 33109-33114
(=>
    (and
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))
Mid-level-ontology.kif 33270-33277
(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))
Mid-level-ontology.kif 32989-32994
(=>
    (and
        (memberMeasure ?S TransformerCapacity ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (transformerCapacity ?O ?Q))
Mid-level-ontology.kif 33300-33305
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 33182-33187
(=>
    (and
        (memberMeasure ?S VoltageRatingSecondary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingSecondary ?O ?Q))
Mid-level-ontology.kif 33225-33230
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (height ?O ?Q))
Mid-level-ontology.kif 33034-33039
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))
Mid-level-ontology.kif 33008-33013
(=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))
Merge.kif 821-823

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 567-571
(=>
    (exhaustiveDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 551-555
(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?ADVERTISEMENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?ADVERTISEMENT Advertising)
            (patient ?ADVERTISEMENT ?PRODUCT)
            (part ?ADVERTISEMENT ?DESCRIPTIONPAGE))))
UXExperimentalTerms.kif 2034-2041
(=>
    (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 2043-2052


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