TreeView Knowledge Base Browser

appearance as argument number 1

(instance topSpeed BinaryPredicate)	Transportation.kif 1864-1864	top speed is an instance of binary predicate
(domain topSpeed 1 Vehicle)	Transportation.kif 1865-1865	The number 1 argument of top speed is an instance of vehicle
(domain topSpeed 2 FunctionQuantity)	Transportation.kif 1866-1866	The number 2 argument of top speed is an instance of function quantity
(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 1867-1871	The number 2 argument of top speed is an instance of function quantity

appearance as argument number 2

(format EnglishLanguage topSpeed "the top speed of %1 is %2")	domainEnglishFormat.kif 4792-4792
(format ChineseTraditionalLanguage topSpeed "%1 的 top speed 是 %2 ")	domainEnglishFormat.kif 4793-4793
(format ChineseLanguage topSpeed "%1 的 top speed 是 %2 ")	domainEnglishFormat.kif 4794-4794
(termFormat EnglishLanguage topSpeed "top speed")	domainEnglishFormat.kif 65996-65996

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 1873-1891

If All of the following hold: (1) the top speed of X is Y Z(s) (2) Z is an instance of composite unit of measure (3) W is an instance of unit of length (4) V is an instance of unit of duration (5) equal U and the probability of the measure of X is T W(s) per S V(s) (6) equal R and the probability of the measure of X is Q W(s) per P V(s) (7) T per S is greater than Y (8) Y is greater than Q per P, then R is greater than U

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

KB Term:			Term intersection

English Word: