Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AutomobileGovernor(governor) |
| appearance as argument number 1 |
|
| (subclass AutomobileGovernor SpeedGovernor) | Cars.kif 2788-2788 | Governor is a subclass of governor |
| (documentation AutomobileGovernor EnglishLanguage "A Device that limits the translational speed of a Vehicle. This is distinguished from an EngineGovernor which is designed to limit the rotational speed of part of an Engine.") | Cars.kif 2790-2793 | Governor is a subclass of governor |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutomobileGovernor "governor") | Cars.kif 2789-2789 |
|