Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RoverV8Engine
RoverV8Engine(Rover v8)

appearance as argument number 1
-------------------------


(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 4716-4720
(externalImage RoverV8Engine "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Rover_V8_engine.jpg") Cars.kif 4713-4713
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4714-4714 The maker of Rover v8 is Rover group
(subclass RoverV8Engine EightCylinderEngine) Cars.kif 4712-4712 Rover v8 is a subclass of eight cylinder engine

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage RoverV8Engine "Rover v8") Cars.kif 4715-4715

antecedent
-------------------------


(=>
    (instance ?RV8 RoverV8Engine)
    (material Aluminum ?RV8))
Cars.kif 4722-4724


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners