surface |
appearance as argument number 1 |
![]() |
(documentation surface ChineseLanguage "(surface ?OBJ1 ?OBJ2)的意思是 ?OBJ1 和 ?OBJ2 的 superficialPart 是以最大的程度联系着。注:有些 SelfConnectedObject 有超过一块表面,例如: 一个像网球中空物体,就有内在和外在的表面。") | chinese_format.kif 2838-2840 | |
(documentation surface EnglishLanguage "(surface ?OBJ1 ?OBJ2) means that ?OBJ1 is a maximally connected superficialPart of ?OBJ2. Note that some SelfConnectedObjects have more than one surface, e.g. a hollow object like a tennis ball has both an inner and an outer surface.") | Merge.kif 9582-9585 | |
(domain surface 1 SelfConnectedObject) | Merge.kif 9579-9579 | The number 1 argument of surface is an instance of self connected object |
(domain surface 2 SelfConnectedObject) | Merge.kif 9580-9580 | The number 2 argument of surface is an instance of self connected object |
(instance surface AsymmetricRelation) | Merge.kif 9576-9576 | surface is an instance of asymmetric relation |
(instance surface BinaryPredicate) | Merge.kif 9577-9577 | surface is an instance of binary predicate |
(subrelation surface superficialPart) | Merge.kif 9578-9578 | surface is a subrelation of superficial part |
appearance as argument number 2 |
![]() |
(format ChineseLanguage surface "%1 %n 是 %2 的 surface") | chinese_format.kif 373-373 | |
(format EnglishLanguage surface "%1 is %n a surface of %2") | english_format.kif 374-374 | |
(termFormat ChineseLanguage surface "表面") | chinese_format.kif 374-374 | |
(termFormat ChineseTraditionalLanguage surface "表面") | domainEnglishFormat.kif 56265-56265 | |
(termFormat EnglishLanguage surface "surface") | domainEnglishFormat.kif 56264-56264 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |