No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1997-1997 | Barrier is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2014-2014 | Barricade is a subclass of barrier |