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 | Le nombre 2 argument de amount est une instance de objet corpusculaire |
(domain amount 3 MassMeasure) | Merge.kif 7594-7594 | Le nombre 3 argument de amount est une instance de mesure de masse |
(domainSubclass amount 1 Substance) | Merge.kif 7592-7592 | Le nombre 1 argument de amount est une sous-classe de substance |
(instance amount TernaryPredicate) | Merge.kif 7589-7589 | amount est une instance de pr�dicat ternaire |
appearance as argument number 2 |
(termFormat EnglishLanguage amount "amount") | domainEnglishFormat.kif 65777-65777 |
antecedent |