Help:基本成员属性
 | 此页简而言之：
|
前言
本页面解释了属性隶属于 （P31）、上级分类 （P279）和所属实体 （P361）之间的区别。
定义
为了理解这些区别，熟悉“实例”和“类”这两个术语至关重要。类是一种抽象概念，用于描述一组事物（或集合），这些事物被称为类的实例。通常，属于同一类的所有实例都共享一组属性，这些属性正是该类的特征。
如果类A的所有实例都必然属于类B，那么我们就说A是B的“子类”。
示例
- 类人类（Q5）包含亚伯拉罕·林肯（Q91）、圣雄甘地（Q1001）、艾萨克·牛顿（Q935）等实例。
- 类灯塔（Q39715）包含Amrum Lighthouse (Q20669)、亚历山大灯塔（Q43244）等实例。
- 类海洋（Q9430）包含大西洋（Q97）、太平洋（Q98）等实例。
- 类选举（Q40231）包含2016年中华民国总统选举（Q20683626）等实例。
实作层面
- 一个数据项既可以是实例，也可以是类。如果一个数据项具有隶属于 （P31）属性，则它是一个实例。如果一个数据项是其他数据项的隶属于 （P31）属性的值（或者它具有上级分类 （P279）属性），则它是一个类。
- 一个类所隐含的完整实例集合可能存在于维基数据中，也可能不存在。
- 通常，一个类的特征在于其所有实例都共享一组属性。这些实例在这些属性的值上有所不同，但并非在拥有这些属性本身这一点上有所不同（尽管维基数据并不强制执行此规则）。
具有共同特征的实例与由该特征定义的类之间，其关联性通过属性 隶属于 （P31）来建立。 当无法对该关系下的实例作进一步的泛化或分类描述时，通常使用 隶属于 （P31）而非上级分类 （P279）。更确切地说，这对应于rdf:type。[1]
例如，大西洋（Q97）和太平洋（Q98）都是海洋（Q9430）的实例。因此，我们在Wikidata上这样写：
- 用于表明某个类的“所有”实例都是另一个类的实例
- 更具体地说，它表示rdfs:subClassOf[2]
- 如果主体类的“任何”实例“不是”值类的实例，则不应使用上级分类 （P279）。部分重合物 （P1382）可用于链接两个重叠的类，其中任何一个都不是另一个的严格子类。
一些例子：
- 人脑（Q492038） 上级分类 （P279） 脑（Q1073）
- 脑（Q1073） 上级分类 （P279） 动物器官（Q24060765）
- 动物器官（Q24060765） 上级分类 （P279） 器官（Q712378）
另一个例子：
- 类湖泊（Q23397）包含贝加尔湖（Q5513）、伊利湖（Q5492）等实例；
- 类海洋（Q9430）包含大西洋（Q97）、太平洋（Q98）实例。
湖泊和海洋并非同一事物，但它们都具有水体的共同特征。因此，我们可以使用类水体（Q15324）来表述：
现在，贝加尔湖（Q5513）、伊利湖（Q5492）、大西洋（Q97）和太平洋（Q98）都将是水体（Q15324）的“传递性”（间接）实例。一般来说，我们“可以”使用更抽象的对象（例如 水体（Q15324））来代替枚举（湖泊（Q23397）和海洋（Q9430）），这两种用法都适用于：1. 我们的陈述和 2. 我们的问题（本帮助页面未涵盖此部分）。
传递性属性
属性上级分类 （P279）是一种传递属性（Q18647515）。这意味着：如果类A是类B的子类，而类B是类C的子类，那么A隐式地也是C的子类。 因此，通常无需在Wikidata中添加显式陈述来表明A是C的子类。
例如，树（Q10884）是木本植物（Q757163）的子类，木本植物（Q757163）是植物（Q756）的子类。因此，树（Q10884）也隐式地是植物（Q756）的子类。
同样，如果项目x是类B的一个实例，并且B是类C的子类，那么x也隐式地是类C的实例。因此，通常无需在Wikidata中添加显式陈述来表明x是类C的实例。
例如，亚历山大灯塔（Q43244）是灯塔（Q39715）的一个实例，灯塔（Q39715）是塔式建筑（Q12518）的一个子类。因此，亚历山大灯塔（Q43244）是塔式建筑（Q12518）的一个实例。
属性隶属于 （P31）不具有传递性。以上述示例为例：安格拉·默克尔（Q567）是政治人物（Q82955）的一个实例，而政治人物（Q82955）是专业（Q28640）的一个实例，但如果说安格拉·默克尔（Q567）是专业（Q28640）的一个实例，那就错了。
基于传递性的推理不考虑限定词，因此隶属于 （P31）和上级分类 （P279）陈述必须在忽略任何限定词的情况下有效；换句话说，这些陈述不应包含任何 限制性修饰符（Q61719275），或任何具有限制性用途的限定词。例如，如果A通常是B的子类，但并非总是如此，那么断言A是B的子类并附加限定词声明状态 （P5102） = 经常（Q28962312）是无效的，因为这会导致错误的推论。
数据项不能是另一个非类的实例，但它可以是另一个非类的一部分。例如，阿尔伯特·爱因斯坦的大脑（Q2464312）是阿尔伯特·爱因斯坦（Q937）的一部分。在Wikidata中，我们使用所属实体 （P361）来表示这种关系。
类还可以是另一个类的一部分。例如，
此处使用隶属于 （P31）而非所属实体 （P361）是错误的，因为人脑（Q492038）并非人物。使用上级分类 （P279）也是错误的，因为人脑（Q492038）的实例（例如 阿尔伯特·爱因斯坦的大脑（Q2464312））并非智人（Q15978631）类的实例。
与上级分类 （P279）一样，所属实体 （P361）也具有传递性。
所属实体 （P361）">
所属实体 （P361）的逆关系
- 包含 （P527） - 表示某个实例包含另一个实例作为其组成部分，或者某个类的实例包含另一个类的实例作为其组成部分
- 拥有此类别的一部分 （P2670） - 用于表示某个实例（而非类）包含另一个类的实例作为其组成部分。如果父项既是实例又是类，则不应使用拥有此类别的一部分 （P2670）。
例如，
- 希腊字母（Q8216） 包含 （P527） Α（Q9887） （实例-实例）
- 全音素文字（Q9779） 包含 （P527） 字母（Q9788） (类-类)
- 希腊字母（Q8216） 拥有此类别的一部分 （P2670） 希腊语字母（Q19793459） （实例-类）
在第一个例子中，使用包含 （P527）是因为希腊字母（Q8216）包含Α（Q9887）作为其一部分。在第二个例子中也使用了包含 （P527），因为全音素文字（Q9779）的实例包含字母（Q9788）的实例作为其组成部分。在最后一个例子中，我们选择拥有此类别的一部分 （P2670），因为希腊字母（Q8216）包含一个或多个希腊语字母（Q19793459）的实例作为其组成部分。
示例
隶属于 （P31）_vs._上级分类 （P279）_vs._所属实体 （P361）">
| 属性 | X | Y | 它代表什么 | 例子 | 说明 | 为什么不使用…… |
|---|---|---|---|---|---|---|
| 实例 | 类 |
|
<尼米兹号航空母舰> 隶属于 <超级航空母舰> | <尼米兹号>是一艘具体的航空母舰，而<超级航母>是一个航空母舰级别，包含许多实例（即多艘航空母舰） |
| |
| <中华人民共和国> 隶属于 <主权国家> | <主权国家>是根据某些特性定义的一个概念，<中国>是一个符合这些特性的具体对象 |
| ||||
| <太阳> 隶属于 <G型主序星> | <太阳>是一颗特定的恒星，具有G型主序星的光谱特征，因此它是这类恒星的一个实例 | * 上级分类未使用，因为太阳不是一个类，而是一个单独的天体
| ||||
| <造帽师> 隶属于 <专业> | <造帽师>是一个职业的特定例子 |
| ||||
| <道格拉斯·亚当斯> 隶属于 <人类> | <道格拉斯·亚当斯>是一个具体的人（这是“隶属于”最常见的用法之一） | * 上级分类未使用，因为<道格拉斯·亚当斯>不是一个人的类别，而是一个单独的个体（实例）
| ||||
| 类 | 类 |
|
<超级航空母舰> 上级分类 <航空母舰> | <超级航空母舰>和<航空母舰>均是类且后者包含前者 |
| |
| <主权国家> 上级分类 <国家> | 它们都是类，前者拥有后者的所有特性以及一些额外的特性，因此前者是后者的子类 |
| ||||
| <G-type star> 上级分类 <恒星> | 每个G型星（ |
* 隶属于未使用，因为
| ||||
| 实例 | 实例 |
|
<尼米兹号航空母舰> 所属实体 <第11航空母舰打击群> | <尼米兹号>是一艘具体的航空母舰，<第11航母打击群>是一个具体的航母打击群，<尼米兹号>是<第11航母打击群>的组成部分之一（也是其旗舰）。 |
| |
| <中华人民共和国> 所属实体 <亚洲> | <中国>和<亚洲>都是特定的地理特征，<中国>是<亚洲>大陆的一部分 |
| ||||
| <太阳> 所属实体 <太阳系> | 它们都是独立的天体；太阳系由太阳、行星以及太阳附近的其它天体组成 | * 隶属于未使用，因为后者是一个具体的天体，而非通用概念
| ||||
| 类 | 类 | 类X的一个实例是类Y的一个实例的一部分 | <飞行甲板> 所属实体 <航空母舰> | 每艘航空母舰（<航空母舰>的实例）都有自己的飞行甲板（<飞行甲板>的实例） |
| |
| <成员国> 所属实体 <国际组织> | <成员国>的一个实例是<国际组织>的一个实例的组成部分 |
| ||||
| <恒星> 所属实体 <星系> | 一颗恒星通常诞生并存在于一个星系中，而一个星系由许多恒星和其他天体组成 |
| ||||
| ||||||
包含 （P527）_vs._拥有此类别的一部分 （P2670）">
下表解释了包含 （P527）和拥有此类别的一部分 （P2670）之间的区别。
包含 （P527）应用于类与类之间以及实例与实例之间的关系。
拥有此类别的一部分 （P2670）应用于实例与类之间关系。 如果您在某个数据项上看到违反约束的情况，并且该项目包含 拥有此类别的一部分 （P2670）...
- 如果该项目是一个类并且具有属性上级分类 （P279），则即使它也具有属性隶属于 （P31），也应该使用包含 （P527）而不是拥有此类别的一部分 （P2670）。
- 该项可能被错误地归类为类，而实际上它应该是一个实例。请移除上级分类 （P279）属性，并确保它具有正确的隶属于 （P31）属性。
| 属性 | X | Y | 它代表什么 | 例子 | 解释 | 为什么不使用…… |
|---|---|---|---|---|---|---|
| 实例 | 实例 | 实例X包含实例Y作为其组成部分或组件 | <美国国会> 包含 <美国参议院> | 美国国会由两部分组成：众议院和参议院 | * 拥有此类别的一部分未被使用，因为<美国国会>和<美国参议院>是具体实体 | |
| <太阳系> 包含 <火星> | <火星>是<太阳系>中的一颗行星 | * 拥有此类别的一部分未被使用，因为<太阳系>和<火星>是具体实体 | ||||
| 类 | 类 | X的一个实例在其组成部分或组件中包含Y的一个实例 | <身体> 包含 <头部> | 一般来说，<身体>（解剖学特征）的组成部分之一是<头部> | * 拥有此类别的一部分未被使用，因为<身体>和<头部>都是类 | |
| <星系> 包含 <恒星> | <星系>以<恒星>作为其组成部分之一 | * 拥有此类别的一部分未被使用，因为<星系>和<恒星>都是类 | ||||
| 实例 | 类 | 特定项目X的组成部分或组件中包含一些属于类Y的实例。 | <剑桥大学> 拥有此类别的一部分 <剑桥大学学院列表> | <剑桥大学>由多个学院组成 | * 包含未被使用，因为<剑桥大学>本身并不包含<剑桥大学学院>这一类，而是包含多个学院作为其组成部分 | |
| <太阳系> 拥有此类别的一部分 <内行星> | 我们的<太阳系>包含一个或多个<内行星> | * 包含未被使用，因为<太阳系>不包含<内行星>这一类作为其组成部分，而是包含行星作为其组成部分 | ||||
| <阿尔伯特·爱因斯坦> 拥有此类别的一部分 <人脑> | <阿尔伯特·爱因斯坦>拥有<人脑>这一组成部分 | * 包含未被使用，因为<人脑>是一个类，而不是一个实例，即使他只有一个大脑也是如此 |
查询
Wikidata查询可用于查找给定类的成员，例如[1]；还有一个Wikidata查询构建器来提供帮助。
导航框
| ||||||||||||||||||||||||||||||
参见
参考文献
- ↑ https://www.w3.org/TR/rdf-schema/#ch_type
- ↑ 引用错误：
标签无效；未给name（名称）为"subclassof"的ref（参考）提供文本
外部链接
- 多层次概念建模：理论与应用——在多层次概念建模的理论框架下解释了属性隶属于 （P31）和上级分类 （P279）之间的区别。请直接跳转到第四部分查看与Wikidata相关的内容。
- 集合与个体 — 解释了属性隶属于 （P31）和上级分类 （P279）之间的区别（在Cyc（Q1147294）知识库的上下文中）