Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 2171-2171
(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
(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 1796-1796
(range KappaFn Class) Merge.kif 5633-5633
(range WeekBeforeMenstruationFn Class) Medicine.kif 1496-1496
(termFormat EnglishLanguage Class "class") english_format.kif 974-974

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 301-301
(domainSubclass rangeSubclass 2 Class) Merge.kif 328-328
(domain disjoint 1 Class) Merge.kif 388-388
(domain disjoint 2 Class) Merge.kif 389-389
(domain exhaustiveDecomposition 1 Class) Merge.kif 541-541
(domain exhaustiveDecomposition 2 Class) Merge.kif 542-542
(domain disjointDecomposition 1 Class) Merge.kif 559-559
(domain disjointDecomposition 2 Class) Merge.kif 560-560
(domain partition 1 Class) Merge.kif 575-575
(domain partition 2 Class) Merge.kif 576-576
(partition SetOrClass Set Class) Merge.kif 2164-2164
(domain closedOn 2 Class) Merge.kif 3614-3614
(domain reflexiveOn 2 Class) Merge.kif 3643-3643
(domain partialOrderingOn 2 Class) Merge.kif 3682-3682
(domain totalOrderingOn 2 Class) Merge.kif 3699-3699
(domain trichotomizingOn 2 Class) Merge.kif 3721-3721
(domain equivalenceRelationOn 2 Class) Merge.kif 3745-3745

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
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))		 Mid-level-ontology.kif 33735-33740
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (measure ?O ?Q))		 Mid-level-ontology.kif 33742-33747
(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))		 Mid-level-ontology.kif 33770-33775
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))		 Mid-level-ontology.kif 33789-33794
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (height ?O ?Q))		 Mid-level-ontology.kif 33815-33820
(=>
    (and
        (memberMeasure ?S Circumference ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumference ?O ?Q))		 Mid-level-ontology.kif 33836-33841
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))		 Mid-level-ontology.kif 33890-33895
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))		 Mid-level-ontology.kif 33912-33917
(=>
    (and
        (memberMeasure ?S Area ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (totalArea ?O ?Q))		 Mid-level-ontology.kif 33941-33946
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))		 Mid-level-ontology.kif 33963-33968
(=>
    (and
        (memberMeasure ?S VoltageRatingSecondary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingSecondary ?O ?Q))		 Mid-level-ontology.kif 34006-34011
(=>
    (and
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))		 Mid-level-ontology.kif 34051-34058
(=>
    (and
        (memberMeasure ?S TransformerCapacity ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (transformerCapacity ?O ?Q))		 Mid-level-ontology.kif 34081-34086

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


(=>
    (exhaustiveDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))		 Merge.kif 551-555
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))		 Merge.kif 567-571
(=>
    (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 2034-2041
(=>
    (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


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