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 棒球偷 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Sports.kif 739-739 棒球偷 和 % 2 是 disjoint
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 棒球偷 是 棒球演练 的 subclass

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