Class - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Class,s__ChineseLanguage,' Class 在三个重要方面与 Set 不同：第一，我们不假设 Class 为能延伸的，也就是说不同的 Class 可能由完全相同的实例。第二，Class 通常有一个决定该 Class 实例的附带`条件。所以举例说：`人类决定 Human 的 Class。注：有些 Class 可能满足自身的条件(例如 Abstract 东西的 Class 是 Abstract) 所以它们本身成为实例。第三：一个类别的实例可能只在该类别出现一次，也就是输一个泪奔不能拥有重复的实例。')	Merge.kif 2234-2238
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 2225-2233
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__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
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	"http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png" is a URL depicting class
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__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

s__range(s__AttrFn__m,s__Class)	Merge.kif 1809-1809	The range of attr is an instance of class
s__range(s__ExtensionFn__m,s__Class)	Merge.kif 1795-1795	The range of extension is an instance of class
s__range(s__KappaFn__m,s__Class)	Merge.kif 5664-5664	The range of kappa is an instance of class
s__instance(s__Class,s__SetOrClass) s__instance(s__BiologicalSpecies,s__SetOrClass) s__subclass(s__BiologicalSpecies,s__Class)	Mid-level-ontology.kif 8865-8865	Biological species is a subclass of class
s__termFormat(s__ChineseLanguage,s__Class,'类')	chinese_format.kif 886-886	"类" is the printable form of class in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Class,'class')	english_format.kif 573-573	"class" is the printable form of class in english language
s__termFormat(s__FrenchLanguage,s__Class,'classe')	french_format.kif 562-562	"classe" is the printable form of class in french language
s__termFormat(s__Hindi,s__Class,'varga')	terms-hindi.txt 92-92	"varga" is the printable form of class in Hindi
s__termFormat(s__ItalianLanguage,s__Class,'Classe')	terms-it.txt 93-93	"Classe" is the printable form of class in italian language
s__termFormat(s__PortugueseLanguage,s__Class,'Classe')	portuguese_format.kif 514-514	"Classe" is the printable form of class in portuguese language
s__termFormat(s__ar__m,s__Class,'صِنْف')	arabic_format.kif 298-298	"صِنْف" is the printable form of class in ar
s__termFormat(s__cb__m,s__Class,'ambung')	terms-cb.txt 97-97	"ambung" is the printable form of class in cb
s__termFormat(s__cz__m,s__Class,'class')	terms-cz.txt 129-129	"class" is the printable form of class in cz
s__termFormat(s__tg__m,s__Class,'klase')	terms-tg.txt 96-96	"klase" is the printable form of class in tg

appearance as argument number 3

s__domain(s__TTFxFn__m,1,s__Class)	UXExperimentalTerms.kif 1698-1698	The number 1 argument of TTFx is an instance of class
s__domain(s__disjointDecomposition__m,1,s__Class)	Merge.kif 605-605	The number 1 argument of disjoint decomposition is an instance of class
s__domain(s__disjointDecomposition__m,2,s__Class)	Merge.kif 606-606	The number 2 argument of disjoint decomposition is an instance of class
s__domain(s__exhaustiveDecomposition__m,1,s__Class)	Merge.kif 584-584	The number 1 argument of exhaustive decomposition is an instance of class
s__domain(s__exhaustiveDecomposition__m,2,s__Class)	Merge.kif 585-585	The number 2 argument of exhaustive decomposition is an instance of class
s__domain(s__partition__m,1,s__Class)	Merge.kif 622-622	The number 1 argument of partition is an instance of class
s__domain(s__partition__m,2,s__Class)	Merge.kif 623-623	The number 2 argument of partition is an instance of class
s__domain(s__total__m,1,s__Class)	UXExperimentalTerms.kif 4722-4722	The number 1 argument of total is an instance of class
s__domain(s__totalFacilityTypeInArea__m,2,s__Class)	Transportation.kif 1161-1161	The number 2 argument of total facility type in area is an instance of class
s__partition_3(s__SetOrClass,s__Set,s__Class)	Merge.kif 2216-2216	Set or class is exhaustively partitioned into set and class

antecedent

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

Merge.kif 852-854

?CLASS is an instance of class if and only if ?CLASS is a subclass of entity

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	If ?CATEG is an instance of web listing category and ?LISTING1 is an instance of web listing and ?LISTING2 is an instance of web listing and ?ITEM1 is an instance of object and ?ITEM2 is an instance of object and ?LISTING1 is a member of ?CATEG and ?LISTING2 is a member of ?CATEG and ?LISTING1 is a patient of ?ITEM1 and ?LISTING2 is a patient of ?ITEM2, then there exists ?CLASS such that ?CLASS is an instance of class and ?ITEM1 is an instance of ?CLASS and ?ITEM2 is an instance of ?CLASS
( ! [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 614-618	If @ROW is disjointly decomposed into @ROW, then if ?ELEMENT is a member of (@ROW), then ?ELEMENT is an instance of class
( ! [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 597-601	If @ROW is covered by @ROW, then if ?ELEMENT is a member of (@ROW), then ?ELEMENT is an instance of class
( ! [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 2241-2248	If ?DESCRIPTIONPAGE is an instance of product description page, then there exist ?PRODUCT and ?ADVERTISEMENT such that ?PRODUCT is an instance of class and ?ADVERTISEMENT is an instance of advertising and ?PRODUCT is a patient of ?ADVERTISMENT and ?ADVERTISEMENT is a part of ?DESCRIPTIONPAGE
( ! [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 2250-2259	If ?DESCRIPTIONPAGE is an instance of product description page, then there exist ?PRODUCT, ?DESCRIPTION,, , ?STATING and ?DESCRIPTIONCONTENT such that ?PRODUCT is an instance of class and ?STATING is an instance of stating and ?DESCRIPTION is a patient of ?STATING and ?DESCRIPTION includes a reference to ?PRODUCT and ?DESCRIPTIONCONTENT is a result of ?DESCRIPTION and ?DESCRIPTIONCONTENT is a part of ?DESCRIPTIONPAGE

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

KB Term:			Term intersection

English Word: