No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17007-17007 | Ball is a subclass of game piece |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 311-311 | Soccer ball is a subclass of ball |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 325-325 | Golf ball is a subclass of ball |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 345-345 | Volley ball is a subclass of ball |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 346-346 | Basket ball is a subclass of ball |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 347-347 | Tennis ball is a subclass of ball |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1120-1120 | Bowling ball is a subclass of ball |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17014-17014 | Shot ball is a subclass of ball |
![]() |