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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ball

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
-------------------------


(documentation Ball EnglishLanguage "Any GamePiece which has the shape of a sphere.") Mid-level-ontology.kif 17009-17009
(externalImage Ball "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_1/ 8_Ball.png") pictureList.kif 252-252
(externalImage Ball "http://upload.wikimedia.org/wikipedia/commons/8/89/ Ball.agr.jpg") pictureList.kif 32-32
(subclass Ball GamePiece) Mid-level-ontology.kif 17008-17008 Ball is a subclass of game piece

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


(subclass BasketBall Ball) Sports.kif 346-346 Basket ball is a subclass of ball
(subclass BowlingBall Ball) Sports.kif 1119-1119 Bowling ball is a subclass of ball
(subclass GolfBall Ball) Sports.kif 325-325 Golf ball is a subclass of ball
(subclass ShotBall Ball) Mid-level-ontology.kif 17015-17015 Shot ball is a subclass of ball
(subclass SoccerBall Ball) Sports.kif 311-311 Soccer ball is a subclass of ball
(subclass TennisBall Ball) Sports.kif 347-347 Tennis ball is a subclass of ball
(subclass VolleyBall Ball) Sports.kif 345-345 Volley ball is a subclass of ball
(termFormat ChineseLanguage Ball "球") domainEnglishFormat.kif 9672-9672
(termFormat ChineseTraditionalLanguage Ball "球") domainEnglishFormat.kif 9671-9671
(termFormat EnglishLanguage Ball "ball") domainEnglishFormat.kif 9670-9670

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


(=>
    (instance ?B Ball)
    (attribute ?B Sphere))
Mid-level-ontology.kif 17011-17013

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


(=>
    (and
        (instance ?CATCH Catching)
        (patient ?CATCH ?BALL))
    (instance ?BALL Ball))
Mid-level-ontology.kif 17106-17110
(=>
    (and
        (instance ?PITCH Pitching)
        (patient ?PITCH ?BALL))
    (instance ?BALL Ball))
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