amount |
appearance as argument number 1 |
(documentation amount EnglishLanguage "The MassMeasure of a type of Substance in an Object.") | Merge.kif 7590-7591 | |
(domain amount 2 CorpuscularObject) | Merge.kif 7593-7593 | 域 amount, 2 and CorpuscularObject |
(domain amount 3 MassMeasure) | Merge.kif 7594-7594 | 域 amount, 3 and MassMeasure |
(domainSubclass amount 1 Substance) | Merge.kif 7592-7592 | 域子類 amount, 1 and Substance |
(instance amount TernaryPredicate) | Merge.kif 7589-7589 | 例 amount and TernaryPredicate |
appearance as argument number 2 |
(termFormat EnglishLanguage amount "amount") | domainEnglishFormat.kif 65777-65777 |
antecedent |