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) 所以它们本身成为实例。 第三:一个类别的实例可能 只在该类别出现一次,也就是输一个泪奔不能拥有重复的实例。") 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 2052-2060
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png") pictureList.kif 10649-10649
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png") pictureList.kif 10648-10648
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png") pictureList.kif 10651-10651
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") pictureList.kif 10650-10650
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png") pictureList.kif 10647-10647
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 10646-10646
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png") pictureList.kif 9959-9959
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png") pictureList.kif 10653-10653
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png") pictureList.kif 10645-10645
(subclass Class SetOrClass) Merge.kif 2050-2050

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


(range AttrFn Class) Merge.kif 1686-1686
(range ExtensionFn Class) Merge.kif 1672-1672
(range KappaFn Class) Merge.kif 5346-5346
(subclass BiologicalSpecies Class) Mid-level-ontology.kif 8421-8421
(termFormat ChineseLanguage Class "类") chinese_format.kif 886-886
(termFormat EnglishLanguage Class "class") english_format.kif 979-979

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


(domain AttrFn 1 Class) Merge.kif 1687-1687
(domain TTFxFn 1 Class) UXExperimentalTerms.kif 1697-1697
(domain closedOn 2 Class) Merge.kif 3464-3464
(domain disjoint 1 Class) Merge.kif 394-394
(domain disjoint 2 Class) Merge.kif 395-395
(domain disjointDecomposition 1 Class) Merge.kif 567-567
(domain disjointDecomposition 2 Class) Merge.kif 568-568
(domain domain 3 Class) Merge.kif 208-208
(domain domainSubclass 3 Class) Merge.kif 230-230
(domain equivalenceRelationOn 2 Class) Merge.kif 3587-3587
(domain exhaustiveDecomposition 1 Class) Merge.kif 549-549
(domain exhaustiveDecomposition 2 Class) Merge.kif 550-550
(domain immediateSubclass 1 Class) Merge.kif 151-151
(domain immediateSubclass 2 Class) Merge.kif 152-152
(domain instance 2 Class) Merge.kif 82-82
(domain irreflexiveOn 2 Class) Merge.kif 3511-3511
(domain partialOrderingOn 2 Class) Merge.kif 3530-3530
(domain partition 1 Class) Merge.kif 583-583
(domain partition 2 Class) Merge.kif 584-584
(domain range 2 Class) Merge.kif 305-305
(domain reflexiveOn 2 Class) Merge.kif 3493-3493
(domain subclass 1 Class) Merge.kif 129-129
(domain subclass 2 Class) Merge.kif 130-130
(domain successorClass 1 Class) Merge.kif 8608-8608
(domain successorClass 2 Class) Merge.kif 8609-8609

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 29155-29160
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (measure ?O ?Q))
Mid-level-ontology.kif 29162-29167
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))
Mid-level-ontology.kif 29323-29328
(=>
    (and
        (memberMeasure ?S Area ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (totalArea ?O ?Q))
Mid-level-ontology.kif 29345-29350
(=>
    (and
        (memberMeasure ?S Circumfrence ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumfrence ?O ?Q))
Mid-level-ontology.kif 29256-29261
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))
Mid-level-ontology.kif 29301-29306
(=>
    (and
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency ?P ?Q))
Mid-level-ontology.kif 29453-29460
(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))
Mid-level-ontology.kif 29190-29195
(=>
    (and
        (memberMeasure ?S TransformerCapacity ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (transformerCapacity ?O ?Q))
Mid-level-ontology.kif 29483-29488
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 29367-29372
(=>
    (and
        (memberMeasure ?S VoltageRatingSecondary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingSecondary ?O ?Q))
Mid-level-ontology.kif 29410-29415
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (height ?O ?Q))
Mid-level-ontology.kif 29235-29240
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))
Mid-level-ontology.kif 29209-29214
(=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))
Merge.kif 794-796

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 575-579
(=>
    (exhaustiveDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 559-563
(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?ADVERTISEMENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?ADVERTISEMENT Advertising)
            (patient ?ADVERTISEMENT ?PRODUCT)
            (part ?ADVERTISEMENT ?DESCRIPTIONPAGE))))
UXExperimentalTerms.kif 2243-2250
(=>
    (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 2252-2261
(=>
    (subclass ?X ?Y)
    (and
        (instance ?X Class)
        (instance ?Y Class)))
Merge.kif 135-139


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