Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AmountsFn |
| appearance as argument number 1 |
|
| (instance AmountsFn TernaryFunction) | Merge.kif 7716-7716 | Amounts fn is an instance of ternary function |
| (documentation AmountsFn EnglishLanguage "A List of all the MassMeasures of instances of a type of Substance found in an Object.") | Merge.kif 7717-7719 | Amounts fn is an instance of ternary function |
| (domainSubclass AmountsFn 1 Substance) | Merge.kif 7720-7720 | The number 1 argument of Amounts fn is a subclass of substance |
| (domain AmountsFn 2 CorpuscularObject) | Merge.kif 7721-7721 | The number 2 argument of Amounts fn is an instance of corpuscular object |
| (domain AmountsFn 3 UnitOfMass) | Merge.kif 7722-7722 | The number 3 argument of Amounts fn is an instance of unit of mass |
| (range AmountsFn List) | Merge.kif 7723-7723 | The range of Amounts fn is an instance of list |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AmountsFn "Amounts fn") | domainEnglishFormat.kif 64444-64444 |
| 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 7740-7755 | If amount X, Y and Z W(s), V is an instance of X, the measure of V is U W(s), and V is a part of Y, then there exists T such that U W(s) is a member of T and equal T and Amounts fn X, Y and W and equal Z and the sum of T |
|