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


KB Term:  Term intersection
English Word: 

  AtlantaGeorgia

 Sigma KEE - Helmet
Helmet(helmet)batting_helmet, casque, crash_helmet, football_helmet, hard_hat, headpiece, heaume, helmet, safety_hat, space_helmet, tin_hat

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


(subclass Helmet SafetyDevice) Cars.kif 4266-4266 Helmet is a subclass of safety device
(subclass Helmet
    (CoveringFn Head))		 Cars.kif 4267-4267 Helmet is a subclass of a covering for head
(documentation Helmet EnglishLanguage "Any WearableItem designed to protect the Head of the individual who wears it.") Cars.kif 4268-4269 Helmet is a subclass of a covering for head

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


(subclass MotorcycleHelmet Helmet) Cars.kif 4271-4271 Motorcycle helmet is a subclass of helmet
(termFormat EnglishLanguage Helmet "helmet") domainEnglishFormat.kif 64978-64978 Motorcycle helmet is a subclass of helmet


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

Show without tree

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