No TPTP formula. May not be expressible in strict first order. | Sports.kif 1141-1141 | BowlingLane e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1142-1142 | BowlingLane e' uma sub-classe de LandTransitway |
![]() |