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 1712-1716
(domain topSpeed 1 Vehicle)	Transportation.kif 1710-1710	The number 1 argument of top speed is an instance of vehicle
(domain topSpeed 2 FunctionQuantity)	Transportation.kif 1711-1711	The number 2 argument of top speed is an instance of function quantity
(instance topSpeed BinaryPredicate)	Transportation.kif 1709-1709	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 65960-65960

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 1718-1736

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: