Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ChevroletAutomobile
ChevroletAutomobile(Chevrolet automobile)

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


(subclass ChevroletAutomobile Automobile) Cars.kif 4858-4858 Chevrolet automobile is a subclass of automobile
(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 4859-4859 The maker of Chevrolet automobile is General Motors

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


(typicalPart ChevroletEngine ChevroletAutomobile) Cars.kif 4862-4862 A Chevrolet engine is typically a part of a Chevrolet automobile
(typicallyContainsPart ChevroletEngine ChevroletAutomobile) Cars.kif 4863-4863 A Chevrolet automobile typically has a part Chevrolet engine
(termFormat EnglishLanguage ChevroletAutomobile "Chevrolet automobile") domainEnglishFormat.kif 64627-64627 A Chevrolet automobile typically has a part Chevrolet engine


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners