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 | Il numero 2 argomenti di amount è un istanza di OggettoCorpuscolare |
(domain amount 3 MassMeasure) | Merge.kif 7594-7594 | Il numero 3 argomenti di amount è un istanza di MisuraDiMassa |
(domainSubclass amount 1 Substance) | Merge.kif 7592-7592 | Il numero 1 argomento amount è una sottoclasse diSostanza |
(instance amount TernaryPredicate) | Merge.kif 7589-7589 | amount è un' istanza di PredicatoTernario |
appearance as argument number 2 |
(termFormat EnglishLanguage amount "amount") | domainEnglishFormat.kif 65777-65777 |
antecedent |