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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Boxing

 Sigma KEE - Boxing
Boxing(拳击)

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 586-588
No TPTP formula. May not be expressible in strict first order. pictureList.kif 286-286
No TPTP formula. May not be expressible in strict first order. Sports.kif 585-585 拳击 是 运动 的 subclass
No TPTP formula. May not be expressible in strict first order. Sports.kif 584-584 拳击 是 暴力比赛 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11813-11813
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11812-11812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11811-11811

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 400-402
No TPTP formula. May not be expressible in strict first order. Sports.kif 592-598


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