Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| amount |
| appearance as argument number 1 |
|
| (instance amount TernaryPredicate) | Merge.kif 7733-7733 | amount is an instance of ternary predicate |
| (documentation amount EnglishLanguage "The MassMeasure of a type of Substance in an Object.") | Merge.kif 7734-7735 | amount is an instance of ternary predicate |
| (domainSubclass amount 1 Substance) | Merge.kif 7736-7736 | The number 1 argument of amount is a subclass of substance |
| (domain amount 2 CorpuscularObject) | Merge.kif 7737-7737 | The number 2 argument of amount is an instance of corpuscular object |
| (domain amount 3 MassMeasure) | Merge.kif 7738-7738 | The number 3 argument of amount is an instance of mass measure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage amount "amount") | domainEnglishFormat.kif 65780-65780 |
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?P PerniciousAnemia) (experiencer ?P ?H1) (amount VitaminB12 ?H1 (MeasureFn ?N1 ?U)) (amount VitaminB12 ?H2 (MeasureFn ?N2 ?U)) (attribute ?H2 Healthy) (not (equal ?H1 ?H2))) (greaterThan ?N2 ?N1)) |
Medicine.kif 2704-2713 | If All of the following hold: (1) X is an instance of pernicious anemia (2) Y experiences X (3) amount cobalamin, Y and Z W(s) (4) amount cobalamin, V and U W(s) (5) healthy is an attribute of V (6) equal Y and V, then U is greater than Z |
|