Prairie
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6674-6675 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6787-6787 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7636-7636 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6671-6671 | 子類 草原 and 草原 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6672-6672 | 子類 草原 and 樸素 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47086-47086 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47085-47085 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47084-47084 |