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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Class

Sigma KEE - Class
Class
more pictures...
صِنْف, Classe, ambung, brand, categorial, categoric, categorical, categorisation, categorization, category, class, classe, classification, color, colour, connotation, denomination, description, family, form, genus, histocompatibility_complex, intension, kind, kingdom, klase, like, make, manner, nature, paradigm, pigeonhole, rubric, sort, species, stamp, stripe, style, substitution_class, the_like, the_likes_of, trichotomy, varga, variety, way,

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


s__documentation(s__Class,s__ChineseLanguage,' Class 在三个重要方面与 Set 不同:第一,我们不假设 Class 为能延伸的,也就是说不同的 Class 可能由完全相同的实例。第二,Class 通常有一个决定该 Class 实例的附带`条件。所以举例说:`人类 决定 HumanClass。注:有些 Class 可能满足自身 的条件(例如 Abstract 东西的 ClassAbstract) 所以它们本身成为实例。 第三:一个类别的实例可能 只在该类别出现一次,也就是输一个泪奔不能拥有重复的实例。')

Merge.kif 2244-2248
s__documentation(s__Class,s__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 2235-2243
s__externalImage(s__Class,'http://upload.wikimedia.org/wikipedia/commons/0/0f/Oldfaithful3.png')

pictureList.kif 10650-10650
s__externalImage(s__Class,'http://upload.wikimedia.org/wikipedia/commons/1/1a/Maximum_boxed.png')

pictureList.kif 10649-10649
s__externalImage(s__Class,'http://upload.wikimedia.org/wikipedia/commons/4/43/Arbitrary-gametree-solved.png')

pictureList.kif 10652-10652
s__externalImage(s__Class,'http://upload.wikimedia.org/wikipedia/commons/4/46/Market_Data_Index_NYA_on_20050726_202628_UTC.png')

pictureList.kif 10651-10651
s__externalImage(s__Class,'http://upload.wikimedia.org/wikipedia/commons/4/4b/Composite_trapezoidal_rule_illustration_small.png')

pictureList.kif 10648-10648
s__externalImage(s__Class,'http://upload.wikimedia.org/wikipedia/commons/a/a8/BernoullisLawDerivationDiagram.png')

pictureList.kif 10647-10647
s__externalImage(s__Class,'http://upload.wikimedia.org/wikipedia/commons/b/bf/Pyramid_of_Capitalist_System.png')

pictureList.kif 9960-9960
s__externalImage(s__Class,'http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png')

pictureList.kif 10654-10654
s__externalImage(s__Class,'http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png')

pictureList.kif 10646-10646

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


s__range(s__AttrFn__m,s__Class)

Merge.kif 1819-1819
s__range(s__ExtensionFn__m,s__Class)

Merge.kif 1805-1805
s__range(s__KappaFn__m,s__Class)

Merge.kif 5684-5684
s__subclass(s__BiologicalSpecies,s__Class)

Mid-level-ontology.kif 8877-8877
s__termFormat(s__ChineseLanguage,s__Class,'类')

chinese_format.kif 886-886
s__termFormat(s__EnglishLanguage,s__Class,'class')

english_format.kif 573-573
s__termFormat(s__FrenchLanguage,s__Class,'classe')

french_format.kif 562-562
s__termFormat(s__Hindi,s__Class,'varga')

terms-hindi.txt 92-92
s__termFormat(s__ItalianLanguage,s__Class,'Classe')

terms-it.txt 93-93
s__termFormat(s__PortugueseLanguage,s__Class,'Classe')

portuguese_format.kif 514-514
s__termFormat(s__ar__m,s__Class,'صِنْف')

arabic_format.kif 298-298
s__termFormat(s__cb__m,s__Class,'ambung')

terms-cb.txt 97-97
s__termFormat(s__cz__m,s__Class,'class')

terms-cz.txt 129-129
s__termFormat(s__tg__m,s__Class,'klase')

terms-tg.txt 96-96

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


s__domain(s__TTFxFn__m,1,s__Class)

UXExperimentalTerms.kif 1697-1697
s__domain(s__disjointDecomposition__m,1,s__Class)

Merge.kif 607-607
s__domain(s__disjointDecomposition__m,2,s__Class)

Merge.kif 608-608
s__domain(s__exhaustiveDecomposition__m,1,s__Class)

Merge.kif 586-586
s__domain(s__exhaustiveDecomposition__m,2,s__Class)

Merge.kif 587-587
s__domain(s__partition__m,1,s__Class)

Merge.kif 624-624
s__domain(s__partition__m,2,s__Class)

Merge.kif 625-625
s__domain(s__total__m,1,s__Class)

UXExperimentalTerms.kif 4721-4721
s__domain(s__totalFacilityTypeInArea__m,2,s__Class)

Transportation.kif 1161-1161
s__partition_3(s__SetOrClass,s__Set,s__Class)

Merge.kif 2226-2226

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


( ! [V__CLASS] :
   (s__instance(V__CLASS,s__Class) <=>
     s__subclass(V__CLASS,s__Entity))
   )

Merge.kif 854-856

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


( ! [V__CATEG,V__LISTING1,V__LISTING2,V__ITEM1,V__ITEM2] :
   ((s__instance(V__CATEG,s__WebListingCategory) &
       s__instance(V__LISTING1,s__WebListing) &
       s__instance(V__LISTING2,s__WebListing) &
       s__instance(V__ITEM1,s__Object) &
       s__instance(V__ITEM2,s__Object) &
       s__member(V__LISTING1,V__CATEG)
     &
     s__member(V__LISTING2,V__CATEG)
   &
   s__patient(V__ITEM1,V__LISTING1)
&
s__patient(V__ITEM2,V__LISTING2))
=>
(? [V__CLASS] :
(s__instance(V__CLASS,s__Class) &
s__instance(V__ITEM1,V__CLASS)
&
s__instance(V__ITEM2,V__CLASS))))
)

UXExperimentalTerms.kif 182-197
( ! [V__ROW1,V__ELEMENT] :
   (s__disjointDecomposition_1(V__ROW1)
   =>
   (s__inList(V__ELEMENT,s__ListFn_1(V__ROW1))
=>
s__instance(V__ELEMENT,s__Class)))
)

Merge.kif 616-620
( ! [V__ROW1,V__ELEMENT] :
   (s__exhaustiveDecomposition_1(V__ROW1)
   =>
   (s__inList(V__ELEMENT,s__ListFn_1(V__ROW1))
=>
s__instance(V__ELEMENT,s__Class)))
)

Merge.kif 599-603
( ! [V__DESCRIPTIONPAGE,V__ADVERTISMENT] :
   (s__instance(V__DESCRIPTIONPAGE,s__ProductDescriptionPage) =>
     (? [V__PRODUCT,V__ADVERTISEMENT] :
       (s__instance(V__PRODUCT,s__Class) &
         s__instance(V__ADVERTISEMENT,s__Advertising) &
         s__patient(V__ADVERTISMENT,V__PRODUCT)
       &
       s__part(V__ADVERTISEMENT,V__DESCRIPTIONPAGE))))
)

UXExperimentalTerms.kif 2240-2247
( ! [V__DESCRIPTIONPAGE] :
   (s__instance(V__DESCRIPTIONPAGE,s__ProductDescriptionPage) =>
     (? [V__PRODUCT,V__DESCRIPTION,V__STATING,V__DESCRIPTIONCONTENT] :
       (s__instance(V__PRODUCT,s__Class) &
         s__instance(V__STATING,s__Stating) &
         s__patient(V__STATING,V__DESCRIPTION)
       &
       s__refers(V__DESCRIPTION,V__PRODUCT)
     &
     s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT)
   &
   s__part(V__DESCRIPTIONCONTENT,V__DESCRIPTIONPAGE))))
)

UXExperimentalTerms.kif 2249-2258


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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