elevation |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1894-1899 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1891-1891 | 海拔 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1892-1892 | 海拔 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1890-1890 | 海拔 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 891-891 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 890-890 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 889-889 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21810-21810 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21809-21809 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21808-21808 |
antecedent |
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. | Geography.kif 1907-1912 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1964-1975 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1940-1954 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6779-6792 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 148-157 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1914-1920 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1901-1906 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1964-1975 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1940-1954 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1488-1496 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6779-6792 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4837-4842 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4830-4835 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1732-1742 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4683-4685 | 0.0 仪表 是 南部海洋 的 elevation 高点 的 elevation |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4687-4689 | -7235.0 仪表 是 南部海洋 的 elevation 低点 的 elevation |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4827-4828 | 0.0 仪表 是 海平面 的 elevation |