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

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


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

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


(=>
    (instance ?RV8 RoverV8Engine)
    (material Aluminum ?RV8))
Cars.kif 4707-4709


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