FireEngine
|
|
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 | FireEngine est une sous-classe de EmergencyRoadVehicle |
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 |