PolarClimateZone - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1560-1563
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2512-2512
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1558-1558	PolarClimateZone est une sous-classe de ClimateZone

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4681-4681	PolarClimateZone est un attribut de SouthernOcean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1591-1591	PolarTypeFClimateZone est une sous-classe de PolarClimateZone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1584-1584	TundraClimateZone est une sous-classe de PolarClimateZone
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46382-46382
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46381-46381
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46380-46380

antecedent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 1566-1573

consequent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 1575-1582