| Tropics(热带)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3591-3593 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 798-798 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3023-3023 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3261-3261 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3587-3587 | 热带 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3619-3619 | 热带 和 东半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3617-3617 | 热带 和 北半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3618-3618 | 热带 和 南半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3620-3620 | 热带 和 西半球 重叠 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3588-3588 | 热带 的名 是 "Tropics" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3589-3589 | 热带 的名 是 "the Tropics" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59276-59276 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59275-59275 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59274-59274 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3595-3615 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 619-625 |
|
|
|