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 ist eine teilkategorie von SetOrClass

appearance as argument number 2

(range ExtensionFn Class)	Merge.kif 1762-1762	bildbereich von ExtensionFn ist ein fall von Class {nicht}
(range KappaFn Class)	Merge.kif 5584-5584	bildbereich von KappaFn ist ein fall von Class {nicht}
(range WeekBeforeMenstruationFn Class)	Medicine.kif 1516-1516	bildbereich von WeekBeforeMenstruationFn ist ein fall von Class {nicht}
(termFormat ChineseLanguage Class "类")	chinese_format.kif 886-886
(termFormat EnglishLanguage Class "class")	english_format.kif 974-974
(termFormat FrenchLanguage Class "classe")	french_format.kif 562-562
(termFormat Hindi Class "varga")	terms-hindi.txt 92-92
(termFormat ItalianLanguage Class "Classe")	terms-it.txt 95-95
(termFormat JapaneseLanguage Class "クラス")	japanese_format.kif 2247-2247
(termFormat PortugueseLanguage Class "Classe")	portuguese_format.kif 514-514
(termFormat cb Class "ambung")	terms-cb.txt 97-97
(termFormat cz Class "class")	terms-cz.txt 129-129
(termFormat ro Class "clasã")	relations-ro.kif 583-583
(termFormat tg Class "klase")	terms-tg.txt 96-96

appearance as argument number 3

