No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1510-1510 |
名 "helipad" and 直升機場 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1509-1509 |
名 "heliport" and 直升機場 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27897-27897 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27896-27896 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27895-27895 |
|