Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MeterPerSecond
MeterPerSecond(meter per second)

appearance as argument number 1
-------------------------


(instance MeterPerSecond CompositeUnitOfMeasure) Transportation.kif 5184-5184 Meter per second is an instance of composite unit of measure
(instance MeterPerSecond FunctionQuantity) Transportation.kif 5185-5185 Meter per second is an instance of function quantity
(documentation MeterPerSecond EnglishLanguage "MeterPerSecond is the unit for of both speed and velocity in the International System of Units (SI), equal to the speed of a body covering a distance of one metre in a time of one second. [Wikipedia].") Transportation.kif 5186-5189 Meter per second is an instance of function quantity

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage MeterPerSecond "meter per second") Transportation.kif 5190-5190

antecedent
-------------------------


(=>
    (and
        (speedOfSound
            (MeasureFn ?N MeterPerSecond) ?R ?T)
        (located ?R EarthsAtmosphere)
        (holdsDuring ?T
            (property ?R StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (approximateValue ?N 346)))		 Transportation.kif 5141-5148 If the speedOfSound for X meter per second(s) at Y is X meter per second(s), Y is located at earths atmosphere, and Y the attribute standard ambient temperature and pressure holds during Z, then the approximate value of X is 346 holds during Z
(=>
    (speedOfSound
        (MeasureFn ?N MeterPerSecond) ?R ?T)
    (holdsDuring ?T
        (exists (?W)
            (and
                (located ?R ?W)
                (instance ?W FreshWater)
                (measure ?W
                    (MeasureFn 20 CelsiusDegree))
                (approximateValue ?N 1481)))))		 Transportation.kif 5150-5158 If the speedOfSound for X meter per second(s) at Y is X meter per second(s), then there exists Z such that Y is located at Z and Z is an instance of freshwater and the measure of Z is 20 celsius degree(s) and the approximate value of X is 1481 holds during W
(=>
    (speedOfSound
        (MeasureFn ?N MeterPerSecond) ?R ?T)
    (holdsDuring ?T
        (exists (?O)
            (and
                (part ?R ?O)
                (instance ?0 CorpuscularObject)
                (material Iron ?O)
                (measure ?O
                    (MeasureFn 20 CelsiusDegree))
                (approximateValue ?N 5120)))))		 Transportation.kif 5160-5170 If the speedOfSound for X meter per second(s) at Y is X meter per second(s), then there exists Z such that Y is a part of Z and W is an instance of corpuscular object and Z is made of iron and the measure of Z is 20 celsius degree(s) and the approximate value of X is 5120 holds during V
(=>
    (speedOfSound
        (MeasureFn ?N MeterPerSecond) ?R ?T)
    (holdsDuring ?T
        (exists (?O)
            (and
                (part ?R ?O)
                (instance ?0 CorpuscularObject)
                (material Diamond ?O)
                (measure ?O
                    (MeasureFn 20 CelsiusDegree))
                (approximateValue ?N 12000)))))		 Transportation.kif 5172-5182 If the speedOfSound for X meter per second(s) at Y is X meter per second(s), then there exists Z such that Y is a part of Z and W is an instance of corpuscular object and Z is made of diamond and the measure of Z is 20 celsius degree(s) and the approximate value of X is 12000 holds during V
(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MeterPerSecond))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Meter)
            (MeasureFn 1 SecondDuration))))		 Transportation.kif 5192-5198 equal X and Y meter per second(s) if and only if equal X and Y meter(s) per 1 second duration(s)
(=>
    (and
        (equal SpeedOfLight
            (MeasureFn ?X MeterPerSecond))
        (refractiveIndex ?S ?Y))
    (equal
        (SpeedOfLightInMediumFn ?S)
        (MeasureFn
            (DivisionFn ?X ?Y) MeterPerSecond)))		 Transportation.kif 5649-5656 If equal speed of light in vacuum and X meter per second(s) and the RefractiveIndexFn of Y is Z, then equal the speedOfLightInMedium of Y and X and Z meter per second(s)

consequent
-------------------------


(=>
    (radarEmissionFrequency ?R ?F ?T)
    (holdsDuring ?T
        (exists (?E ?L ?C)
            (and
                (instance ?E RadiatingElectromagnetic)
                (instrument ?E ?R)
                (wavelength ?E
                    (MeasureFn ?L Nanometer))
                (equal
                    (MeasureFn ?C MeterPerSecond) SpeedOfLight)
                (equal ?F
                    (MeasureFn
                        (DivisionFn ?C ?L) Hertz))))))		 Transportation.kif 5541-5551 If X has the emission frequency of Y during Z, then there exist W, V and U such that W is an instance of radiating electromagnetic and X is an instrument for W and the wavelength of W is V nanometer(s) and equal U meter per second(s) and speed of light in vacuum and equal Y and U and V hertz(s) holds during Z
(=>
    (and
        (equal SpeedOfLight
            (MeasureFn ?X MeterPerSecond))
        (refractiveIndex ?S ?Y))
    (equal
        (SpeedOfLightInMediumFn ?S)
        (MeasureFn
            (DivisionFn ?X ?Y) MeterPerSecond)))		 Transportation.kif 5649-5656 If equal speed of light in vacuum and X meter per second(s) and the RefractiveIndexFn of Y is Z, then equal the speedOfLightInMedium of Y and X and Z meter per second(s)


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners