| FireEngine(fire engine)
| | aerial_ladder_truck, fire_engine, fire_truck, ladder_truck |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1899-1901 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2818-2818 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1115-1115 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1898-1898 | Fire engine is a subclass of emergency road vehicle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23924-23924 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23923-23923 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23922-23922 |
|
|
|