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

Formal Language: 



KB Term:  Term intersection
English Word: 

  governorSpeed

 Sigma KEE - governorSpeed
governorSpeed

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


(documentation governorSpeed EnglishLanguage "The maximum speed under normal conditions that a governor will allow a moving part or vehicle to attain before killing power. Note that a vehicle could still conceivably exceed governed speed while coasting down a hill, after the governor has activated.") Cars.kif 2880-2883
(domain governorSpeed 1 SpeedGovernor) Cars.kif 2886-2886 域 governorSpeed, 1 and SpeedGovernor
(domain governorSpeed 2 FunctionQuantity) Cars.kif 2887-2887 域 governorSpeed, 2 and FunctionQuantity
(instance governorSpeed BinaryPredicate) Cars.kif 2888-2888 例 governorSpeed and BinaryPredicate

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


(format EnglishLanguage governorSpeed "the maximum speed allowed by %1 is %n %2") Cars.kif 2884-2884
(termFormat EnglishLanguage governorSpeed "governor speed") domainEnglishFormat.kif 65837-65837

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


(=>
    (and
        (governorSpeed ?V ?Q)
        (equal
            (MeasureFn ?FAST MilesPerHour)
            (SpeedFn ?L1 ?T1))
        (equal
            (MeasureFn ?SLOW MilesPerHour)
            (SpeedFn ?L2 ?T2))
        (greaterThan ?FAST ?SLOW)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?FAST MilesPerHour))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?SLOW MilesPerHour)))))
    (greaterThan ?SLOWPROB ?FASTPROB))		 Cars.kif 2890-2908
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?E Engine)
        (connectedEngineeringComponents ?EG ?E)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?R ?P ?M)
                (and
                    (instance ?P Device)
                    (part ?P ?E)
                    (instance ?R Rotating)
                    (holdsDuring
                        (WhenFn ?R)
                        (and
                            (measure ?P
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2936-2954
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?V Vehicle)
        (connectedEngineeringComponents ?EG ?V)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?T ?M)
                (and
                    (instance ?T Translocation)
                    (holdsDuring
                        (WhenFn ?T)
                        (and
                            (measure ?V
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2963-2979
(=>
    (and
        (instance ?G SpeedGovernor)
        (governorSpeed ?V
            (MeasureFn ?S MilesPerHour))
        (connectedEngineeringComponents ?G ?V))
    (hasPurpose ?G
        (not
            (exists (?SP2)
                (and
                    (measure ?V
                        (MeasureFn ?SP2 MilesPerHour))
                    (greaterThan ?SP2 ?S))))))		 Cars.kif 2915-2927


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

Show without tree


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