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


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

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


(subclass BasketBall Ball) Sports.kif 277-277 BasketBall is a subclass of ball
(subclass BowlingBall Ball) Sports.kif 1047-1047 Bowling ball is a subclass of ball
(subclass GolfBall Ball) Sports.kif 273-273 GolfBall is a subclass of ball
(subclass ShotBall Ball) Mid-level-ontology.kif 16458-16458 Shot ball is a subclass of ball
(subclass SoccerBall Ball) Sports.kif 270-270 SoccerBall is a subclass of ball
(subclass TennisBall Ball) Sports.kif 278-278 TennisBall is a subclass of ball
(subclass VolleyBall Ball) Sports.kif 276-276 VolleyBall is a subclass of ball
(termFormat ChineseLanguage Ball "球") domainEnglishFormat.kif 9681-9681
(termFormat ChineseTraditionalLanguage Ball "球") domainEnglishFormat.kif 9680-9680
(termFormat EnglishLanguage Ball "ball") domainEnglishFormat.kif 9679-9679

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


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

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


(=>
    (and
        (instance ?CATCH Catching)
        (patient ?CATCH ?BALL))
    (instance ?BALL Ball))
Mid-level-ontology.kif 16549-16553
(=>
    (and
        (instance ?PITCH Pitching)
        (patient ?PITCH ?BALL))
    (instance ?BALL Ball))
Mid-level-ontology.kif 16538-16542
(=>
    (instance ?PASS FootballPass)
    (exists (?THROW ?B ?TEAM ?M1 ?M2)
        (and
            (subProcess ?THROW ?PASS)
            (instance ?THROW Throwing)
            (agent ?THROW ?M1)
            (destination ?THROW ?M2)
            (patient ?THROW ?B)
            (instance ?B Ball)
            (instance ?TEAM SportsTeam)
            (member ?M1 ?TEAM)
            (member ?M2 ?TEAM)
            (not
                (equal ?M1 ?M2)))))
Sports.kif 755-768


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