AmountsFn |
appearance as argument number 1 |
(documentation AmountsFn EnglishLanguage "A List of all the MassMeasures of instances of a type of Substance found in an Object.") | Merge.kif 7574-7576 | |
(domain AmountsFn 2 CorpuscularObject) | Merge.kif 7578-7578 | Le nombre 2 argument de AmountsFn est une instance de objet corpusculaire |
(domain AmountsFn 3 UnitOfMass) | Merge.kif 7579-7579 | Le nombre 3 argument de AmountsFn est une instance de UnitOfMass |
(domainSubclass AmountsFn 1 Substance) | Merge.kif 7577-7577 | Le nombre 1 argument de AmountsFn est une sous-classe de substance |
(instance AmountsFn BinaryFunction) | Merge.kif 7573-7573 | AmountsFn est une instance de fonction binaire |
(range AmountsFn List) | Merge.kif 7580-7580 | Le domaine de AmountsFn est une instance de liste |
appearance as argument number 2 |
(termFormat EnglishLanguage AmountsFn "Amounts fn") | domainEnglishFormat.kif 64441-64441 |
antecedent |
(=> (and (inList ?E ?L) (equal ?L (AmountsFn ?S ?CO ?U))) (instance ?E RationalNumber)) |
Merge.kif 7582-7587 |
|
consequent |
(=> (and (amount ?S ?CO (MeasureFn ?N ?U)) (instance ?SI ?S) (measure ?SI (MeasureFn ?N2 ?U)) (part ?SI ?CO)) (exists (?L) (and (inList (MeasureFn ?N2 ?U) ?L) (equal ?L (AmountsFn ?S ?CO ?U)) (equal ?N (ListSumFn ?L))))) |
Merge.kif 7596-7611 |
|