SeaLevel
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4815-4819 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4827-4828 | elevation SeaLevel and 0.0 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3191-3191 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3189-3189 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3190-3190 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4814-4814 | SeaLevel e' uma instancia de Area Geografica |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51699-51699 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51698-51698 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51697-51697 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1922-1930 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1477-1484 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4772-4777 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4765-4770 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1914-1920 |