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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BaseballSteal

 Sigma KEE - BaseballSteal
BaseballSteal(棒球偷)

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 740-740 不相交的 棒球偷 and 棒球擊中
No TPTP formula. May not be expressible in strict first order. Sports.kif 739-739 不相交的 棒球偷 and 棒球步行
No TPTP formula. May not be expressible in strict first order. Sports.kif 741-742
No TPTP formula. May not be expressible in strict first order. Sports.kif 738-738 子類 棒球偷 and 棒球演練

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10074-10074
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10073-10073
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10072-10072


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