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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RoverV8Engine
RoverV8Engine

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 4724-4728
(externalImage RoverV8Engine "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Rover_V8_engine.jpg") Cars.kif 4721-4721
(manufacturer RoverV8Engine RoverGroup) Cars.kif 4722-4722
(subclass RoverV8Engine EightCylinderEngine) Cars.kif 4720-4720

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


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

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


(=>
    (instance ?RV8 RoverV8Engine)
    (material Aluminum ?RV8))
Cars.kif 4730-4732


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