No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1510-1510 |
直升机场 的名 是 "helipad" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1509-1509 |
直升机场 的名 是 "heliport" |
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 |
|