Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - topSpeed

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 1720-1724
(domain topSpeed 1 Vehicle) Transportation.kif 1718-1718 topSpeed 的 1 数量 是 车辆instance
(domain topSpeed 2 FunctionQuantity) Transportation.kif 1719-1719 topSpeed 的 2 数量 是 函数量instance
(instance topSpeed BinaryPredicate) Transportation.kif 1717-1717 topSpeed二元谓语instance

appearance as argument number 2

(format ChineseLanguage topSpeed "%1 的 top speed 是 %2 ") domainEnglishFormat.kif 4799-4799
(format ChineseTraditionalLanguage topSpeed "%1 的 top speed 是 %2 ") domainEnglishFormat.kif 4798-4798
(format EnglishLanguage topSpeed "the top speed of %1 is %2") domainEnglishFormat.kif 4797-4797


        (topSpeed ?V
            (MeasureFn ?Q ?CU))
        (instance ?CU CompositeUnitOfMeasure)
        (instance ?UL UnitOfLength)
        (instance ?UD UnitOfDuration)
        (equal ?FASTPROB
                (measure ?V
                        (MeasureFn ?L1 ?UL)
                        (MeasureFn ?T1 ?UD)))))
        (equal ?SLOWPROB
                (measure ?V
                        (MeasureFn ?L2 ?UL)
                        (MeasureFn ?T2 ?UD)))))
            (SpeedFn ?L1 ?T1) ?Q)
        (greaterThan ?Q
            (SpeedFn ?L2 ?T2)))
    (greaterThan ?SLOWPROB ?FASTPROB))
Transportation.kif 1726-1744

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