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 | Die Zahl 2 Argument von AmountsFn ist ein fall von CorpuscularObject %n{nicht} |
(domain AmountsFn 3 UnitOfMass) | Merge.kif 7579-7579 | Die Zahl 3 Argument von AmountsFn ist ein fall von UnitOfMass %n{nicht} |
(domainSubclass AmountsFn 1 Substance) | Merge.kif 7577-7577 | Die Zahl 1 Argument von AmountsFn ist eine teilkategorie von Substance %n{nicht} |
(instance AmountsFn BinaryFunction) | Merge.kif 7573-7573 | AmountsFn ist ein fall von BinaryFunction %n{nicht} |
(range AmountsFn List) | Merge.kif 7580-7580 | bildbereich von AmountsFn ist ein fall von List {nicht} |
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 |
|