| ArcticRegion(arctic region)
| | Arctic, Arctic_Zone, North_Frigid_Zone |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3552-3556 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2435-2435 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2538-2538 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3569-3569 | Arctic region is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3549-3549 | Arctic region is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3570-3570 | Arctic region and eastern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3571-3571 | Arctic region and western hemisphere overlapsSpatially |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3550-3550 | Arctic region has name "Arctic" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3551-3551 | Arctic region has name "the Arctic" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3572-3572 | Arctic ocean and arctic region overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8281-8281 | Arctic ocean and arctic region overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8280-8280 | Arctic ocean and arctic region overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8279-8279 | Arctic ocean and arctic region overlapsSpatially |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3824-3831 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3558-3567 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3573-3573 | Not botanical tree is found in arctic region |
|
|
|