No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1887-1887 | Emergency vehicle is a subclass of powered vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1891-1891 | Emergency road vehicle is a subclass of emergency vehicle |