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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Class

Sigma KEE - Class
Class(class)
more pictures...
brand, categorial, categoric, categorical, categorisation, categorization, category, class, classification, color, colour, connotation, denomination, description, family, form, genus, histocompatibility_complex, intension, kind, kingdom, like, make, manner, nature, paradigm, pigeonhole, rubric, sort, species, stamp, stripe, style, substitution_class, the_like, the_likes_of, trichotomy, variety, way

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 2085-2093
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png") pictureList.kif 10648-10648
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png") pictureList.kif 10647-10647
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png") pictureList.kif 10650-10650
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") pictureList.kif 10649-10649
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png") pictureList.kif 10646-10646
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 10645-10645
(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 10652-10652
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png") pictureList.kif 10644-10644
(subclass Class SetOrClass) Merge.kif 2083-2083 Class is a subclass of set or class

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


(range AttrFn Class) Merge.kif 1719-1719 The range of attr is an instance of class
(range ExtensionFn Class) Merge.kif 1705-1705 The range of extension is an instance of class
(range KappaFn Class) Merge.kif 5379-5379 The range of kappa is an instance of class
(subclass BiologicalSpecies Class) Mid-level-ontology.kif 8731-8731 Biological species is a subclass of class
(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 1720-1720 The number 1 argument of attr is an instance of class
(domain TTFxFn 1 Class) UXExperimentalTerms.kif 1697-1697 The number 1 argument of TTFx is an instance of class
(domain closedOn 2 Class) Merge.kif 3497-3497 The number 2 argument of closed on is an instance of class
(domain disjoint 1 Class) Merge.kif 394-394 The number 1 argument of disjoint is an instance of class
(domain disjoint 2 Class) Merge.kif 395-395 The number 2 argument of disjoint is an instance of class
(domain disjointDecomposition 1 Class) Merge.kif 567-567 The number 1 argument of disjoint decomposition is an instance of class
(domain disjointDecomposition 2 Class) Merge.kif 568-568 The number 2 argument of disjoint decomposition is an instance of class
(domain domain 3 Class) Merge.kif 208-208 The number 3 argument of domain is an instance of class
(domain domainSubclass 3 Class) Merge.kif 230-230 The number 3 argument of domain subclass is an instance of class
(domain equivalenceRelationOn 2 Class) Merge.kif 3620-3620 The number 2 argument of equivalence relation on is an instance of class
(domain exhaustiveDecomposition 1 Class) Merge.kif 549-549 The number 1 argument of exhaustive decomposition is an instance of class
(domain exhaustiveDecomposition 2 Class) Merge.kif 550-550 The number 2 argument of exhaustive decomposition is an instance of class
(domain immediateSubclass 1 Class) Merge.kif 151-151 The number 1 argument of immediate subclass is an instance of class
(domain immediateSubclass 2 Class) Merge.kif 152-152 The number 2 argument of immediate subclass is an instance of class
(domain instance 2 Class) Merge.kif 82-82 The number 2 argument of instance is an instance of class
(domain irreflexiveOn 2 Class) Merge.kif 3544-3544 The number 2 argument of irreflexive on is an instance of class
(domain partialOrderingOn 2 Class) Merge.kif 3563-3563 The number 2 argument of partial ordering on is an instance of class
(domain partition 1 Class) Merge.kif 583-583 The number 1 argument of partition is an instance of class
(domain partition 2 Class) Merge.kif 584-584 The number 2 argument of partition is an instance of class
(domain range 2 Class) Merge.kif 305-305 The number 2 argument of range is an instance of class
(domain reflexiveOn 2 Class) Merge.kif 3526-3526 The number 2 argument of reflexive on is an instance of class
(domain subclass 1 Class) Merge.kif 129-129 The number 1 argument of subclass is an instance of class
(domain subclass 2 Class) Merge.kif 130-130 The number 2 argument of subclass is an instance of class
(domain successorClass 1 Class) Merge.kif 8641-8641 The number 1 argument of successorClass is an instance of class
(domain successorClass 2 Class) Merge.kif 8642-8642 The number 2 argument of successorClass is an instance of 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 30064-30069
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (measure ?O ?Q))
Mid-level-ontology.kif 30071-30076
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))
Mid-level-ontology.kif 30232-30237
(=>
    (and
        (memberMeasure ?S Area ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (totalArea ?O ?Q))
Mid-level-ontology.kif 30254-30259
(=>
    (and
        (memberMeasure ?S Circumfrence ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumfrence ?O ?Q))
Mid-level-ontology.kif 30165-30170
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))
Mid-level-ontology.kif 30210-30215
(=>
    (and
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency ?P ?Q))
Mid-level-ontology.kif 30362-30369
(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))
Mid-level-ontology.kif 30099-30104
(=>
    (and
        (memberMeasure ?S TransformerCapacity ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (transformerCapacity ?O ?Q))
Mid-level-ontology.kif 30392-30397
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 30276-30281
(=>
    (and
        (memberMeasure ?S VoltageRatingSecondary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingSecondary ?O ?Q))
Mid-level-ontology.kif 30319-30324
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (height ?O ?Q))
Mid-level-ontology.kif 30144-30149
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))
Mid-level-ontology.kif 30118-30123
(=>
    (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 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