part |
appearance as argument number 1 |
![]() |
(documentation part ChineseLanguage "这是基本的逻辑分体关系。其他所有的逻辑分体关系都是根据它来下 定义的。 (part ?PART ?WHOLE) 的意思就是 Object ?PART 是 Object ?WHOLE 的一部分。 要注意 因为 part 是一个 ReflexiveRelation, 所以每个 Object 都是它自己本身的一部分。") | chinese_format.kif 1570-1572 | |
(documentation part EnglishLanguage "The basic mereological relation. All other mereological relations are defined in terms of this one. (part ?PART ?WHOLE) simply means that the Object ?PART is part of the Object ?WHOLE. Note that, since part is a ReflexiveRelation, every Object is a part of itself.") | Merge.kif 909-913 | |
(domain part 1 Object) | Merge.kif 906-906 | The number 1 argument of part is an instance of object |
(domain part 2 Object) | Merge.kif 907-907 | The number 2 argument of part is an instance of object |
(instance part BinaryPredicate) | Merge.kif 905-905 | part is an instance of binary predicate |
(instance part PartialOrderingRelation) | Merge.kif 904-904 | part is an instance of partial ordering relation |
(instance part SpatialRelation) | Merge.kif 903-903 | part is an instance of spatial relation |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |