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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FootballManeuver

 Sigma KEE - FootballManeuver
FootballManeuver(football maneuver)

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 816-816
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9228-9228
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6023-6023
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6543-6543
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9230-9230
No TPTP formula. May not be expressible in strict first order. Sports.kif 815-815 Football maneuver is a subclass of maneuver

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 824-824 Football pass is a subclass of football maneuver
No TPTP formula. May not be expressible in strict first order. Sports.kif 846-846 Football touchdown is a subclass of football maneuver
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24590-24590
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24589-24589
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24588-24588

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 817-822


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