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 | Mountainous terrain is an instance of terrain attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1788-1788 | Mountainous terrain is a subattribute of steep terrain |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38981-38981 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38980-38980 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38979-38979 |
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 |
|