Mountain(mountain) |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 693-693 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 679-679 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 692-692 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 686-686 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 688-688 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 675-675 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 683-683 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4041-4041 | Rock is a ground subsurface type of mountain |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4040-4040 | Rock is a ground surface type of mountain |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4026-4026 | Mountain is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4027-4027 | Mountain is a subclass of upland area |