TreeView 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 46380-46380
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46379-46379
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46378-46378

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