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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2097-2105
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png") pictureList.kif 10639-10639
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png") pictureList.kif 10638-10638
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png") pictureList.kif 10641-10641
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") pictureList.kif 10640-10640
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png") pictureList.kif 10637-10637
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 10636-10636
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png") pictureList.kif 9950-9950
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png") pictureList.kif 10643-10643
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png") pictureList.kif 10635-10635
(subclass Class SetOrClass) Merge.kif 2095-2095 Class is a subclass of set or class

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


(range ExtensionFn Class) Merge.kif 1721-1721 The range of extension is an instance of class
(range KappaFn Class) Merge.kif 5515-5515 The range of kappa is an instance of class
(termFormat ChineseLanguage Class "类") chinese_format.kif 886-886
(termFormat EnglishLanguage Class "class") english_format.kif 974-974

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


(domain TTFxFn 1 Class) UXExperimentalTerms.kif 1696-1696 The number 1 argument of TTFx is an instance of class
(domain closedOn 2 Class) Merge.kif 3534-3534 The number 2 argument of closed on is an instance of class
(domain disjoint 1 Class) Merge.kif 396-396 The number 1 argument of disjoint is an instance of class
(domain disjoint 2 Class) Merge.kif 397-397 The number 2 argument of disjoint is an instance of class
(domain disjointDecomposition 1 Class) Merge.kif 571-571 The number 1 argument of disjoint decomposition is an instance of class
(domain disjointDecomposition 2 Class) Merge.kif 572-572 The number 2 argument of disjoint decomposition is an instance of class
(domain domain 3 Class) Merge.kif 210-210 The number 3 argument of domain is an instance of class
(domain domainSubclass 3 Class) Merge.kif 232-232 The number 3 argument of domain subclass is an instance of class
(domain equivalenceRelationOn 2 Class) Merge.kif 3665-3665 The number 2 argument of equivalence relation on is an instance of class
(domain exhaustiveDecomposition 1 Class) Merge.kif 553-553 The number 1 argument of exhaustive decomposition is an instance of class
(domain exhaustiveDecomposition 2 Class) Merge.kif 554-554 The number 2 argument of exhaustive decomposition is an instance of class
(domain immediateInstance 2 Class) Merge.kif 91-91 The number 2 argument of immediate instance is an instance of class
(domain immediateSubclass 1 Class) Merge.kif 153-153 The number 1 argument of immediate subclass is an instance of class
(domain immediateSubclass 2 Class) Merge.kif 154-154 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 partialOrderingOn 2 Class) Merge.kif 3602-3602 The number 2 argument of partial ordering on is an instance of class
(domain partition 1 Class) Merge.kif 587-587 The number 1 argument of partition is an instance of class
(domain partition 2 Class) Merge.kif 588-588 The number 2 argument of partition is an instance of class
(domain range 2 Class) Merge.kif 308-308 The number 2 argument of range is an instance of class
(domain reflexiveOn 2 Class) Merge.kif 3563-3563 The number 2 argument of reflexive on is an instance of class
(domain subclass 1 Class) Merge.kif 131-131 The number 1 argument of subclass is an instance of class
(domain subclass 2 Class) Merge.kif 132-132 The number 2 argument of subclass is an instance of class
(domain successorClass 1 Class) Merge.kif 8950-8950 The number 1 argument of successor class is an instance of class
(domain successorClass 2 Class) Merge.kif 8951-8951 The number 2 argument of successor class is an instance of class
(domain total 1 Class) UXExperimentalTerms.kif 4736-4736 The number 1 argument of total 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 30933-30938
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (measure ?O ?Q))
Mid-level-ontology.kif 30940-30945
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))
Mid-level-ontology.kif 31101-31106
(=>
    (and
        (memberMeasure ?S Area ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (totalArea ?O ?Q))
Mid-level-ontology.kif 31123-31128
(=>
    (and
        (memberMeasure ?S Circumfrence ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumfrence ?O ?Q))
Mid-level-ontology.kif 31034-31039
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))
Mid-level-ontology.kif 31079-31084
(=>
    (and
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))
Mid-level-ontology.kif 31233-31240
(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))
Mid-level-ontology.kif 30968-30973
(=>
    (and
        (memberMeasure ?S TransformerCapacity ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (transformerCapacity ?O ?Q))
Mid-level-ontology.kif 31263-31268
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 31145-31150
(=>
    (and
        (memberMeasure ?S VoltageRatingSecondary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingSecondary ?O ?Q))
Mid-level-ontology.kif 31188-31193
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (height ?O ?Q))
Mid-level-ontology.kif 31013-31018
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))
Mid-level-ontology.kif 30987-30992
(=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))
Merge.kif 822-824

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 579-583
(=>
    (exhaustiveDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 563-567
(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?ADVERTISEMENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?ADVERTISEMENT Advertising)
            (patient ?ADVERTISEMENT ?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
(=>
    (subclass ?X ?Y)
    (and
        (instance ?X Class)
        (instance ?Y Class)))
Merge.kif 137-141


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