GeologicallyStable
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1853-1856 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1851-1851 | GeologicallyStable est une instance de TerrainAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25794-25794 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25793-25793 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25792-25792 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1865-1870 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1858-1863 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1879-1884 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1872-1877 |
|