GeographicArea(地理区域) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 699-703 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3595-3615 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 342-346 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3631-3640 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3570-3579 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 348-353 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 787-794 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 693-706 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4355-4359 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1824-1828 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6201-6209 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 507-512 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2692-2701 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6191-6199 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 695-697 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 712-714 |