Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Class
Class
more pictures...

appearance as argument number 1
-------------------------


(subclass Class SetOrClass) Merge.kif 2246-2246
(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 2248-2256
(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/8/8f/Personal_Household_Income_U.png") pictureList.kif 10623-10623
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 10624-10624
(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/1/1a/ Maximum_boxed.png") pictureList.kif 10626-10626
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png") pictureList.kif 10627-10627
(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/43/ Arbitrary_gametree_solved.png") pictureList.kif 10629-10629
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png") pictureList.kif 10631-10631

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


(range ExtensionFn Class) Merge.kif 1853-1853
(range KappaFn Class) Merge.kif 5704-5704
(range WeekBeforeMenstruationFn Class) Medicine.kif 1500-1500
(termFormat EnglishLanguage Class "class") english_format.kif 978-978

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


(domain instance 2 Class) Merge.kif 82-82
(domain immediateInstance 2 Class) Merge.kif 91-91
(domain subclass 1 Class) Merge.kif 131-131
(domain subclass 2 Class) Merge.kif 132-132
(domain immediateSubclass 1 Class) Merge.kif 147-147
(domain immediateSubclass 2 Class) Merge.kif 148-148
(domain domain 3 Class) Merge.kif 204-204
(domain domainSubclass 3 Class) Merge.kif 226-226
(domain range 2 Class) Merge.kif 300-300
(domainSubclass rangeSubclass 2 Class) Merge.kif 327-327
(domain disjoint 1 Class) Merge.kif 387-387
(domain disjoint 2 Class) Merge.kif 388-388
(domain exhaustiveDecomposition 1 Class) Merge.kif 540-540
(domain exhaustiveDecomposition 2 Class) Merge.kif 541-541
(domain disjointDecomposition 1 Class) Merge.kif 558-558
(domain disjointDecomposition 2 Class) Merge.kif 559-559
(domain partition 1 Class) Merge.kif 574-574
(domain partition 2 Class) Merge.kif 575-575
(partition SetOrClass Set Class) Merge.kif 2239-2239
(domain closedOn 2 Class) Merge.kif 3687-3687
(domain reflexiveOn 2 Class) Merge.kif 3715-3715
(domain partialOrderingOn 2 Class) Merge.kif 3752-3752
(domain totalOrderingOn 2 Class) Merge.kif 3768-3768
(domain trichotomizingOn 2 Class) Merge.kif 3789-3789
(domain equivalenceRelationOn 2 Class) Merge.kif 3812-3812

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 820-822
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))		 Mid-level-ontology.kif 33628-33633
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (measure ?O ?Q))		 Mid-level-ontology.kif 33635-33640
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))		 Mid-level-ontology.kif 33670-33675
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (height ?O ?Q))		 Mid-level-ontology.kif 33696-33701
(=>
    (and
        (memberMeasure ?S Circumference ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumference ?O ?Q))		 Mid-level-ontology.kif 33717-33722
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))		 Mid-level-ontology.kif 33771-33776
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))		 Mid-level-ontology.kif 33793-33798
(=>
    (and
        (memberMeasure ?S Area ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (totalArea ?O ?Q))		 Mid-level-ontology.kif 33822-33827
(=>
    (and
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))		 Mid-level-ontology.kif 33862-33869
(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))		 engineering.kif 82-87
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))		 engineering.kif 611-616
(=>
    (and
        (memberMeasure ?S VoltageRatingSecondary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingSecondary ?O ?Q))		 engineering.kif 654-659
(=>
    (and
        (memberMeasure ?S TransformerCapacity ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (transformerCapacity ?O ?Q))		 engineering.kif 702-707

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


(=>
    (exhaustiveDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))		 Merge.kif 550-554
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))		 Merge.kif 566-570
(=>
    (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
(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?ADVERTISEMENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?ADVERTISEMENT Advertising)
            (patient ?ADVERTISEMENT ?PRODUCT)
            (part ?ADVERTISEMENT ?DESCRIPTIONPAGE))))		 UXExperimentalTerms.kif 2035-2042
(=>
    (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 2044-2053


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners