Class - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Class ChineseLanguage " Class 在三个重要方面与 Set 不同：第一，我们不假设 Class 为能延伸的，也就是说不同的 Class 可能由完全相同的实例。第二，Class 通常有一个决定该 Class 实例的附带`条件'。所以举例说：`人类' 决定 Human 的 Class。注：有些 Class 可能满足自身的条件(例如 Abstract 东西的 Class 是 Abstract) 所以它们本身成为实例。第三：一个类别的实例可能只在该类别出现一次，也就是输一个泪奔不能拥有重复的实例。")	chinese_format.kif 1806-1810
(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 2138-2146
(documentation Class JapaneseLanguage "Classes は3つの重要な点で Set と異なる。まず、 Class は、拡張であるとは見なされない。つまり、明確な Classe はまったく同じインスタンスを持つ可能性がある。第二に、Classe は通常、関連する「条件」を持っていて、それは、Classe のインスタンスを決定する。したがって、例えば、条件「ヒト」は Human の Class を決定する。注意: 一部の Class は、自分自身の状態 (例えば、Abstract の Class は Abstract である) を満たす、したがって、それ自体のインスタンスである可能性がある。第三に、クラスのインスタンスは、クラス内で1回だけ発生する可能性がある。　例：クラスは、重複するインスタンスを含めることはできない。")	japanese_format.kif 421-427
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png")	pictureList.kif 10629-10629
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png")	pictureList.kif 10628-10628
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png")	pictureList.kif 10631-10631
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png")	pictureList.kif 10630-10630
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png")	pictureList.kif 10627-10627
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png")	pictureList.kif 10626-10626
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png")	pictureList.kif 9942-9942
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png")	pictureList.kif 10633-10633
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png")	pictureList.kif 10625-10625
(subclass Class SetOrClass)	Merge.kif 2136-2136	Class is a subclass of set or class

appearance as argument number 2

(range ExtensionFn Class)	Merge.kif 1762-1762	The range of extension is an instance of class
(range KappaFn Class)	Merge.kif 5585-5585	The range of kappa is an instance of class
(range WeekBeforeMenstruationFn Class)	Medicine.kif 1516-1516	The range of WeekBeforeMenstruationFn is an instance of class
(termFormat ChineseLanguage Class "类")	chinese_format.kif 886-886	The range of WeekBeforeMenstruationFn is an instance of class
(termFormat EnglishLanguage Class "class")	english_format.kif 974-974	The range of WeekBeforeMenstruationFn is an instance of class
(termFormat FrenchLanguage Class "classe")	french_format.kif 562-562	The range of WeekBeforeMenstruationFn is an instance of class
(termFormat Hindi Class "varga")	terms-hindi.txt 92-92	The range of WeekBeforeMenstruationFn is an instance of class
(termFormat ItalianLanguage Class "Classe")	terms-it.txt 95-95	The range of WeekBeforeMenstruationFn is an instance of class
(termFormat JapaneseLanguage Class "クラス")	japanese_format.kif 2247-2247	The range of WeekBeforeMenstruationFn is an instance of class
(termFormat PortugueseLanguage Class "Classe")	portuguese_format.kif 514-514	The range of WeekBeforeMenstruationFn is an instance of class
(termFormat cb Class "ambung")	terms-cb.txt 97-97	The range of WeekBeforeMenstruationFn is an instance of class
(termFormat cz Class "class")	terms-cz.txt 129-129	The range of WeekBeforeMenstruationFn is an instance of class
(termFormat ro Class "clasã")	relations-ro.kif 583-583	The range of WeekBeforeMenstruationFn is an instance of class
(termFormat tg Class "klase")	terms-tg.txt 96-96	The range of WeekBeforeMenstruationFn is an instance of class

appearance as argument number 3

(domain TTFxFn 1 Class)	UXExperimentalTerms.kif 1490-1490	The number 1 argument of TTFx is an instance of class
(domain closedOn 2 Class)	Merge.kif 3576-3576	The number 2 argument of closed on is an instance of class
(domain disjoint 1 Class)	Merge.kif 395-395	The number 1 argument of disjoint is an instance of class
(domain disjoint 2 Class)	Merge.kif 396-396	The number 2 argument of disjoint is an instance of class
(domain disjointDecomposition 1 Class)	Merge.kif 566-566	The number 1 argument of disjoint decomposition is an instance of class
(domain disjointDecomposition 2 Class)	Merge.kif 567-567	The number 2 argument of disjoint decomposition is an instance of class
(domain domain 3 Class)	Merge.kif 210-210	The number 3 argument of domain is an instance of class
(domain domainSubclass 3 Class)	Merge.kif 232-232	The number 3 argument of domain subclass is an instance of class
(domain equivalenceRelationOn 2 Class)	Merge.kif 3707-3707	The number 2 argument of equivalence relation on is an instance of class
(domain exhaustiveDecomposition 1 Class)	Merge.kif 548-548	The number 1 argument of exhaustive decomposition is an instance of class
(domain exhaustiveDecomposition 2 Class)	Merge.kif 549-549	The number 2 argument of exhaustive decomposition is an instance of class
(domain immediateInstance 2 Class)	Merge.kif 91-91	The number 2 argument of immediate instance is an instance of class
(domain immediateSubclass 1 Class)	Merge.kif 153-153	The number 1 argument of immediate subclass is an instance of class
(domain immediateSubclass 2 Class)	Merge.kif 154-154	The number 2 argument of immediate subclass is an instance of class
(domain instance 2 Class)	Merge.kif 82-82	The number 2 argument of instance is an instance of class
(domain memberMeasure 1 Class)	Mid-level-ontology.kif 31264-31264	The number 1 argument of member measure is an instance of class
(domain memberType 2 Class)	Mid-level-ontology.kif 22933-22933	The number 2 argument of member type is an instance of class
(domain memberTypeCount 2 Class)	Mid-level-ontology.kif 22947-22947	The number 2 argument of member type count is an instance of class
(domain partialOrderingOn 2 Class)	Merge.kif 3644-3644	The number 2 argument of partial ordering on is an instance of class
(domain partition 1 Class)	Merge.kif 582-582	The number 1 argument of partition is an instance of class
(domain partition 2 Class)	Merge.kif 583-583	The number 2 argument of partition is an instance of class
(domain range 2 Class)	Merge.kif 307-307	The number 2 argument of range is an instance of class
(domain reflexiveOn 2 Class)	Merge.kif 3605-3605	The number 2 argument of reflexive on is an instance of class
(domain subclass 1 Class)	Merge.kif 131-131	The number 1 argument of subclass is an instance of class
(domain subclass 2 Class)	Merge.kif 132-132	The number 2 argument of subclass is an instance of class

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (instance ?O Artifact))	Mid-level-ontology.kif 31275-31280	If members of a class have the measure a quantity in terms of a measurement attribute and the class is an instance of class and an entity is an instance of the class, then the entity is an instance of artifact
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (measure ?O ?Q))	Mid-level-ontology.kif 31282-31287	If members of a class have the measure a physical quantity in terms of a measurement attribute and the class is an instance of class and a physical is an instance of the class, then the measure of the physical is the physical quantity
(=> (and (memberMeasure ?S ApproximateDiameter ?Q) (instance ?S Class) (instance ?O ?S)) (approximateDiameter ?O ?Q))	Mid-level-ontology.kif 31451-31456	If members of a class have the measure a length measure in terms of ApproximateDiameter and the class is an instance of class and a self connected object is an instance of the class, then the approximate diameter of the self connected object is the length measure
(=> (and (memberMeasure ?S Area ?Q) (instance ?S Class) (instance ?O ?S)) (totalArea ?O ?Q))	Mid-level-ontology.kif 31480-31485	If members of a class have the measure an area measure in terms of Area and the class is an instance of class and a region is an instance of the class, then the area measure is a total area of the region
(=> (and (memberMeasure ?S Circumfrence ?Q) (instance ?S Class) (instance ?O ?S)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 31376-31381	If members of a class have the measure a length measure in terms of Circumfrence and the class is an instance of class and an object is an instance of the class, then circumfrence the object and the length measure
(=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 31429-31434	If members of a class have the measure a length measure in terms of Diameter and the class is an instance of class and an object is an instance of the class, then the diameter of the object is the length measure
(=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q))	Mid-level-ontology.kif 31590-31597	If members of a class have the measure a time duration in terms of Frequency and the class is an instance of class and an agent is an instance of the class and a process is an instance of process and the agent is an agent of the process, then process occurs every the time duration
(=> (and (memberMeasure ?S Length ?Q) (instance ?S Class) (instance ?O ?S)) (length ?O ?Q))	Mid-level-ontology.kif 31310-31315	If members of a class have the measure a length measure in terms of length and the class is an instance of class and a physical is an instance of the class, then the length of the physical is the length measure
(=> (and (memberMeasure ?S TransformerCapacity ?Q) (instance ?S Class) (instance ?O ?S)) (transformerCapacity ?O ?Q))	Mid-level-ontology.kif 31620-31625	If members of a class have the measure a function quantity in terms of Transformer Capacity and the class is an instance of class and a transformer is an instance of the class, then the capacity of the transformer is the function quantity
(=> (and (memberMeasure ?S VoltageRatingPrimary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingPrimary ?O ?Q))	Mid-level-ontology.kif 31502-31507	If members of a class have the measure a function quantity in terms of Primary Voltage Rating and the class is an instance of class and a transformer is an instance of the class, then the FunctionQuantity of the transformer is the function quantity
(=> (and (memberMeasure ?S VoltageRatingSecondary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingSecondary ?O ?Q))	Mid-level-ontology.kif 31545-31550	If members of a class have the measure a function quantity in terms of Secondary Voltage Rating and the class is an instance of class and a transformer is an instance of the class, then the FunctionQuantity of the transformer is the function quantity
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (height ?O ?Q))	Mid-level-ontology.kif 31355-31360	If members of a class have the measure a length measure in terms of width and the class is an instance of class and a self connected object is an instance of the class, then the height of the self connected object is the length measure
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (width ?O ?Q))	Mid-level-ontology.kif 31329-31334	If members of a class have the measure a length measure in terms of width and the class is an instance of class and a physical is an instance of the class, then the width of the physical is the length measure
(=> (instance ?CLASS Class) (subclass ?CLASS Entity))	Merge.kif 828-830	If a class is an instance of class, then the 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 145-160	If a collection is an instance of web listing category and a physical is an instance of web listing and another physical is an instance of web listing and a process is an instance of object and another process is an instance of object and the physical is a member of the collection and the other physical is a member of the collection and the physical is a patient of the process and the other physical is a patient of the other process, then there exists a class such that the class is an instance of class and the process is an instance of the class and the other process is an instance of the class
(=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 574-578	If @ROW is disjointly decomposed into @ROW, then if another entity is a member of (@ROW), then the other entity is an instance of class
(=> (exhaustiveDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 558-562	If @ROW is covered by @ROW, then if another entity is a member of (@ROW), then the other entity is an instance of class
(=> (instance ?DESCRIPTIONPAGE ProductDescriptionPage) (exists (?PRODUCT ?ADVERTISEMENT) (and (instance ?PRODUCT Class) (instance ?ADVERTISEMENT Advertising) (patient ?ADVERTISEMENT ?PRODUCT) (part ?ADVERTISEMENT ?DESCRIPTIONPAGE))))	UXExperimentalTerms.kif 2034-2041	If an object is an instance of product description page, then there exist an entity and a process such that the entity is an instance of class and the process is an instance of advertising and the entity is a patient of the process and the process is a part of the object
(=> (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	If an object is an instance of product description page, then there exist an entity, a process,, , another process and the processCONTENT such that the entity is an instance of class and the other process is an instance of stating and the process is a patient of the other process and the process includes a reference to the entity and the processCONTENT is a result of the process and the processCONTENT is a part of the object
(=> (subclass ?X ?Y) (and (instance ?X Class) (instance ?Y Class)))	Merge.kif 137-141	If a class is a subclass of another class, then the class is an instance of class and the other class is an instance of class

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

KB Term:			Term intersection

English Word: