weight |
appearance as argument number 1 |
(documentation weight ChineseLanguage "(weight ?O ?MM)的意思是在地球上,这个 SelfConnectedObject ?O 的重量是 ?MM。") | chinese_format.kif 2606-2607 | |
(documentation weight EnglishLanguage "(weight ?O ?MM) means that on planet earth the SelfConnectedObject ?O has the weight ?MM.") | Merge.kif 7290-7291 | |
(documentation weight JapaneseLanguage "(weight ?O ?MM) とは、地球上で SelfConnectedObject ?O が重量?MMを持っていることを意味する。") | japanese_format.kif 1319-1320 | |
(domain weight 1 SelfConnectedObject) | Merge.kif 7285-7285 | 域 重量, 1 and SelfConnectedObject |
(domain weight 2 MassMeasure) | Merge.kif 7286-7286 | 域 重量, 2 and MassMeasure |
(instance weight BinaryPredicate) | Merge.kif 7287-7287 | 例 重量 and BinaryPredicate |
(subrelation weight measure) | Merge.kif 7288-7288 | 子關係 重量 and 測量 |
appearance as argument number 2 |
(format ChineseLanguage weight "%2 %n 是 %1 的 weight ") | domainEnglishFormat.kif 2626-2626 | |
(format ChineseTraditionalLanguage weight "%2 %n 是 %1 的 weight ") | domainEnglishFormat.kif 2625-2625 | |
(format EnglishLanguage weight "%2 is %n a weight of %1") | domainEnglishFormat.kif 2624-2624 | |
(termFormat ChineseLanguage weight "重量") | domainEnglishFormat.kif 62681-62681 | |
(termFormat ChineseTraditionalLanguage weight "重量") | domainEnglishFormat.kif 62680-62680 | |
(termFormat EnglishLanguage weight "weight") | domainEnglishFormat.kif 62679-62679 |
antecedent |
consequent |