more pictures...
| Class(类)
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 2046-2054 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png") | pictureList.kif 10650-10650 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png") | pictureList.kif 10649-10649 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png") | pictureList.kif 10652-10652 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") | pictureList.kif 10651-10651 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png") | pictureList.kif 10648-10648 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") | pictureList.kif 10647-10647 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png") | pictureList.kif 9960-9960 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png") | pictureList.kif 10654-10654 | |
| (externalImage Class "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png") | pictureList.kif 10646-10646 |
| appearance as argument number 2 |
|
|
| (range AttrFn Class) | Merge.kif 1680-1680 | Attr 的 range 是 类 的实例 |
| (range ExtensionFn Class) | Merge.kif 1666-1666 | 延伸函数 的 range 是 类 的实例 |
| (range KappaFn Class) | Merge.kif 5292-5292 | 组成类别函数 的 range 是 类 的实例 |
| (subclass BiologicalSpecies Class) | Mid-level-ontology.kif 8859-8859 | 生物物种 是 类 的 subclass |
| (termFormat ChineseLanguage Class "类") | chinese_format.kif 886-886 | |
| (termFormat EnglishLanguage Class "class") | english_format.kif 979-979 |
| appearance as argument number 3 |
|
|
| (domain TTFxFn 1 Class) | UXExperimentalTerms.kif 1694-1694 | TTFxFn 的 1 数量 是 类 的 instance |
| (domain disjointDecomposition 1 Class) | Merge.kif 566-566 | 不相交的分拆 的 1 数量 是 类 的 instance |
| (domain disjointDecomposition 2 Class) | Merge.kif 567-567 | 不相交的分拆 的 2 数量 是 类 的 instance |
| (domain exhaustiveDecomposition 1 Class) | Merge.kif 548-548 | 彻底的分拆 的 1 数量 是 类 的 instance |
| (domain exhaustiveDecomposition 2 Class) | Merge.kif 549-549 | 彻底的分拆 的 2 数量 是 类 的 instance |
| (domain partition 1 Class) | Merge.kif 582-582 | 划分 的 1 数量 是 类 的 instance |
| (domain partition 2 Class) | Merge.kif 583-583 | 划分 的 2 数量 是 类 的 instance |
| (domain total 1 Class) | UXExperimentalTerms.kif 4729-4729 | total 的 1 数量 是 类 的 instance |
| (domain totalFacilityTypeInArea 2 Class) | Transportation.kif 1203-1203 | 区域总设施类型 的 2 数量 是 类 的 instance |
| (partition SetOrClass Set Class) | Merge.kif 2037-2037 | 集或类 详尽无遗地 partition 成 集合 和 类 |
| antecedent |
|
|
| (<=> (instance ?CLASS Class) (subclass ?CLASS Entity)) |
Merge.kif 793-795 | 集或类 是 类 的 instance 若且唯若 那个 集或类 是 实体 的 subclass |
| 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 2238-2245 | |
| (=> (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 2247-2256 |
|
|
|