top |
appearance as argument number 1 |
(documentation top ChineseLanguage "(top ?TOP ?OBJECT)的意思是 ?TOP 是 ?OBJECT 最高的最大 的表面部分。") | chinese_format.kif 2845-2846 | |
(documentation top EnglishLanguage "(top ?TOP ?OBJECT) means that ?TOP is the highest maximal superficial part of ?OBJECT.") | Merge.kif 9727-9728 | |
(documentation top JapaneseLanguage "(top ?TOP ?OBJECT) とは、?TOP が ?OBJECT の最も高い 表面的な部分であることを意味する。") | japanese_format.kif 1589-1590 | |
(domain top 1 SelfConnectedObject) | Merge.kif 9724-9724 | O argumento numero 1 de top e' uma instancia de Objeto auto-conectado |
(domain top 2 SelfConnectedObject) | Merge.kif 9725-9725 | O argumento numero 2 de top e' uma instancia de Objeto auto-conectado |
(instance top BinaryPredicate) | Merge.kif 9723-9723 | top e' uma instancia de Predicado Binario |
(subrelation top superficialPart) | Merge.kif 9722-9722 | top e' uma sub-relacao de superficialPart |
appearance as argument number 2 |
(format ChineseLanguage top "%1 %n 是 %2 的 top") | chinese_format.kif 389-389 | |
(format EnglishLanguage top "the top of %2 is %n %1") | english_format.kif 395-395 | |
(format FrenchLanguage top "le dessus de %2 est %n %1") | french_format.kif 223-223 | |
(format ItalianLanguage top "ilvertice %2 è %1") | relations-it.txt 301-301 | |
(format JapaneseLanguage top "%2 の top は %1 では %n ") | japanese_format.kif 2029-2029 | |
(format PortugueseLanguage top "o topo de %2 e' %n %1") | portuguese_format.kif 175-175 | |
(format de top "die oberseite von %2 ist %1") | relations-de.txt 522-522 | |
(format hi top "%2 kaa shiirshha %1 hai") | relations-hindi.txt 337-337 | |
(format ro top "top%t{vârful} lui %2 %n{nu} este %1") | relations-ro.kif 243-243 | |
(format sv top "toppen av %2 är %n{inte} %1") | relations-sv.txt 241-241 | |
(format tg top "ang tuktok sa %2 ay %1") | relations-tg.txt 493-493 | |
(termFormat ChineseLanguage top "上") | domainEnglishFormat.kif 58448-58448 | |
(termFormat ChineseLanguage top "顶部") | chinese_format.kif 390-390 | |
(termFormat ChineseTraditionalLanguage top "上") | domainEnglishFormat.kif 58447-58447 | |
(termFormat EnglishLanguage top "top") | domainEnglishFormat.kif 58446-58446 |
antecedent |
consequent |