No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1520-1520 | LAV25 e' uma sub-classe de LAV |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1521-1521 | LAV25 e' uma sub-classe de AmphibiousVehicle |
![]() |