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 and 儀表 是 海平面 的 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 | 例 海平面 and GeographicArea |
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 |