Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
RoverV8Engine(Rover v8)
|
| appearance as argument number 1 |
|
| (subclass RoverV8Engine EightCylinderEngine) | Cars.kif 4604-4604 | Rover v8 is a subclass of eight cylinder engine |
| (externalImage RoverV8Engine "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Rover_V8_engine.jpg") | Cars.kif 4605-4605 | Rover v8 is a subclass of eight cylinder engine |
| (manufacturer RoverV8Engine RoverGroup) | Cars.kif 4606-4606 | The maker of Rover v8 is Rover group |
| (documentation RoverV8Engine EnglishLanguage "The Rover V8 engine is a compact V8 internal combustion engine with aluminium cylinder heads and cylinder block, originally designed by General Motors and later re_designed and produced by Rover in the United Kingdom. It has been used in a wide range of vehicles from Rover and other manufacturers since its British debut in 1967. [from Wikipedia]") | Cars.kif 4608-4612 | The maker of Rover v8 is Rover group |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RoverV8Engine "Rover v8") | Cars.kif 4607-4607 |
| antecedent |
|
|
| (=> (instance ?RV8 RoverV8Engine) (material Aluminum ?RV8)) |
Cars.kif 4614-4616 | If X is an instance of Rover v8, then X is made of aluminum |
|