side |
appearance as argument number 1 |
![]() |
(documentation side ChineseLanguage "(side ?SIDE ?OBJECT)的意思是 ?SIDE 和 top 或 bottom 相反,是一个物体的旁边。") | chinese_format.kif 2847-2848 | |
(documentation side EnglishLanguage "(side ?SIDE ?OBJECT) means that ?SIDE is a side of the object, as opposed to the top or bottom.") | Merge.kif 9711-9712 | |
(domain side 1 SelfConnectedObject) | Merge.kif 9708-9708 | 边 的 1 数量 是 自身连接物体 的 instance |
(domain side 2 SelfConnectedObject) | Merge.kif 9709-9709 | 边 的 2 数量 是 自身连接物体 的 instance |
(instance side BinaryPredicate) | Merge.kif 9707-9707 | 边 是 二元谓语 的 instance |
(subrelation side superficialPart) | Merge.kif 9706-9706 | 边 是 表面部分 的 subrelation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage side "%1 %n 是 %2 的一 side") | chinese_format.kif 387-387 | |
(format EnglishLanguage side "a side of %2 is %n %1") | english_format.kif 393-393 | |
(termFormat ChineseLanguage side "侧") | domainEnglishFormat.kif 52920-52920 | |
(termFormat ChineseLanguage side "边") | chinese_format.kif 388-388 | |
(termFormat ChineseTraditionalLanguage side "側") | domainEnglishFormat.kif 52919-52919 | |
(termFormat EnglishLanguage side "side") | domainEnglishFormat.kif 52918-52918 |
antecedent |
![]() |
(=> (and (instance ?Isthmus Isthmus) (side ?Leftside ?Isthmus) (side ?Rightside ?Isthmus) (not (equal ?Leftside ?Rightside))) (exists (?Region1 ?Region2 ?Water1 ?Water2) (and (instance ?Region1 LandArea) (instance ?Region2 LandArea) (between ?Region1 ?Isthmus ?Region2) (instance ?Water1 WaterArea) (instance ?Water2 WaterArea) (meetsSpatially ?Leftside ?Water1) (meetsSpatially ?Rightside ?Water2)))) |
Geography.kif 5731-5745 |
|
(=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain)) |
Geography.kif 4098-4102 |
|
(=> (and (instance ?butte Butte) (side ?side ?butte)) (attribute ?side SteepTerrain)) |
Geography.kif 4109-4113 |
|
(=> (and (side ?SIDE ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?SIDE))) (exists (?DIRECT) (orientation ?SIDE ?PART ?DIRECT))) |
Merge.kif 9714-9720 | |
(=> (and (top ?TOP ?O) (side ?S ?O)) (not (equal ?TOP ?S))) |
Merge.kif 9722-9727 |
|
(=> (exists (?SIDE1 ?SIDE2) (and (side ?SIDE1 ?OBJECT) (side ?SIDE2 ?OBJECT) (distance ?SIDE1 ?SIDE2 ?WIDTH))) (width ?OBJECT ?WIDTH)) |
Merge.kif 9737-9743 |
|
consequent |
![]() |
![]() |
![]() |