Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AirFoil(airfoil) |
| appearance as argument number 1 |
|
| (subclass AirFoil Device) | Transportation.kif 3332-3332 | Airfoil is a subclass of device |
| (documentation AirFoil EnglishLanguage "An AirFoil or aerofoil (British English) is a streamlined body that is capable of generating significantly more lift than drag. FlightWings, sails and propeller blades are examples of airfoils. [Wikipedia]") | Transportation.kif 3333-3335 | Airfoil is a subclass of device |
| appearance as argument number 2 |
|
|
|