TreeView Knowledge Base Browser

appearance as argument number 3

The number 1 argument of governor speed is an instance of governor

antecedent

(=>
    (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))))))

If X is an instance of governor, the maximum speed allowed by Y is Z miles per hour(s), and X is connected to Y, then X has the purpose there doesn't exist W such that the measure of Y is W miles per hour(s) and W is greater than Z

(subclass SpeedGovernor Device)	Cars.kif 2742-2742	Governor is a subclass of device
(documentation SpeedGovernor EnglishLanguage "Any Device that is designed to limit the speed of an object under power.")	Cars.kif 2744-2745	Governor is a subclass of device

(termFormat EnglishLanguage SpeedGovernor "governor")	Cars.kif 2743-2743
(subclass EngineGovernor SpeedGovernor)	Cars.kif 2761-2761	Governor is a subclass of governor
(subclass AutomobileGovernor SpeedGovernor)	Cars.kif 2788-2788	Governor is a subclass of governor