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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Ball

appearance as argument number 1

(documentation Ball EnglishLanguage "Any GamePiece which has the shape of a sphere.") Mid-level-ontology.kif 16981-16981
(externalImage Ball " misc_1/ 8_Ball.png") pictureList.kif 252-252
(externalImage Ball " Ball.agr.jpg") pictureList.kif 32-32
(subclass Ball GamePiece) Mid-level-ontology.kif 16980-16980 BallGamePiecesubclass では %n

appearance as argument number 2

(subclass BasketBall Ball) Sports.kif 346-346 BasketBallBallsubclass では %n
(subclass BowlingBall Ball) Sports.kif 1119-1119 BowlingBallBallsubclass では %n
(subclass GolfBall Ball) Sports.kif 325-325 GolfBallBallsubclass では %n
(subclass ShotBall Ball) Mid-level-ontology.kif 16987-16987 ShotBallBallsubclass では %n
(subclass SoccerBall Ball) Sports.kif 311-311 SoccerBallBallsubclass では %n
(subclass TennisBall Ball) Sports.kif 347-347 TennisBallBallsubclass では %n
(subclass VolleyBall Ball) Sports.kif 345-345 VolleyBallBallsubclass では %n
(termFormat ChineseLanguage Ball "球") domainEnglishFormat.kif 9672-9672
(termFormat ChineseTraditionalLanguage Ball "球") domainEnglishFormat.kif 9671-9671
(termFormat EnglishLanguage Ball "ball") domainEnglishFormat.kif 9670-9670


    (instance ?B Ball)
    (attribute ?B Sphere))
Mid-level-ontology.kif 16983-16985


        (instance ?CATCH Catching)
        (patient ?CATCH ?BALL))
    (instance ?BALL Ball))
Mid-level-ontology.kif 17078-17082
        (instance ?PITCH Pitching)
        (patient ?PITCH ?BALL))
    (instance ?BALL Ball))
Mid-level-ontology.kif 17067-17071

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