|
|
  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 | 例 熱帶 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3619-3619 | 在空間上重疊 熱帶 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3617-3617 | 在空間上重疊 熱帶 and 北半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3618-3618 | 在空間上重疊 熱帶 and 南半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3620-3620 | 在空間上重疊 熱帶 and 西半球 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3588-3588 | 名 "Tropics" and 熱帶 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3589-3589 | 名 "the Tropics" and 熱帶 |
| 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 |
|
|
|
|
