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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Soccer

 Sigma KEE - Soccer
Soccer(英式足球比赛)

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 157-157
No TPTP formula. May not be expressible in strict first order. Sports.kif 156-156 英式足球比赛 是 团队运动 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 161-161 英式足球比赛 的名 是 "European football"
No TPTP formula. May not be expressible in strict first order. Sports.kif 159-159
No TPTP formula. May not be expressible in strict first order. Sports.kif 160-160
No TPTP formula. May not be expressible in strict first order. Sports.kif 158-158

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 163-175
No TPTP formula. May not be expressible in strict first order. Sports.kif 177-182

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Sports.kif 412-414
No TPTP formula. May not be expressible in strict first order. Sports.kif 313-321


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