|
|
  ArcticRegion
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3564-3568 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2436-2436 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2539-2539 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3581-3581 | 北極地區 是 北半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3561-3561 | 例 北極地區 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3582-3582 | 在空間上重疊 北極地區 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3583-3583 | 在空間上重疊 北極地區 and 西半球 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3562-3562 | 名 "Arctic" and 北極地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3563-3563 | 名 "the Arctic" and 北極地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3584-3584 | 在空間上重疊 北冰洋 and 北極地區 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8274-8274 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8273-8273 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8272-8272 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3570-3579 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3585-3585 | 植物樹 是 found 在 北極地區 |
|
|
|
