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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Helmet

 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 4346-4347
No TPTP formula. May not be expressible in strict first order. Cars.kif 4345-4345 Helmet is a subclass of a covering for head
No TPTP formula. May not be expressible in strict first order. Cars.kif 4344-4344 Helmet is a subclass of safety device

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4349-4349 Motorcycle helmet is a subclass of helmet
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64977-64977


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 is open source software produced by Articulate Software and its partners