Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  forall
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Ball GamePiece) | Mid-level-ontology.kif 18626-18626 | Ball is a subclass of game piece |
| (documentation Ball EnglishLanguage "Any GamePiece which has the shape of a sphere.") | Mid-level-ontology.kif 18627-18627 | Ball is a subclass of game piece |
| (externalImage Ball "http://upload.wikimedia.org/wikipedia/commons/8/89/ Ball.agr.jpg") | pictureList.kif 32-32 | Ball is a subclass of game piece |
| (externalImage Ball "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_1/ 8_Ball.png") | pictureList.kif 252-252 | Ball is a subclass of game piece |
| appearance as argument number 2 |
|
|
| (subclass ShotBall Ball) | Mid-level-ontology.kif 18633-18633 | Shot ball is a subclass of ball |
| (subclass SoccerBall Ball) | Sports.kif 323-323 | Soccer ball is a subclass of ball |
| (subclass GolfBall Ball) | Sports.kif 337-337 | Golf ball is a subclass of ball |
| (subclass VolleyBall Ball) | Sports.kif 357-357 | Volley ball is a subclass of ball |
| (subclass BasketBall Ball) | Sports.kif 358-358 | Basket ball is a subclass of ball |
| (subclass TennisBall Ball) | Sports.kif 359-359 | Tennis ball is a subclass of ball |
| (subclass BowlingBall Ball) | Sports.kif 1147-1147 | Bowling ball is a subclass of ball |
| (termFormat EnglishLanguage Ball "ball") | domainEnglishFormat.kif 9670-9670 | Bowling ball is a subclass of ball |
| (termFormat ChineseTraditionalLanguage Ball "球") | domainEnglishFormat.kif 9671-9671 | Bowling ball is a subclass of ball |
| (termFormat ChineseLanguage Ball "球") | domainEnglishFormat.kif 9672-9672 | Bowling ball is a subclass of ball |
| antecedent |
|
|
| (=> (instance ?B Ball) (attribute ?B Sphere)) |
Mid-level-ontology.kif 18629-18631 | If X is an instance of ball, then sphere is an attribute of X |
| consequent |
|
|
| (=> (equal (MeasureFn ?X PoundForce) (JankaHardnessFn ?CLASS)) (modalAttribute (exists (?T ?W ?P ?B ?H ?S) (and (instance ?T ?CLASS) (part ?W ?T) (instance ?W Wood) (instance ?P Pushing) (destination ?P ?W) (instance ?B Ball) (material ?B Steel) (patient ?P ?B) (sphereRadius ?B (MeasureFn 5.64 Millimeter)) (result ?P ?H) (instance ?H HoleRegion) (part ?H ?W) (surface ?S ?W) (distance ?S ?H (MeasureFn 5.64 Millimeter)) (measure ?P (MeasureFn ?X PoundForce)))) Likely)) |
Mid-level-ontology.kif 10569-10592 | If equal X pound force(s) and The Janka Hardness of Y is, then the statement there exist Z, W,, , V,, , U,, , T and S such that Z is an instance of Y and W is a part of Z and W is an instance of wood and V is an instance of pushing and V ends up at W and U is an instance of ball and steel is made of U and U is a patient of V and the radius of U is 5.64 millimeter(s) and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of W and the distance between S and T is 5.64 millimeter(s) and the measure of V is X pound force(s) has the modal force of likely |
| (=> (and (instance ?PITCH Pitching) (patient ?PITCH ?BALL)) (instance ?BALL Ball)) |
Mid-level-ontology.kif 18713-18717 | If X is an instance of pitching and Y is a patient of X, then Y is an instance of ball |
| (=> (and (instance ?CATCH Catching) (patient ?CATCH ?BALL)) (instance ?BALL Ball)) |
Mid-level-ontology.kif 18724-18728 | If X is an instance of catching and Y is a patient of X, then Y is an instance of ball |
|
