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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IceHockey

 Sigma KEE - IceHockey
IceHockey(ice hockey)hockey, hockey_game, ice_hockey

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 121-121
No TPTP formula. May not be expressible in strict first order. Sports.kif 120-120 Ice hockey is a subclass of team sport

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65011-65011


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