contains |
appearance as argument number 1 |
![]() |
(disjointRelation contains part) | Merge.kif 946-946 | disjointRelation contains and part |
(documentation contains ChineseLanguage "这是两个可分离物体的空间容量关系。 用于不可分离的物体(如汽 车和它的座位)时,应该用 part 这关系。(contains ?OBJ1 ?OBJ2) 的意思是 SelfConnectedObject ?OBJ1 有一个空间(即一个 Hole),而它 至少由 ?OBJ2 填满了一部分。。") | chinese_format.kif 1584-1586 | |
(documentation contains EnglishLanguage "The relation of spatial containment for two separable objects. When the two objects are not separable (e.g. an automobile and one of its seats), the relation of part should be used. (contains ?OBJ1 ?OBJ2) means that the SelfConnectedObject ?OBJ1 has a space (i.e. a Hole) which is at least partially filled by ?OBJ2.") | Merge.kif 950-954 | |
(domain contains 1 SelfConnectedObject) | Merge.kif 947-947 | domain contains, 1 and SelfConnectedObject |
(domain contains 2 Object) | Merge.kif 948-948 | domain contains, 2 and Object |
(instance contains AsymmetricRelation) | Merge.kif 943-943 | instance contains and AsymmetricRelation |
(instance contains BinaryPredicate) | Merge.kif 945-945 | instance contains and BinaryPredicate |
(instance contains PartialValuedRelation) | Merge.kif 944-944 | instance contains and PartialValuedRelation |
(instance contains SpatialRelation) | Merge.kif 942-942 | instance contains and SpatialRelation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage contains "%1 %n{doesn't} contains %2") | chinese_format.kif 800-800 | |
(format EnglishLanguage contains "%1 %n{doesn't} contain%p{s} %2") | english_format.kif 811-811 | |
(format EnglishLanguage contains "%1 は %2 を contain%p{s} %n{ない}") | english_format.kif 812-812 | |
(termFormat ChineseLanguage contains "包含") | domainEnglishFormat.kif 16930-16930 | |
(termFormat ChineseLanguage contains "容纳") | chinese_format.kif 801-801 | |
(termFormat ChineseTraditionalLanguage contains "包含") | domainEnglishFormat.kif 16929-16929 | |
(termFormat EnglishLanguage contains "contains") | domainEnglishFormat.kif 16928-16928 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |