elevation |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1897-1902 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1894-1894 | The number 1 argument of elevation is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1895-1895 | The number 2 argument of elevation is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1893-1893 | elevation is an instance of binary predicate |
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 21807-21807 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21806-21806 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21805-21805 |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4582-4584 | 0.0 Meter(s) is an elevation of the elevation high point of southern ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4586-4588 | -7235.0 Meter(s) is an elevation of the elevation low point of southern ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4725-4726 | 0.0 Meter(s) is an elevation of sea level |
![]() |
![]() |