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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ball

 Sigma KEE - Ball
Ball(球)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17009-17009
No TPTP formula. May not be expressible in strict first order. pictureList.kif 252-252
No TPTP formula. May not be expressible in strict first order. pictureList.kif 32-32
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17008-17008 子類 球 and 遊戲片

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 346-346 子類 BasketBall and 球
No TPTP formula. May not be expressible in strict first order. Sports.kif 1119-1119 子類 BowlingBall and 球
No TPTP formula. May not be expressible in strict first order. Sports.kif 325-325 子類 GolfBall and 球
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17015-17015 子類 射球 and 球
No TPTP formula. May not be expressible in strict first order. Sports.kif 311-311 子類 英式足球 and 球
No TPTP formula. May not be expressible in strict first order. Sports.kif 347-347 子類 TennisBall and 球
No TPTP formula. May not be expressible in strict first order. Sports.kif 345-345 子類 VolleyBall and 球
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9672-9672
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9671-9671
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9670-9670

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17011-17013

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17106-17110
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17095-17099


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