No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2014-2014 | Barricade is a subclass of barrier |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2015-2015 | Barricade is a subclass of device |