| 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 | 0.0 仪表 是 海平面 的 elevation |
| 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 | 海平面 是 地理区域 的 instance |
| 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 |
|
|
|