ClimateZone - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1271-1276
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2446-2446
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2554-2554
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1269-1269	气候区是属性的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1345-1345	干旱气候带是气候区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1514-1514	寒冷气候带是气候区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1482-1482	中纬度大陆性气候带是气候区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1558-1558	极地气候区是气候区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1396-1396	半干旱气候带是气候区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1398-1398	温带气候区是气候区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1278-1278	热带气候区是气候区的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15156-15156
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15155-15155
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15154-15154

appearance as argument number 3

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

Geography.kif 1246-1246

antecedent

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

Geography.kif 1263-1267