phMeasure |
appearance as argument number 1 |
(domain phMeasure 1 Object) | Mid-level-ontology.kif 9892-9892 | |
(domain phMeasure 2 AcidityMeasure) | Mid-level-ontology.kif 9893-9893 | |
(instance phMeasure BinaryPredicate) | Mid-level-ontology.kif 9890-9890 | |
(subrelation phMeasure measure) | Mid-level-ontology.kif 9891-9891 |
appearance as argument number 2 |
(termFormat EnglishLanguage phMeasure "pH measure") | domainEnglishFormat.kif 65899-65899 |
antecedent |
(=> (and (instance ?A Antacid) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1)) |
Mid-level-ontology.kif 9866-9888 | |
(=> (and (instance ?A ProtonPumpInhibitor) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1)) |
Mid-level-ontology.kif 9927-9949 |