bottom |
appearance as argument number 1 |
![]() |
(documentation bottom ChineseLanguage "(bottom ?BOTTOM ?OBJECT)的说法可以成立,如果 ?BOTTOM 是 ?OBJECT 最低或最深的最大的表面部分。") | chinese_format.kif 2843-2844 | |
(documentation bottom EnglishLanguage "(bottom ?BOTTOM ?OBJECT) holds if ?BOTTOM is the lowest or deepest maximal superficial part of ?OBJECT.") | Merge.kif 9777-9778 | |
(documentation bottom JapaneseLanguage "(bottom ?BOTTOM ?OBJECT) は、?BOTTOM が ?OBJECT の最も低い部分または最も深い表面的な部分である場合、保持される。") | japanese_format.kif 1587-1588 | |
(domain bottom 1 SelfConnectedObject) | Merge.kif 9774-9774 | Le nombre 1 argument de bottom est une instance de objet en une partie |
(domain bottom 2 SelfConnectedObject) | Merge.kif 9775-9775 | Le nombre 2 argument de bottom est une instance de objet en une partie |
(instance bottom BinaryPredicate) | Merge.kif 9773-9773 | bottom est une instance de pr�dicat binaire |
(subrelation bottom superficialPart) | Merge.kif 9772-9772 | bottom est une sous-relation de superficialPart |
appearance as argument number 2 |
![]() |
(format ChineseLanguage bottom "%2 的 bottom %n 是 %1") | chinese_format.kif 359-359 | |
(format EnglishLanguage bottom "the bottom of %2 is %n %1") | english_format.kif 362-362 | |
(format FrenchLanguage bottom "l' arri�re de %2 est %n %1") | french_format.kif 208-208 | |
(format ItalianLanguage bottom "il fondo di%2 è %1") | relations-it.txt 39-39 | |
(format JapaneseLanguage bottom "%2 の bottom は %1 では %n") | japanese_format.kif 2015-2015 | |
(format PortugueseLanguage bottom "o fundo de %2 e' %n %1") | portuguese_format.kif 160-160 | |
(format cb bottom "ang ilalum sa %2 %n ay %1") | relations-cb.txt 73-73 | |
(format de bottom "die unterseite von %2 ist %1") | relations-de.txt 477-477 | |
(format hi bottom "%2 kaa tala %1 hai") | relations-hindi.txt 81-81 | |
(format ro bottom "bottom%t{capãtul de jos} al lui %2 %n{nu} este %1") | relations-ro.kif 228-228 | |
(format sv bottom "botten av %2 är %n{inte} %1") | relations-sv.txt 224-224 | |
(format tg bottom "ang ilalim sa %2 %n ay %1") | relations-tg.txt 94-94 | |
(termFormat ChineseLanguage bottom "底部") | chinese_format.kif 360-360 | |
(termFormat ChineseTraditionalLanguage bottom "底部") | domainEnglishFormat.kif 11761-11761 | |
(termFormat EnglishLanguage bottom "bottom") | domainEnglishFormat.kif 11760-11760 | |
(termFormat de bottom "unterseite") | terms-de.txt 148-148 | |
(termFormat tg bottom "ilalim") | relations-tg.txt 95-95 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |