|
|
  NauticalMile
|
|
|
| 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 | 例 海裡 and UnitOfLength |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3853-3853 | 名 "nautical mile" and 海裡 |
| 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 | attribute Object and 公海 Physical RealNumber 例 Object and SaltWaterArea 例 Object and 內陸水域 距離 Physical, Object and 測量 RealNumber and 海裡 比較多 RealNumber and 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 and 海裡 and 測量 1852.0 and 儀表 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3861-3863 | 等於 測量 1.0 and 海裡 and 測量 6076.1 and 腳長 |
|
|
|
