Ball(球) |
appearance as argument number 1 |
(documentation Ball EnglishLanguage "Any GamePiece which has the shape of a sphere.") | Mid-level-ontology.kif 17036-17036 | |
(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 17035-17035 | 球 是 游戏片 的 subclass |
appearance as argument number 2 |
(subclass BasketBall Ball) | Sports.kif 346-346 | BasketBall 是 球 的 subclass |
(subclass BowlingBall Ball) | Sports.kif 1120-1120 | BowlingBall 是 球 的 subclass |
(subclass GolfBall Ball) | Sports.kif 325-325 | GolfBall 是 球 的 subclass |
(subclass ShotBall Ball) | Mid-level-ontology.kif 17042-17042 | 射球 是 球 的 subclass |
(subclass SoccerBall Ball) | Sports.kif 311-311 | 英式足球 是 球 的 subclass |
(subclass TennisBall Ball) | Sports.kif 347-347 | TennisBall 是 球 的 subclass |
(subclass VolleyBall Ball) | Sports.kif 345-345 | VolleyBall 是 球 的 subclass |
(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 17038-17040 |
consequent |
(=> (and (instance ?CATCH Catching) (patient ?CATCH ?BALL)) (instance ?BALL Ball)) |
Mid-level-ontology.kif 17133-17137 | |
(=> (and (instance ?PITCH Pitching) (patient ?PITCH ?BALL)) (instance ?BALL Ball)) |
Mid-level-ontology.kif 17122-17126 |