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 Ball est une sous-classe de GamePiece

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 346-346 BasketBall est une sous-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 1119-1119 BowlingBall est une sous-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 325-325 GolfBall est une sous-classe de Ball
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17015-17015 ShotBall est une sous-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 311-311 SoccerBall est une sous-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 347-347 TennisBall est une sous-classe de Ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 345-345 VolleyBall est une sous-classe de Ball
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