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 | geographicSubregion ArcticRegion and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3561-3561 | ArcticRegion e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3582-3582 | ArcticRegion engloba EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3583-3583 | ArcticRegion engloba WesternHemisphere |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3562-3562 | ArcticRegion se chama nome "Arctic" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3563-3563 | ArcticRegion se chama nome "the Arctic" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3584-3584 | ArcticOcean engloba ArcticRegion |
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 | vegetationType ArcticRegion and BotanicalTree |