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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BaseballManeuver

 Sigma KEE - BaseballManeuver
BaseballManeuver

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 685-685
No TPTP formula. May not be expressible in strict first order. Sports.kif 684-684 BaseballManeuver e' uma sub-classe de Manobra

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 699-699 BaseballHit e' uma sub-classe de BaseballManeuver
No TPTP formula. May not be expressible in strict first order. Sports.kif 738-738 BaseballSteal e' uma sub-classe de BaseballManeuver
No TPTP formula. May not be expressible in strict first order. Sports.kif 747-747 BaseballStrike e' uma sub-classe de BaseballManeuver
No TPTP formula. May not be expressible in strict first order. Sports.kif 693-693 BaseballWalk e' uma sub-classe de BaseballManeuver
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10056-10056
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10055-10055
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10054-10054

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Sports.kif 686-691


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