|
|
   Organization
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint Organization Human) | Media.kif 35-35 | Organizacao e' disjunto de Humano |
| (documentation Organization ChineseLanguage "一个 Organization 是一家公司或者是类似的机构。 Organization 的 member 通常有着共同的一向和功能。注：这个类别也包括组织的分支和部门等等。例如： 壳牌石油公司和壳牌的会计部都是 Organization 的实例。也有注意：一家 Organization 的成立需要起码存在 一位 member(因为 Organization 是 Collection 的子类别)因此，对于纯粹法律上的组织，我们应该假设 以一个虚拟的 member。") | chinese_format.kif 3720-3724 | |
| (documentation Organization EnglishLanguage "An Organization is a corporate or similar institution. The members of an Organization typically have a common purpose or function. Note that this class also covers divisions, departments, etc. of organizations. For example, both the Shell Oil Corporation and the accounting department at Shell would both be instances of Organization. Note too that the existence of an Organization is dependent on the existence of at least one member (since Organization is a subclass of Collection). Accordingly, in cases of purely legal organizations, a fictitious member should be assumed.") | Merge.kif 16634-16643 | |
| (subclass Organization AutonomousAgent) | Merge.kif 16632-16632 | Organizacao e' uma sub-classe de AutonomousAgent |
| (subclass Organization Group) | Merge.kif 16626-16626 | Organizacao e' uma sub-classe de Grupo |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| consequent |
|
|
|
|
|