more pictures...
| Class(classe)
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 2125-2133 | |
| (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 10632-10632 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png") | pictureList.kif 10631-10631 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png") | pictureList.kif 10634-10634 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") | pictureList.kif 10633-10633 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png") | pictureList.kif 10630-10630 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") | pictureList.kif 10629-10629 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png") | pictureList.kif 9943-9943 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png") | pictureList.kif 10636-10636 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png") | pictureList.kif 10628-10628 | |
| (subclass Class SetOrClass) | Merge.kif 2123-2123 | Classe est une sous-classe de ensemble ou classe |
| appearance as argument number 2 |
|
|
| (range ExtensionFn Class) | Merge.kif 1749-1749 | Le domaine de ExtensionFn est une instance de classe |
| (range KappaFn Class) | Merge.kif 5570-5570 | Le domaine de KappaFn est une instance de classe |
| (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 93-93 | |
| (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 1696-1696 | Le nombre 1 argument de TTFxFn est une instance de classe |
| (domain closedOn 2 Class) | Merge.kif 3562-3562 | Le nombre 2 argument de closedOn est une instance de classe |
| (domain disjoint 1 Class) | Merge.kif 395-395 | Le nombre 1 argument de disjoint est une instance de classe |
| (domain disjoint 2 Class) | Merge.kif 396-396 | Le nombre 2 argument de disjoint est une instance de classe |
| (domain disjointDecomposition 1 Class) | Merge.kif 566-566 | Le nombre 1 argument de disjointDecomposition est une instance de classe |
| (domain disjointDecomposition 2 Class) | Merge.kif 567-567 | Le nombre 2 argument de disjointDecomposition est une instance de classe |
| (domain domain 3 Class) | Merge.kif 210-210 | Le nombre 3 argument de domain est une instance de classe |
| (domain domainSubclass 3 Class) | Merge.kif 232-232 | Le nombre 3 argument de domainSubclass est une instance de classe |
| (domain equivalenceRelationOn 2 Class) | Merge.kif 3693-3693 | Le nombre 2 argument de equivalenceRelationOn est une instance de classe |
| (domain exhaustiveDecomposition 1 Class) | Merge.kif 548-548 | Le nombre 1 argument de exhaustiveDecomposition est une instance de classe |
| (domain exhaustiveDecomposition 2 Class) | Merge.kif 549-549 | Le nombre 2 argument de exhaustiveDecomposition est une instance de classe |
| (domain immediateInstance 2 Class) | Merge.kif 91-91 | Le nombre 2 argument de immediateInstance est une instance de classe |
| (domain immediateSubclass 1 Class) | Merge.kif 153-153 | Le nombre 1 argument de immediateSubclass est une instance de classe |
| (domain immediateSubclass 2 Class) | Merge.kif 154-154 | Le nombre 2 argument de immediateSubclass est une instance de classe |
| (domain instance 2 Class) | Merge.kif 82-82 | Le nombre 2 argument de instance est une instance de classe |
| (domain partialOrderingOn 2 Class) | Merge.kif 3630-3630 | Le nombre 2 argument de partialOrderingOn est une instance de classe |
| (domain partition 1 Class) | Merge.kif 582-582 | Le nombre 1 argument de partition est une instance de classe |
| (domain partition 2 Class) | Merge.kif 583-583 | Le nombre 2 argument de partition est une instance de classe |
| (domain range 2 Class) | Merge.kif 307-307 | Le nombre 2 argument de range est une instance de classe |
| (domain reflexiveOn 2 Class) | Merge.kif 3591-3591 | Le nombre 2 argument de reflexiveOn est une instance de classe |
| (domain subclass 1 Class) | Merge.kif 131-131 | Le nombre 1 argument de subclass est une instance de classe |
| (domain subclass 2 Class) | Merge.kif 132-132 | Le nombre 2 argument de subclass est une instance de classe |
| (domain successorClass 1 Class) | Merge.kif 8997-8997 | Le nombre 1 argument de successorClass est une instance de classe |
| (domain successorClass 2 Class) | Merge.kif 8998-8998 | Le nombre 2 argument de successorClass est une instance de classe |
| (domain total 1 Class) | UXExperimentalTerms.kif 4736-4736 | Le nombre 1 argument de total est une instance de classe |
| 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 182-197 |
|
| (=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class))) |
Merge.kif 574-578 | |
| (=> (exhaustiveDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class))) |
Merge.kif 558-562 | |
| (=> (instance ?DESCRIPTIONPAGE ProductDescriptionPage) (exists (?PRODUCT ?ADVERTISEMENT) (and (instance ?PRODUCT Class) (instance ?ADVERTISEMENT Advertising) (patient ?ADVERTISEMENT ?PRODUCT) (part ?ADVERTISEMENT ?DESCRIPTIONPAGE)))) |
UXExperimentalTerms.kif 2240-2247 | |
| (=> (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 2249-2258 |
|
| (=> (subclass ?X ?Y) (and (instance ?X Class) (instance ?Y Class))) |
Merge.kif 137-141 |
|
|
|