more pictures...
| Class(Kategorie)
more pictures... | |
| 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 2134-2142 | |
| (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 10627-10627 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png") | pictureList.kif 10626-10626 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary_gametree_solved.png") | pictureList.kif 10629-10629 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") | pictureList.kif 10628-10628 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png") | pictureList.kif 10625-10625 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") | pictureList.kif 10624-10624 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png") | pictureList.kif 9941-9941 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png") | pictureList.kif 10631-10631 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png") | pictureList.kif 10623-10623 | |
| (subclass Class SetOrClass) | Merge.kif 2132-2132 | Kategorie ist eine teilkategorie von Menge oder Kategorie |
| appearance as argument number 2 |
|
|
| (range ExtensionFn Class) | Merge.kif 1757-1757 | bildbereich von ExtensionFn ist ein fall von Kategorie {nicht} |
| (range KappaFn Class) | Merge.kif 5594-5594 | bildbereich von KappaFn ist ein fall von Kategorie {nicht} |
| (range WeekBeforeMenstruationFn Class) | Medicine.kif 1509-1509 | bildbereich von WeekBeforeMenstruationFn ist ein fall von Kategorie {nicht} |
| (termFormat ChineseLanguage Class "类") | chinese_format.kif 886-886 | bildbereich von WeekBeforeMenstruationFn ist ein fall von Kategorie {nicht} |
| (termFormat EnglishLanguage Class "class") | english_format.kif 974-974 | bildbereich von WeekBeforeMenstruationFn ist ein fall von Kategorie {nicht} |
| (termFormat FrenchLanguage Class "classe") | french_format.kif 562-562 | bildbereich von WeekBeforeMenstruationFn ist ein fall von Kategorie {nicht} |
| (termFormat Hindi Class "varga") | terms-hindi.txt 92-92 | bildbereich von WeekBeforeMenstruationFn ist ein fall von Kategorie {nicht} |
| (termFormat ItalianLanguage Class "Classe") | terms-it.txt 95-95 | bildbereich von WeekBeforeMenstruationFn ist ein fall von Kategorie {nicht} |
| (termFormat JapaneseLanguage Class "クラス") | japanese_format.kif 2247-2247 | bildbereich von WeekBeforeMenstruationFn ist ein fall von Kategorie {nicht} |
| (termFormat PortugueseLanguage Class "Classe") | portuguese_format.kif 514-514 | bildbereich von WeekBeforeMenstruationFn ist ein fall von Kategorie {nicht} |
| (termFormat cb Class "ambung") | terms-cb.txt 97-97 | bildbereich von WeekBeforeMenstruationFn ist ein fall von Kategorie {nicht} |
| (termFormat cz Class "class") | terms-cz.txt 129-129 | bildbereich von WeekBeforeMenstruationFn ist ein fall von Kategorie {nicht} |
| (termFormat de Class "Kategorie") | terms-de.txt 388-388 | bildbereich von WeekBeforeMenstruationFn ist ein fall von Kategorie {nicht} |
| (termFormat ro Class "clasã") | relations-ro.kif 583-583 | bildbereich von WeekBeforeMenstruationFn ist ein fall von Kategorie {nicht} |
| (termFormat tg Class "klase") | terms-tg.txt 96-96 | bildbereich von WeekBeforeMenstruationFn ist ein fall von Kategorie {nicht} |
| appearance as argument number 3 |
|
|
| (domain TTFxFn 1 Class) | UXExperimentalTerms.kif 1490-1490 | Die Zahl 1 Argument von TTFxFn ist ein fall von Kategorie %n{nicht} |
| (domain closedOn 2 Class) | Merge.kif 3575-3575 | Die Zahl 2 Argument von aufgeschlossen ist ein fall von Kategorie %n{nicht} |
| (domain disjoint 1 Class) | Merge.kif 388-388 | Die Zahl 1 Argument von disjunkt ist ein fall von Kategorie %n{nicht} |
| (domain disjoint 2 Class) | Merge.kif 389-389 | Die Zahl 2 Argument von disjunkt ist ein fall von Kategorie %n{nicht} |
| (domain disjointDecomposition 1 Class) | Merge.kif 559-559 | Die Zahl 1 Argument von disjunkteAufspaltung ist ein fall von Kategorie %n{nicht} |
| (domain disjointDecomposition 2 Class) | Merge.kif 560-560 | Die Zahl 2 Argument von disjunkteAufspaltung ist ein fall von Kategorie %n{nicht} |
| (domain domain 3 Class) | Merge.kif 204-204 | Die Zahl 3 Argument von definitionsbereich ist ein fall von Kategorie %n{nicht} |
| (domain domainSubclass 3 Class) | Merge.kif 226-226 | Die Zahl 3 Argument von definitionsbereichteilkategorie ist ein fall von Kategorie %n{nicht} |
| (domain equivalenceRelationOn 2 Class) | Merge.kif 3706-3706 | Die Zahl 2 Argument von aequivalenzrelationMit ist ein fall von Kategorie %n{nicht} |
| (domain exhaustiveDecomposition 1 Class) | Merge.kif 541-541 | Die Zahl 1 Argument von vollstaendigeAufspaltung ist ein fall von Kategorie %n{nicht} |
| (domain exhaustiveDecomposition 2 Class) | Merge.kif 542-542 | Die Zahl 2 Argument von vollstaendigeAufspaltung ist ein fall von Kategorie %n{nicht} |
| (domain immediateInstance 2 Class) | Merge.kif 91-91 | Die Zahl 2 Argument von direkterFall ist ein fall von Kategorie %n{nicht} |
| (domain immediateSubclass 1 Class) | Merge.kif 147-147 | Die Zahl 1 Argument von direckteTeilkategorie ist ein fall von Kategorie %n{nicht} |
| (domain immediateSubclass 2 Class) | Merge.kif 148-148 | Die Zahl 2 Argument von direckteTeilkategorie ist ein fall von Kategorie %n{nicht} |
| (domain instance 2 Class) | Merge.kif 82-82 | Die Zahl 2 Argument von fall ist ein fall von Kategorie %n{nicht} |
| (domain memberMeasure 1 Class) | Mid-level-ontology.kif 32945-32945 | Die Zahl 1 Argument von memberMeasure ist ein fall von Kategorie %n{nicht} |
| (domain memberType 2 Class) | Mid-level-ontology.kif 24293-24293 | Die Zahl 2 Argument von memberType ist ein fall von Kategorie %n{nicht} |
| (domain memberTypeCount 2 Class) | Mid-level-ontology.kif 24307-24307 | Die Zahl 2 Argument von memberTypeCount ist ein fall von Kategorie %n{nicht} |
| (domain partialOrderingOn 2 Class) | Merge.kif 3643-3643 | Die Zahl 2 Argument von teilweiseEinrichtung ist ein fall von Kategorie %n{nicht} |
| (domain partition 1 Class) | Merge.kif 575-575 | Die Zahl 1 Argument von fach ist ein fall von Kategorie %n{nicht} |
| (domain partition 2 Class) | Merge.kif 576-576 | Die Zahl 2 Argument von fach ist ein fall von Kategorie %n{nicht} |
| (domain range 2 Class) | Merge.kif 301-301 | Die Zahl 2 Argument von range ist ein fall von Kategorie %n{nicht} |
| (domain reflexiveOn 2 Class) | Merge.kif 3604-3604 | Die Zahl 2 Argument von reflexivAuf ist ein fall von Kategorie %n{nicht} |
| (domain subclass 1 Class) | Merge.kif 131-131 | Die Zahl 1 Argument von teilkategorie ist ein fall von Kategorie %n{nicht} |
| (domain subclass 2 Class) | Merge.kif 132-132 | Die Zahl 2 Argument von teilkategorie ist ein fall von Kategorie %n{nicht} |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| 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 |
|
| (=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class))) |
Merge.kif 567-571 |
|
| (=> (exhaustiveDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class))) |
Merge.kif 551-555 |
|
| (=> (instance ?DESCRIPTIONPAGE ProductDescriptionPage) (exists (?PRODUCT ?ADVERTISEMENT) (and (instance ?PRODUCT Class) (instance ?ADVERTISEMENT Advertising) (patient ?ADVERTISEMENT ?PRODUCT) (part ?ADVERTISEMENT ?DESCRIPTIONPAGE)))) |
UXExperimentalTerms.kif 2034-2041 |
|
| (=> (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 |
|
|
|
|