Peninsula
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5795-5798 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1212-1212 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5793-5793 | Peninsula is a subclass of land form |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 819-819 | Korean peninsula is an instance of peninsula |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45032-45032 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45031-45031 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45030-45030 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5800-5805 |
|