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 4369-4370
No TPTP formula. May not be expressible in strict first order. Cars.kif 4368-4368 Helmet is a subclass of a covering for head
No TPTP formula. May not be expressible in strict first order. Cars.kif 4367-4367 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 4372-4372 Motorcycle helmet is a subclass of helmet
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64975-64975


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