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 9742-9743 | |
(documentation side JapaneseLanguage "(side ?SIDE ?OBJECT) とは、?SIDE が top または %bottom ではなくオブジェクトの側であることを意味する。") | japanese_format.kif 1591-1592 | |
(domain side 1 SelfConnectedObject) | Merge.kif 9739-9739 | 边 的 1 数量 是 自身连接物体 的 instance |
(domain side 2 SelfConnectedObject) | Merge.kif 9740-9740 | 边 的 2 数量 是 自身连接物体 的 instance |
(instance side BinaryPredicate) | Merge.kif 9738-9738 | 边 是 二元谓语 的 instance |
(subrelation side superficialPart) | Merge.kif 9737-9737 | 边 是 表面部分 的 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 | |
(format FrenchLanguage side "le cot� de %2 est %n %1") | french_format.kif 222-222 | |
(format ItalianLanguage side "un lato di %2 è %1") | relations-it.txt 262-262 | |
(format JapaneseLanguage side "%2 の side は %1 では %n ") | japanese_format.kif 2028-2028 | |
(format PortugueseLanguage side "o side de %2 e' %n %1") | portuguese_format.kif 174-174 | |
(format de side "eine seite von %2 ist %1") | relations-de.txt 519-519 | |
(format hi side "%2 kaa paarshva %1 hai") | relations-hindi.txt 299-299 | |
(format ro side "o side%t{faþã} a lui %2 %n{nu} este %1") | relations-ro.kif 242-242 | |
(format sv side "en sida av %2 är %n{inte} %1") | relations-sv.txt 239-239 | |
(format tg side "ang tabi ng %2 ay %1") | relations-tg.txt 454-454 | |
(termFormat ChineseLanguage side "侧") | domainEnglishFormat.kif 52934-52934 | |
(termFormat ChineseLanguage side "边") | chinese_format.kif 388-388 | |
(termFormat ChineseTraditionalLanguage side "側") | domainEnglishFormat.kif 52933-52933 | |
(termFormat EnglishLanguage side "side") | domainEnglishFormat.kif 52932-52932 |
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 5823-5837 |
|
(=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain)) |
Geography.kif 4165-4169 |
|
(=> (and (instance ?butte Butte) (side ?side ?butte)) (attribute ?side SteepTerrain)) |
Geography.kif 4176-4180 |
|
(=> (and (side ?SIDE ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?SIDE))) (exists (?DIRECT) (orientation ?SIDE ?PART ?DIRECT))) |
Merge.kif 9745-9751 | |
(=> (and (top ?TOP ?O) (side ?S ?O)) (not (equal ?TOP ?S))) |
Merge.kif 9753-9758 |
|
(=> (exists (?SIDE1 ?SIDE2) (and (side ?SIDE1 ?OBJECT) (side ?SIDE2 ?OBJECT) (distance ?SIDE1 ?SIDE2 ?WIDTH))) (width ?OBJECT ?WIDTH)) |
Merge.kif 9768-9774 |
|
consequent |