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 physicalAmplitude 的 1 数量 是 instance
(domain physicalAmplitude 2 LengthMeasure) Cars.kif 732-732 physicalAmplitude 的 2 数量 是 长度测量instance
(instance physicalAmplitude BinaryPredicate) Cars.kif 730-730 physicalAmplitude二元谓语instance
(instance physicalAmplitude SpatialRelation) Cars.kif 729-729 physicalAmplitude空间关系instance

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
(=>
    (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
(=>
    (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
(=>
    (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


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