Cape(cape) | Cape_Canaveral, Cape_Kennedy, Cape_Sable, Cape_Trafalgar, Cape_York, Hoek_van_Holland, Hook_of_Holland, Skagens_Odde, Skaw, cape, ness |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5809-5809 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1065-1065 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5807-5807 | Cape is a subclass of land form |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13050-13050 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13049-13049 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13048-13048 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5811-5816 |
|