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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HomeRun

 Sigma KEE - HomeRun
HomeRun(home run)
home_run, homer

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 709-710
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6616-6616
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7086-7086
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7083-7083
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7085-7085
No TPTP formula. May not be expressible in strict first order. Sports.kif 708-708 Home run is a subclass of baseball run

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28491-28491
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28490-28490
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28489-28489


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