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 | Die Zahl 2 Argument von amount ist ein fall von CorpuscularObject %n{nicht} |
(domain amount 3 MassMeasure) | Merge.kif 7594-7594 | Die Zahl 3 Argument von amount ist ein fall von MassMeasure %n{nicht} |
(domainSubclass amount 1 Substance) | Merge.kif 7592-7592 | Die Zahl 1 Argument von amount ist eine teilkategorie von Substance %n{nicht} |
(instance amount TernaryPredicate) | Merge.kif 7589-7589 | amount ist ein fall von TernaryPredicate %n{nicht} |
appearance as argument number 2 |
(termFormat EnglishLanguage amount "amount") | domainEnglishFormat.kif 65777-65777 |
antecedent |