TreeView Knowledge Base Browser - phMeasure

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - phMeasure

phMeasure

appearance as argument number 1

(domain phMeasure 1 Object)	Mid-level-ontology.kif 9864-9864	Die Zahl 1 Argument von phMeasure ist ein fall von Object %n{nicht}
(domain phMeasure 2 AcidityMeasure)	Mid-level-ontology.kif 9865-9865	Die Zahl 2 Argument von phMeasure ist ein fall von AcidityMeasure %n{nicht}
(instance phMeasure BinaryPredicate)	Mid-level-ontology.kif 9862-9862	phMeasure ist ein fall von BinaryPredicate %n{nicht}
(subrelation phMeasure measure)	Mid-level-ontology.kif 9863-9863	phMeasure ist eine teilrelation von measure

appearance as argument number 2

(termFormat EnglishLanguage phMeasure "pH measure")

domainEnglishFormat.kif 65897-65897

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 9838-9860	Wenn Object ist ein fall von Antacid %n{nicht} und Motion ist ein fall von Ingesting %n{nicht} und Motion ist der agent von AutonomousAgent %n{nicht} und moves Motion and Object und Object ist ein fall von Stomach %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und contains Object and Object und Object ist ein fall von Fluid %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Motion %n{nicht} und contains Object and Object und Object ist ein fall von Fluid %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Motion %n{nicht} und phMeasure Object and RealNumber und phMeasure Object and RealNumber, dann RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (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 9899-9921	Wenn Object ist ein fall von ProtonPumpInhibitor %n{nicht} und Motion ist ein fall von Ingesting %n{nicht} und Motion ist der agent von AutonomousAgent %n{nicht} und moves Motion and Object und Object ist ein fall von Stomach %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und contains Object and Object und Object ist ein fall von Fluid %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Motion %n{nicht} und contains Object and Object und Object ist ein fall von Fluid %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Motion %n{nicht} und phMeasure Object and RealNumber und phMeasure Object and RealNumber, dann RealNumber ist groesserAls ** RealNumber %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners