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 | O argumento numero 2 de amount e' uma instancia de Objeto Corpuscular |
(domain amount 3 MassMeasure) | Merge.kif 7594-7594 | O argumento numero 3 de amount e' uma instancia de Medida de Massa |
(domainSubclass amount 1 Substance) | Merge.kif 7592-7592 | O argumento numero 1 de amount e' uma sub-classe de Substancia |
(instance amount TernaryPredicate) | Merge.kif 7589-7589 | amount e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
(termFormat EnglishLanguage amount "amount") | domainEnglishFormat.kif 65777-65777 |
antecedent |