TreeView Knowledge Base Browser - physicalAmplitude

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

physicalAmplitude

Sigma KEE - physicalAmplitude

physicalAmplitude

appearance as argument number 1

(documentation physicalAmplitude EnglishLanguage "A relation between a periodic motion and the distance between the physical extremes of the period.")	Cars.kif 734-735
(domain physicalAmplitude 1 Tremor)	Cars.kif 731-731	Die Zahl 1 Argument von physicalAmplitude ist ein fall von Tremor %n{nicht}
(domain physicalAmplitude 2 LengthMeasure)	Cars.kif 732-732	Die Zahl 2 Argument von physicalAmplitude ist ein fall von LengthMeasure %n{nicht}
(instance physicalAmplitude BinaryPredicate)	Cars.kif 730-730	physicalAmplitude ist ein fall von BinaryPredicate %n{nicht}
(instance physicalAmplitude SpatialRelation)	Cars.kif 729-729	physicalAmplitude ist ein fall von SpatialRelation %n{nicht}

appearance as argument number 2

(format EnglishLanguage physicalAmplitude "the amplitude %1 is %n %2")	Cars.kif 733-733
(termFormat EnglishLanguage physicalAmplitude "physical amplitude")	domainEnglishFormat.kif 65898-65898

antecedent

(=> (and (dampingRatio ?P ?R) (greaterThan ?R 0) (instance ?T Tremor) (patient ?T ?P) (instance ?U UnitOfLength) (holdsDuring ?T1 (physicalAmplitude ?T (MeasureFn ?A1 ?U))) (holdsDuring ?T2 (physicalAmplitude ?T (MeasureFn ?A2 ?U))) (during ?T1 ?T) (during ?T2 ?T) (earlier ?T1 ?T2)) (greaterThan ?A1 ?A2))	Cars.kif 809-825	Wenn dampingRatio PhysicalSystem and RealNumber und RealNumber ist groesserAls 0 %n{nicht} und TimeInterval ist ein fall von Tremor %n{nicht} und PhysicalSystem ist ein patient von TimeInterval %n{nicht} und Entity ist ein fall von UnitOfLength %n{nicht} und physicalAmplitude TimeInterval and RealNumber Entity(s) haelt waehrend TimeInterval1 %n{nicht} und physicalAmplitude TimeInterval and RealNumber Entity(s) haelt waehrend TimeInterval2 %n{nicht} und TimeInterval1 geschieht waehrend TimeInterval %n{nicht} und TimeInterval2 geschieht waehrend TimeInterval %n{nicht} und TimeInterval1 geschieht frueh als TimeInterval2 %n{nicht}, dann RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (and (instance ?E Motion) (instance ?T Tremor) (instance ?D Damper) (patient ?T ?O) (part ?D ?O) (causes ?E ?T) (instance ?U UnitOfLength) (holdsDuring (WhenFn ?E) (physicalAmplitude ?T (MeasureFn ?A1 ?U))) (holdsDuring (ImmediateFutureFn ?E) (physicalAmplitude ?T (MeasureFn ?A2 ?U)))) (greaterThan ?A1 ?A2))	Cars.kif 777-792	Wenn Process ist ein fall von Motion %n{nicht} und Process ist ein fall von Tremor %n{nicht} und Object ist ein fall von Damper %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein teil von Object %n{nicht} und Process verursacht Process %n{nicht} und Entity ist ein fall von UnitOfLength %n{nicht} und physicalAmplitude Process and RealNumber Entity(s) haelt waehrend die zeit des Bestehens von Process %n{nicht} und physicalAmplitude Process and RealNumber Entity(s) haelt waehrend sofort nach Process %n{nicht}, dann RealNumber ist groesserAls RealNumber %n{nicht}
(=> (and (physicalAmplitude ?T (MeasureFn ?L ?U)) (instance ?U UnitOfLength) (patient ?T ?O)) (not (exists (?P1 ?P2 ?T1 ?T2 ?L2) (and (during ?T1 (WhenFn ?T)) (during ?T2 (WhenFn ?T)) (holdsDuring ?T1 (located ?O ?P1)) (holdsDuring ?T2 (located ?O ?P2)) (distance ?P1 ?P2 (MeasureFn ?L2 ?U)) (greaterThan ?L2 ?L)))))	Cars.kif 751-768	Wenn physicalAmplitude Tremor and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und Entity ist ein patient von Tremor %n{nicht}, dann es gibt nicht Physical, Physical,, , Tremor1,, , Tremor2, and und RealNumber2 um Tremor1 geschieht waehrend die zeit des Bestehens von Tremor %n{nicht} und Tremor2 geschieht waehrend die zeit des Bestehens von Tremor %n{nicht} und Entity befindet sich an %n{nicht} haelt waehrend Tremor1 %n{nicht} und Entity befindet sich an %n{nicht} haelt waehrend Tremor2 %n{nicht} und der abstand zwischen Physical und Physical ist RealNumber2 UnitOfMeasure(s) und RealNumber2 ist groesserAls ** RealNumber %n{nicht}
(=> (and (physicalAmplitude ?T ?L) (patient ?T ?O)) (exists (?P1 ?P2 ?T1 ?T2) (and (during ?T1 (WhenFn ?T)) (during ?T2 (WhenFn ?T)) (holdsDuring ?T1 (located ?O ?P1)) (holdsDuring ?T2 (located ?O ?P2)) (distance ?P1 ?P2 ?L))))	Cars.kif 737-749	Wenn physicalAmplitude Tremor and LengthMeasure und Entity ist ein patient von Tremor %n{nicht}, dann es gibt Physical, Physical,, , Tremor1, and und Tremor2 um Tremor1 geschieht waehrend die zeit des Bestehens von Tremor %n{nicht} und Tremor2 geschieht waehrend die zeit des Bestehens von Tremor %n{nicht} und Entity befindet sich an %n{nicht} haelt waehrend Tremor1 %n{nicht} und Entity befindet sich an %n{nicht} haelt waehrend Tremor2 %n{nicht} und der abstand zwischen Physical und Physical ist LengthMeasure

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