SlopedArea(sloped area) more pictures... | coast, escarpment, hillside, incline, mountainside, scarp, side, slope, uphill, versant |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4103-4105 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 722-722 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 724-724 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 726-726 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 721-721 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 723-723 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 720-720 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 729-729 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 728-728 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 727-727 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 725-725 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4101-4101 | Sloped area is a subclass of land form |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4123-4123 | Cliff is a subclass of sloped area |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53402-53402 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53401-53401 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53400-53400 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4107-4118 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1093-1100 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4050-4055 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4032-4038 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1080-1086 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4146-4152 |
|