TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6069-6070
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6067-6067	淹没的土地面积是地理区域的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6088-6088	大陆边缘是淹没的土地面积的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6081-6081	大陆棚是淹没的土地面积的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1058-1058	海运货架区是淹没的土地面积的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6104-6104	海底区域是淹没的土地面积的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55746-55746
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55745-55745
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55744-55744

antecedent

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

Geography.kif 6072-6079

consequent

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

Weather.kif 1598-1608