No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17007-17007 | Ball e' uma sub-classe de GamePiece |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 311-311 | SoccerBall e' uma sub-classe de Ball |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 325-325 | GolfBall e' uma sub-classe de Ball |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 345-345 | VolleyBall e' uma sub-classe de Ball |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 346-346 | BasketBall e' uma sub-classe de Ball |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 347-347 | TennisBall e' uma sub-classe de Ball |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1120-1120 | BowlingBall e' uma sub-classe de Ball |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17014-17014 | ShotBall e' uma sub-classe de Ball |
![]() |