MountainousTerrain
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1790-1791 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8604-8604 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9445-9445 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9446-9446 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9447-9447 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9448-9448 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9449-9449 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9450-9450 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1787-1787 | 例 多山的地形 and 地形屬性 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1788-1788 | 子屬性 多山的地形 and 陡峭的地形 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38979-38979 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38978-38978 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38977-38977 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4206-4216 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1808-1813 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1801-1806 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1793-1795 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1797-1799 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1815-1817 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4199-4204 |