(domain TTFxFn 1 Class)	UXExperimentalTerms.kif 1490-1490	Die Zahl 1 Argument von TTFxFn ist ein fall von Class %n{nicht}
(domain closedOn 2 Class)	Merge.kif 3575-3575	Die Zahl 2 Argument von aufgeschlossen ist ein fall von Class %n{nicht}
(domain disjoint 1 Class)	Merge.kif 395-395	Die Zahl 1 Argument von disjunkt ist ein fall von Class %n{nicht}
(domain disjoint 2 Class)	Merge.kif 396-396	Die Zahl 2 Argument von disjunkt ist ein fall von Class %n{nicht}
(domain disjointDecomposition 1 Class)	Merge.kif 566-566	Die Zahl 1 Argument von disjunkteAufspaltung ist ein fall von Class %n{nicht}
(domain disjointDecomposition 2 Class)	Merge.kif 567-567	Die Zahl 2 Argument von disjunkteAufspaltung ist ein fall von Class %n{nicht}
(domain domain 3 Class)	Merge.kif 210-210	Die Zahl 3 Argument von definitionsbereich ist ein fall von Class %n{nicht}
(domain domainSubclass 3 Class)	Merge.kif 232-232	Die Zahl 3 Argument von definitionsbereichteilkategorie ist ein fall von Class %n{nicht}
(domain equivalenceRelationOn 2 Class)	Merge.kif 3706-3706	Die Zahl 2 Argument von aequivalenzrelationMit ist ein fall von Class %n{nicht}
(domain exhaustiveDecomposition 1 Class)	Merge.kif 548-548	Die Zahl 1 Argument von exhaustiveDecomposition ist ein fall von Class %n{nicht}
(domain exhaustiveDecomposition 2 Class)	Merge.kif 549-549	Die Zahl 2 Argument von exhaustiveDecomposition ist ein fall von Class %n{nicht}
(domain immediateInstance 2 Class)	Merge.kif 91-91	Die Zahl 2 Argument von immediateInstance ist ein fall von Class %n{nicht}
(domain immediateSubclass 1 Class)	Merge.kif 153-153	Die Zahl 1 Argument von immediateSubclass ist ein fall von Class %n{nicht}
(domain immediateSubclass 2 Class)	Merge.kif 154-154	Die Zahl 2 Argument von immediateSubclass ist ein fall von Class %n{nicht}
(domain instance 2 Class)	Merge.kif 82-82	Die Zahl 2 Argument von instance ist ein fall von Class %n{nicht}
(domain memberMeasure 1 Class)	Mid-level-ontology.kif 31007-31007	Die Zahl 1 Argument von memberMeasure ist ein fall von Class %n{nicht}
(domain memberType 2 Class)	Mid-level-ontology.kif 22650-22650	Die Zahl 2 Argument von memberType ist ein fall von Class %n{nicht}
(domain memberTypeCount 2 Class)	Mid-level-ontology.kif 22664-22664	Die Zahl 2 Argument von memberTypeCount ist ein fall von Class %n{nicht}
(domain partialOrderingOn 2 Class)	Merge.kif 3643-3643	Die Zahl 2 Argument von teilweiseEinrichtung ist ein fall von Class %n{nicht}
(domain partition 1 Class)	Merge.kif 582-582	Die Zahl 1 Argument von partition ist ein fall von Class %n{nicht}
(domain partition 2 Class)	Merge.kif 583-583	Die Zahl 2 Argument von partition ist ein fall von Class %n{nicht}
(domain range 2 Class)	Merge.kif 307-307	Die Zahl 2 Argument von range ist ein fall von Class %n{nicht}
(domain reflexiveOn 2 Class)	Merge.kif 3604-3604	Die Zahl 2 Argument von reflexivAuf ist ein fall von Class %n{nicht}
(domain subclass 1 Class)	Merge.kif 131-131	Die Zahl 1 Argument von subclass ist ein fall von Class %n{nicht}
(domain subclass 2 Class)	Merge.kif 132-132	Die Zahl 2 Argument von subclass ist ein fall von Class %n{nicht}

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 31018-31023	Wenn memberMeasure Class, MeasurementAttribute and Quantity und Class ist ein fall von Class %n{nicht} und Entity ist ein fall von Class %n{nicht}, dann ** Entity ist ein fall von Artifact %n{nicht}
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (measure ?O ?Q))	Mid-level-ontology.kif 31025-31030	Wenn memberMeasure Class, MeasurementAttribute and PhysicalQuantity und Class ist ein fall von Class %n{nicht} und Physical ist ein fall von Class %n{nicht}, dann das mass von Physical ist PhysicalQuantity %n{nicht}
(=> (and (memberMeasure ?S ApproximateDiameter ?Q) (instance ?S Class) (instance ?O ?S)) (approximateDiameter ?O ?Q))	Mid-level-ontology.kif 31186-31191	Wenn memberMeasure Class, ApproximateDiameter and LengthMeasure und Class ist ein fall von Class %n{nicht} und SelfConnectedObject ist ein fall von Class %n{nicht}, dann approximateDiameter SelfConnectedObject and LengthMeasure
(=> (and (memberMeasure ?S Area ?Q) (instance ?S Class) (instance ?O ?S)) (totalArea ?O ?Q))	Mid-level-ontology.kif 31215-31220	Wenn memberMeasure Class, Area and AreaMeasure und Class ist ein fall von Class %n{nicht} und Region ist ein fall von Class %n{nicht}, dann totalArea Region and AreaMeasure
(=> (and (memberMeasure ?S Circumfrence ?Q) (instance ?S Class) (instance ?O ?S)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 31119-31124	Wenn memberMeasure Class, Circumfrence and LengthMeasure und Class ist ein fall von Class %n{nicht} und Circle ist ein fall von Class %n{nicht}, dann circumfrence Circle and LengthMeasure
(=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 31164-31169	Wenn memberMeasure Class, Diameter and LengthMeasure und Class ist ein fall von Class %n{nicht} und Circle ist ein fall von Class %n{nicht}, dann der durchmesser von Circle ist LengthMeasure %n{nicht}
(=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q))	Mid-level-ontology.kif 31325-31332	Wenn memberMeasure Class, Frequency and TimeDuration und Class ist ein fall von Class %n{nicht} und AutonomousAgent ist ein fall von Class %n{nicht} und Process ist ein fall von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann Process gescheit alle ** TimeDuration
(=> (and (memberMeasure ?S Length ?Q) (instance ?S Class) (instance ?O ?S)) (length ?O ?Q))	Mid-level-ontology.kif 31053-31058	Wenn memberMeasure Class, Length and LengthMeasure und Class ist ein fall von Class %n{nicht} und Physical ist ein fall von Class %n{nicht}, dann die laenge von Physical ist LengthMeasure %n{nicht}
(=> (and (memberMeasure ?S TransformerCapacity ?Q) (instance ?S Class) (instance ?O ?S)) (transformerCapacity ?O ?Q))	Mid-level-ontology.kif 31355-31360	Wenn memberMeasure Class, TransformerCapacity and FunctionQuantity und Class ist ein fall von Class %n{nicht} und ElectricalTransformer ist ein fall von Class %n{nicht}, dann transformerCapacity ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S VoltageRatingPrimary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingPrimary ?O ?Q))	Mid-level-ontology.kif 31237-31242	Wenn memberMeasure Class, VoltageRatingPrimary and FunctionQuantity und Class ist ein fall von Class %n{nicht} und ElectricalTransformer ist ein fall von Class %n{nicht}, dann voltageRatingPrimary ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S VoltageRatingSecondary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingSecondary ?O ?Q))	Mid-level-ontology.kif 31280-31285	Wenn memberMeasure Class, VoltageRatingSecondary and FunctionQuantity und Class ist ein fall von Class %n{nicht} und ElectricalTransformer ist ein fall von Class %n{nicht}, dann voltageRatingSecondary ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (height ?O ?Q))	Mid-level-ontology.kif 31098-31103	Wenn memberMeasure Class, Width and LengthMeasure und Class ist ein fall von Class %n{nicht} und SelfConnectedObject ist ein fall von Class %n{nicht}, dann die hoehe von SelfConnectedObject ist LengthMeasure %n{nicht}
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (width ?O ?Q))	Mid-level-ontology.kif 31072-31077	Wenn memberMeasure Class, Width and LengthMeasure und Class ist ein fall von Class %n{nicht} und Physical ist ein fall von Class %n{nicht}, dann die breite von Physical ist LengthMeasure %n{nicht}
(=> (instance ?CLASS Class) (subclass ?CLASS Entity))	Merge.kif 828-830	Wenn Class ist ein fall von Class %n{nicht}, dann ** Class ist eine teilkategorie von 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	Wenn Collection ist ein fall von WebListingCategory %n{nicht} und Physical ist ein fall von WebListing %n{nicht} und Physical ist ein fall von WebListing %n{nicht} und Process ist ein fall von Object %n{nicht} und Process ist ein fall von Object %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein patient von Process %n{nicht} und Physical ist ein patient von Process %n{nicht}, dann es gibt Class um Class ist ein fall von Class %n{nicht} und Process ist ein fall von Class %n{nicht} und Process ist ein fall von ** Class %n{nicht}
(=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 574-578	Wenn @ROW wird zusammenhanglos auf @ROW disjunkt, dann wenn Entity ist ein Mitglied von (@ROW), dann ** Entity ist ein fall von Class %n{nicht}
(=> (exhaustiveDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 558-562	Wenn @ROW wird mit @ROW behandelt, dann wenn Entity ist ein Mitglied von (@ROW), dann ** Entity ist ein fall von Class %n{nicht}
(=> (instance ?DESCRIPTIONPAGE ProductDescriptionPage) (exists (?PRODUCT ?ADVERTISEMENT) (and (instance ?PRODUCT Class) (instance ?ADVERTISEMENT Advertising) (patient ?ADVERTISEMENT ?PRODUCT) (part ?ADVERTISEMENT ?DESCRIPTIONPAGE))))	UXExperimentalTerms.kif 2034-2041	Wenn Object ist ein fall von ProductDescriptionPage %n{nicht}, dann es gibt Entity und Process um Entity ist ein fall von Class %n{nicht} und Process ist ein fall von Advertising %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein teil von Object %n{nicht}
(=> (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	Wenn Object ist ein fall von ProductDescriptionPage %n{nicht}, dann es gibt Entity, Process,, , Process, and und ProcessCONTENT um Entity ist ein fall von Class %n{nicht} und Process ist ein fall von Stating %n{nicht} und Process ist ein patient von Process %n{nicht} und Process umfasst einen hinweis auf Entity und ProcessCONTENT ist ein resultat von Process %n{nicht} und ProcessCONTENT ist ein teil von Object %n{nicht}
(=> (subclass ?X ?Y) (and (instance ?X Class) (instance ?Y Class)))	Merge.kif 137-141	Wenn Class ist eine teilkategorie von Class, dann Class ist ein fall von Class %n{nicht} und Class ist ein fall von Class %n{nicht}

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: