topSpeed - Sigma Knowledge base Browser

appearance as argument number 1

(documentation topSpeed EnglishLanguage "The maximum speed under normal conditions for a vehicle. For a RoadVehicle this would be on level ground, no headwind or tailwind, 70 degrees F, standard recommended fuel etc. For an Aircraft this would mean level flight out of ground effect. Because of the number of external factors on top speed, all that can be said formally is that higher speeds are unlikely.")	Transportation.kif 1852-1856
(domain topSpeed 1 Vehicle)	Transportation.kif 1850-1850	The number 1 argument of top speed is an instance of vehicle
(domain topSpeed 2 FunctionQuantity)	Transportation.kif 1851-1851	The number 2 argument of top speed is an instance of function quantity
(instance topSpeed BinaryPredicate)	Transportation.kif 1849-1849	top speed is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage topSpeed "%1 的 top speed 是 %2 ")	domainEnglishFormat.kif 4790-4790
(format ChineseTraditionalLanguage topSpeed "%1 的 top speed 是 %2 ")	domainEnglishFormat.kif 4789-4789
(format EnglishLanguage topSpeed "the top speed of %1 is %2")	domainEnglishFormat.kif 4788-4788
(termFormat EnglishLanguage topSpeed "top speed")	domainEnglishFormat.kif 66017-66017

antecedent

(=>
    (and
        (topSpeed ?V
            (MeasureFn ?Q ?CU))
        (instance ?CU CompositeUnitOfMeasure)
        (instance ?UL UnitOfLength)
        (instance ?UD UnitOfDuration)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (SpeedFn
                        (MeasureFn ?L1 ?UL)
                        (MeasureFn ?T1 ?UD)))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (SpeedFn
                        (MeasureFn ?L2 ?UL)
                        (MeasureFn ?T2 ?UD)))))
        (greaterThan
            (SpeedFn ?L1 ?T1) ?Q)
        (greaterThan ?Q
            (SpeedFn ?L2 ?T2)))
    (greaterThan ?SLOWPROB ?FASTPROB))

Transportation.kif 1858-1876

If the top speed of a vehicle is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure and an entity is an instance of unit of length and another entity is an instance of unit of duration and another real number is equal to the probability of the measure of the vehicle is a length measure the entity(s) per a time duration the other entity(s) and a third real number is equal to the probability of the measure of the vehicle is another length measure the entity(s) per another time duration the other entity(s) and the length measure per the time duration is greater than the real number and the real number is greater than the other length measure per the other time duration,
then the third real number is greater than the other real number

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: