HomeRun - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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