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 and Object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1892-1892 | 域 海拔, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1890-1890 | 例 海拔 and BinaryPredicate |
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 |
consequent |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4683-4685 | 測量 0.0 and 儀表 是 南部海洋 的 elevation 高點 的 elevation |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4687-4689 | 測量 -7235.0 and 儀表 是 南部海洋 的 elevation 低點 的 elevation |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4827-4828 | 測量 0.0 and 儀表 是 海平面 的 elevation |