No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1997-1997 | Barrier e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2014-2014 | Barricade e' uma sub-classe de Barrier |