diameter |
appearance as argument number 1 |
(documentation diameter ChineseLanguage "(diameter ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的直径的长度是 ?LENGTH。") | chinese_format.kif 2653-2654 | |
(documentation diameter EnglishLanguage "(diameter ?CIRCLE ?LENGTH) means that the diameter of the Circle ?CIRCLE has a length of ?LENGTH.") | Merge.kif 7698-7699 | |
(documentation diameter JapaneseLanguage "(diameter ?CIRCLE ?LENGTH) とは、Circle ?CIRCLEの直径が ?LENGTH の長さを有することを意味する。") | japanese_format.kif 1370-1371 | |
(domain diameter 1 Object) | Merge.kif 7695-7695 | Il numero 1 argomenti di diameter è un istanza di Oggetto |
(domain diameter 2 LengthMeasure) | Merge.kif 7696-7696 | Il numero 2 argomenti di diameter è un istanza di MisuraDiLunghezza |
(instance diameter BinaryPredicate) | Merge.kif 7692-7692 | diameter è un' istanza di PredicatoBinario |
(instance diameter SingleValuedRelation) | Merge.kif 7693-7693 | diameter è un' istanza di RelazioneMonovalente |
(instance diameter TotalValuedRelation) | Merge.kif 7694-7694 | diameter è un' istanza di RelazioneAValoreTotale |
appearance as argument number 2 |
(format ChineseLanguage diameter "%1 的 diameter %n 是 %2") | chinese_format.kif 617-617 | |
(format EnglishLanguage diameter "the diameter of %1 is %n %2") | english_format.kif 620-620 | |
(format FrenchLanguage diameter "le diam�tre de %1 est %n %2") | french_format.kif 373-373 | |
(format ItalianLanguage diameter "il diametro di %1 è %n %2") | relations-it.txt 73-73 | |
(format JapaneseLanguage diameter "%1 の diameter は %2 では %n") | japanese_format.kif 2107-2107 | |
(format PortugueseLanguage diameter "o diametro de %1 e' %n %2") | portuguese_format.kif 325-325 | |
(format de diameter "der durchmesser von %1 ist %2 %n{nicht}") | relations-de.txt 809-809 | |
(format hi diameter "%1 kaa vyaasa %2 %n hai") | relations-hindi.txt 114-114 | |
(format ro diameter "diameter%t{diametrul} lui %1 %n{nu} este %2") | relations-ro.kif 395-395 | |
(format sv diameter "diametern på %1 är %n{inte} %2") | relations-sv.txt 414-414 | |
(format tg diameter "ang bantod ng %1 %n ay %2") | relations-cb.txt 107-107 | |
(termFormat ChineseLanguage diameter "圆周") | chinese_format.kif 618-618 | |
(termFormat ChineseLanguage diameter "直径") | domainEnglishFormat.kif 19428-19428 | |
(termFormat ChineseTraditionalLanguage diameter "直徑") | domainEnglishFormat.kif 19427-19427 | |
(termFormat EnglishLanguage diameter "diameter") | domainEnglishFormat.kif 19426-19426 | |
(termFormat tg diameter "bantod") | relations-tg.txt 163-163 |
antecedent |
consequent |