| 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 ist eine teilkategorie von GamePiece |
| appearance as argument number 2 |
|
|
| (subclass BasketBall Ball) | Sports.kif 346-346 | BasketBall ist eine teilkategorie von Ball |
| (subclass BowlingBall Ball) | Sports.kif 1119-1119 | BowlingBall ist eine teilkategorie von Ball |
| (subclass GolfBall Ball) | Sports.kif 325-325 | GolfBall ist eine teilkategorie von Ball |
| (subclass ShotBall Ball) | Mid-level-ontology.kif 17015-17015 | ShotBall ist eine teilkategorie von Ball |
| (subclass SoccerBall Ball) | Sports.kif 311-311 | SoccerBall ist eine teilkategorie von Ball |
| (subclass TennisBall Ball) | Sports.kif 347-347 | TennisBall ist eine teilkategorie von Ball |
| (subclass VolleyBall Ball) | Sports.kif 345-345 | VolleyBall ist eine teilkategorie von 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 |
|
|
|