Ambulance |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1904-1905 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 218-218 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4953-4953 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4954-4954 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4955-4955 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1903-1903 | Ambulance e' uma sub-classe de EmergencyRoadVehicle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2130-2130 | AMEV e' uma sub-classe de Ambulance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7128-7128 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7127-7127 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7126-7126 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1906-1921 |
|