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 | 岩石 是 山 表面下的 ground |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4040-4040 | 岩石 是 山 的 ground 表面類別 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4026-4026 | 子類 山 and 土地形式 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4027-4027 | 子類 山 and 高地地區 |