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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ball
Ball(ball)
ball, baseball, billiard_ball, bocce_ball, bocci_ball, boccie_ball, bowl, cricket_ball, croquet_ball, cue_ball, eight_ball, field_hockey_ball, handball, jack, lacrosse_ball, marble, object_ball, ping-pong_ball, playground_ball, polo_ball, pool_ball, racquetball, roulette_ball, softball, squash_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 is a subclass of game piece

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 346-346 Basket ball is a subclass of ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 1119-1119 Bowling ball is a subclass of ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 325-325 Golf ball is a subclass of ball
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17015-17015 Shot ball is a subclass of ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 311-311 Soccer ball is a subclass of ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 347-347 Tennis ball is a subclass of ball
No TPTP formula. May not be expressible in strict first order. Sports.kif 345-345 Volley ball is a subclass of 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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