|
|
   Hemisphere
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3463-3466 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1802-1802 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3462-3462 | 半球 是 地理区域 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3480-3480 | 东半球 是 半球 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3472-3472 | 北半球 是 半球 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3476-3476 | 南半球 是 半球 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3484-3484 | 西半球 是 半球 的 instance |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27915-27915 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27914-27914 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27913-27913 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3488-3494 | 实体 是 半球 的 instance 若且唯若 那个 实体 equal 北半球 或 那个 实体 equal 南半球 或 那个 实体 equal 东半球 或 那个 实体 equal 西半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3468-3470 |
|
|
|
