Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass Class SetOrClass) Merge.kif 2171-2171 Class is a subclass of set or class
(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 2173-2181 Class is a subclass of set or class
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png") pictureList.kif 9941-9941 Class is a subclass of set or class
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png") pictureList.kif 10623-10623 Class is a subclass of set or class
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 10624-10624 Class is a subclass of set or class
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png") pictureList.kif 10625-10625 Class is a subclass of set or class
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png") pictureList.kif 10626-10626 Class is a subclass of set or class
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png") pictureList.kif 10627-10627 Class is a subclass of set or class
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") pictureList.kif 10628-10628 Class is a subclass of set or class
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary_gametree_solved.png") pictureList.kif 10629-10629 Class is a subclass of set or class
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png") pictureList.kif 10631-10631 Class is a subclass of set or class

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


(range WeekBeforeMenstruationFn Class) Medicine.kif 1496-1496 The range of week before menstruation is an instance of class
(range ExtensionFn Class) Merge.kif 1796-1796 The range of extension is an instance of class
(range KappaFn Class) Merge.kif 5633-5633 The range of kappa is an instance of class
(termFormat EnglishLanguage Class "class") english_format.kif 974-974 The range of kappa is an instance of class

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


(domain instance 2 Class) Merge.kif 82-82 The number 2 argument of instance 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 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 immediateSubclass 1 Class) Merge.kif 147-147 The number 1 argument of immediate subclass is an instance of class
(domain immediateSubclass 2 Class) Merge.kif 148-148 The number 2 argument of immediate subclass is an instance of class
(domain domain 3 Class) Merge.kif 204-204 The number 3 argument of domain is an instance of class
(domain domainSubclass 3 Class) Merge.kif 226-226 The number 3 argument of domain subclass is an instance of class
(domain range 2 Class) Merge.kif 301-301 The number 2 argument of range is an instance of class
(domainSubclass rangeSubclass 2 Class) Merge.kif 328-328 The number 2 argument of range subclass is a subclass of class
(domain disjoint 1 Class) Merge.kif 388-388 The number 1 argument of disjoint is an instance of class
(domain disjoint 2 Class) Merge.kif 389-389 The number 2 argument of disjoint is an instance of class
(domain exhaustiveDecomposition 1 Class) Merge.kif 541-541 The number 1 argument of exhaustive decomposition is an instance of class
(domain exhaustiveDecomposition 2 Class) Merge.kif 542-542 The number 2 argument of exhaustive decomposition is an instance of class
(domain disjointDecomposition 1 Class) Merge.kif 559-559 The number 1 argument of disjoint decomposition is an instance of class
(domain disjointDecomposition 2 Class) Merge.kif 560-560 The number 2 argument of disjoint decomposition is an instance of class
(domain partition 1 Class) Merge.kif 575-575 The number 1 argument of partition is an instance of class
(domain partition 2 Class) Merge.kif 576-576 The number 2 argument of partition is an instance of class
(partition SetOrClass Set Class) Merge.kif 2164-2164 Set or class is exhaustively partitioned into set and class
(domain closedOn 2 Class) Merge.kif 3614-3614 The number 2 argument of closed on is an instance of class
(domain reflexiveOn 2 Class) Merge.kif 3643-3643 The number 2 argument of reflexive on is an instance of class
(domain partialOrderingOn 2 Class) Merge.kif 3682-3682 The number 2 argument of partial ordering on is an instance of class
(domain totalOrderingOn 2 Class) Merge.kif 3699-3699 The number 2 argument of total ordering on is an instance of class
(domain trichotomizingOn 2 Class) Merge.kif 3721-3721 The number 2 argument of trichotomizing on is an instance of class
(domain equivalenceRelationOn 2 Class) Merge.kif 3745-3745 The number 2 argument of equivalence relation on is an instance of class

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))		 Merge.kif 821-823 If X is an instance of class, then X is a subclass of entity
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))		 Mid-level-ontology.kif 33700-33705 If members of X have the measure Y in terms of Z, X is an instance of class, and W is an instance of X, then W is an instance of artifact
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (measure ?O ?Q))		 Mid-level-ontology.kif 33707-33712 If members of X have the measure Y in terms of Z, X is an instance of class, and W is an instance of X, then the measure of W is Y
(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))		 Mid-level-ontology.kif 33735-33740 If members of X have the measure Y in terms of length, X is an instance of class, and Z is an instance of X, then the length of Z is Y
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))		 Mid-level-ontology.kif 33754-33759 If members of X have the measure Y in terms of width, X is an instance of class, and Z is an instance of X, then the width of Z is Y
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (height ?O ?Q))		 Mid-level-ontology.kif 33780-33785 If members of X have the measure Y in terms of width, X is an instance of class, and Z is an instance of X, then the height of Z is Y
(=>
    (and
        (memberMeasure ?S Circumference ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumference ?O ?Q))		 Mid-level-ontology.kif 33801-33806 If members of X have the measure Y in terms of Circumference, X is an instance of class, and Z is an instance of X, then circumference Z and Y
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))		 Mid-level-ontology.kif 33855-33860 If members of X have the measure Y in terms of Diameter, X is an instance of class, and Z is an instance of X, then the diameter of Z is Y
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))		 Mid-level-ontology.kif 33877-33882 If members of X have the measure Y in terms of ApproximateDiameter, X is an instance of class, and Z is an instance of X, then the approximate diameter of Z is Y
(=>
    (and
        (memberMeasure ?S Area ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (totalArea ?O ?Q))		 Mid-level-ontology.kif 33906-33911 If members of X have the measure Y in terms of Area, X is an instance of class, and Z is an instance of X, then Y is a total area of Z
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))		 Mid-level-ontology.kif 33928-33933 If members of X have the measure Y in terms of Primary Voltage Rating, X is an instance of class, and Z is an instance of X, then the FunctionQuantity of Z is Y
(=>
    (and
        (memberMeasure ?S VoltageRatingSecondary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingSecondary ?O ?Q))		 Mid-level-ontology.kif 33971-33976 If members of X have the measure Y in terms of Secondary Voltage Rating, X is an instance of class, and Z is an instance of X, then the FunctionQuantity of Z is Y
(=>
    (and
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))		 Mid-level-ontology.kif 34016-34023 If members of X have the measure Y in terms of Frequency, X is an instance of class, Z is an instance of X, W is an instance of process, and Z is an agent of W, then process occurs every Y
(=>
    (and
        (memberMeasure ?S TransformerCapacity ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (transformerCapacity ?O ?Q))		 Mid-level-ontology.kif 34046-34051 If members of X have the measure Y in terms of Transformer Capacity, X is an instance of class, and Z is an instance of X, then the capacity of Z is Y

consequent
-------------------------


(=>
    (exhaustiveDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))		 Merge.kif 551-555 Assuming @ROW is covered by @ROW, it follows that: if Y is a member of (@ROW), then Y is an instance of class
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))		 Merge.kif 567-571 Assuming @ROW is disjointly decomposed into @ROW, it follows that: if Y is a member of (@ROW), then Y is an instance of class
(=>
    (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 If All of the following hold: (1) X is an instance of web listing category (2) Y is an instance of web listing (3) Z is an instance of web listing (4) W is an instance of object (5) V is an instance of object (6) Y is a member of X (7) Z is a member of X (8) Y is a patient of W (9) Z is a patient of V, then there exists U such that U is an instance of class, W is an instance of U, and V is an instance of U
(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?ADVERTISEMENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?ADVERTISEMENT Advertising)
            (patient ?ADVERTISEMENT ?PRODUCT)
            (part ?ADVERTISEMENT ?DESCRIPTIONPAGE))))		 UXExperimentalTerms.kif 2034-2041 If X is an instance of product description page, then there exist Y, Z such that Y is an instance of class, Z is an instance of advertising, Y is a patient of Z, and Z is a part of X
(=>
    (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 If X is an instance of product description page, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of class (3) W is an instance of stating (4) Z is a patient of W (5) Z includes a reference to Y (6) V is a result of Z (7) V is a part of X


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