Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Rotor(rotor)
|  | rotor, rotor_coil |
| appearance as argument number 1 |
|
|
| (subclass Rotor EngineeringComponent) | engineering.kif 1186-1186 | Rotor is a subclass of engineering component |
| (documentation Rotor EnglishLanguage "The Rotating component of a motor, generator or similar Device.") | engineering.kif 1187-1188 | Rotor is a subclass of engineering component |
| (externalImage Rotor "http://upload.wikimedia.org/wikipedia/commons/4/4f/ Sikorsky_S-92_rotor_P1230176.jpg") | pictureList.kif 10233-10233 | Rotor is a subclass of engineering component |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?R Rotor) (capability Rotating instrument ?R)) |
engineering.kif 1190-1192 | If X is an instance of rotor, then X is capable of doing rotating as a instrument |
|