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 | amount の数値 2 引数は 微粒子オブジェクト の instance では %n |
(domain amount 3 MassMeasure) | Merge.kif 7594-7594 | amount の数値 3 引数は 質量測定 の instance では %n |
(domainSubclass amount 1 Substance) | Merge.kif 7592-7592 | amount の数値 1 引数は 物質 のsubclass では %n |
(instance amount TernaryPredicate) | Merge.kif 7589-7589 | amount は 3進述語 の instance では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage amount "amount") | domainEnglishFormat.kif 65777-65777 |
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 7596-7611 | |
(=> (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 2695-2704 |
|