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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FootballManeuver

 Sigma KEE - FootballManeuver
FootballManeuver(足球演練)

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 子類 足球演練 and Maneuver

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 824-824 子類 足球傳球 and 足球演練
No TPTP formula. May not be expressible in strict first order. Sports.kif 846-846 子類 足球達陣 and 足球演練
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