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 9892-9892	Die Zahl 1 Argument von phMeasure ist ein fall von Object %n{nicht}
(domain phMeasure 2 AcidityMeasure)	Mid-level-ontology.kif 9893-9893	Die Zahl 2 Argument von phMeasure ist ein fall von AcidityMeasure %n{nicht}
(instance phMeasure BinaryPredicate)	Mid-level-ontology.kif 9890-9890	phMeasure ist ein fall von BinaryPredicate %n{nicht}
(subrelation phMeasure measure)	Mid-level-ontology.kif 9891-9891	phMeasure ist eine teilrelation von measure

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	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 9927-9949	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