No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1510-1510 |
Heliport has name "helipad" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1509-1509 |
Heliport has name "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 |
|