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) 所以它们本身成为实例。 第三:一个类别的实例可能 只在该类别出现一次,也就是输一个泪奔不能拥有重复的实例。") Merge.kif 2257-2261
(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/0/0f/ Oldfaithful3.png") pictureList.kif 10650-10650 "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png" is a URL depicting class
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png") pictureList.kif 10649-10649 "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png" is a URL depicting class
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png") pictureList.kif 10652-10652 "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png" is a URL depicting class
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") pictureList.kif 10651-10651 "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png" is a URL depicting class
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png") pictureList.kif 10648-10648 "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png" is a URL depicting class
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 10647-10647 "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png" is a URL depicting class
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png") pictureList.kif 9960-9960 "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png" is a URL depicting class
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png") pictureList.kif 10654-10654 "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png" is a URL depicting class
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png") pictureList.kif 10646-10646 "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png" is a URL depicting class

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


(range AttrFn Class) Merge.kif 1832-1832 The range of attr is an instance of class
(range ExtensionFn Class) Merge.kif 1818-1818 The range of extension is an instance of class
(range KappaFn Class) Merge.kif 5697-5697 The range of kappa is an instance of class
(subclass BiologicalSpecies Class) Mid-level-ontology.kif 8877-8877 Biological species is a subclass of class
(termFormat ChineseLanguage Class "类") chinese_format.kif 886-886 "类" is the printable form of class in ChineseLanguage
(termFormat EnglishLanguage Class "class") english_format.kif 573-573 "class" is the printable form of class in english language

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


(domain TTFxFn 1 Class) UXExperimentalTerms.kif 1697-1697 The number 1 argument of TTFx is an instance of class
(domain disjointDecomposition 1 Class) Merge.kif 619-619 The number 1 argument of disjoint decomposition is an instance of class
(domain disjointDecomposition 2 Class) Merge.kif 620-620 The number 2 argument of disjoint decomposition is an instance of class
(domain exhaustiveDecomposition 1 Class) Merge.kif 598-598 The number 1 argument of exhaustive decomposition is an instance of class
(domain exhaustiveDecomposition 2 Class) Merge.kif 599-599 The number 2 argument of exhaustive decomposition is an instance of class
(domain partition 1 Class) Merge.kif 636-636 The number 1 argument of partition is an instance of class
(domain partition 2 Class) Merge.kif 637-637 The number 2 argument of partition is an instance of class
(domain total 1 Class) UXExperimentalTerms.kif 4721-4721 The number 1 argument of total is an instance of class
(domain totalFacilityTypeInArea 2 Class) Transportation.kif 1188-1188 The number 2 argument of total facility type in area is an instance of class
(partition SetOrClass Set Class) Merge.kif 2239-2239 Set or class is exhaustively partitioned into set and class

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


(<=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))
Merge.kif 866-868 A set or class is an instance of class if and only if the set or class is a subclass of entity

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 628-632
(=>
    (exhaustiveDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 611-615
(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?ADVERTISEMENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?ADVERTISEMENT Advertising)
            (patient ?ADVERTISMENT ?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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners