NauticalMile(nautical mile) | air_mile, international_nautical_mile, knot, mi, mile, naut_mi, nautical_mile, sea_mile |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3856-3859 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6721-6721 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3855-3855 | Nautical mile is an instance of unit of length |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3853-3853 | Nautical mile has name "nautical mile" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39945-39945 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39944-39944 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39943-39943 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1141-1146 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1173-1178 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1109-1114 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1068-1073 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1214-1219 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3877-3883 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3869-3875 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3929-3937 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4711-4720 | Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3912-3919 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3894-3901 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3885-3892 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3903-3910 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3939-3945 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 433-440 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3865-3867 | 1.0 Nautical mile(s) is equal to 1852.0 meter(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3861-3863 | 1.0 Nautical mile(s) is equal to 6076.1 foot length(s) |