| NauticalMile(海裡)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3937-3940 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6720-6720 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3936-3936 | 例 海裡 and UnitOfLength |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3934-3934 | 名 "nautical mile" and 海裡 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39975-39975 | 名 "nautical mile" and 海裡 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39974-39974 | 名 "nautical mile" and 海裡 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39973-39973 | 名 "nautical mile" and 海裡 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1135-1140 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1167-1172 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1103-1108 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1062-1067 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1208-1213 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3958-3964 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3950-3956 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4010-4018 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4780-4789 | 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 3993-4000 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3975-3982 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3966-3973 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3984-3991 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4020-4026 |
|
| 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 3946-3948 | 等於 測量 1.0 and 海裡 and 測量 1852.0 and 儀表 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3942-3944 | 等於 測量 1.0 and 海裡 and 測量 6076.1 and 腳長 |
|
|
|