No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1889-1889 | AH1 est une sous-classe de Helicopter |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1890-1890 | AH1 est une sous-classe de MilitaryVehicle |
![]() |