TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 652-657
No TPTP formula. May not be expressible in strict first order.	Geography.kif 646-646	比较区域的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 648-648	比较区域的 2 数量是 BinaryRelationExtendedToQuantities 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 649-649	比较区域的 3 数量是正实数的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 650-650	比较区域的 4 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 645-645	比较区域是四元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 500-500
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 499-499
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 498-498
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16140-16140
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16139-16139
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16138-16138

antecedent

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

Geography.kif 659-669

appearance as argument number 0

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

Geography.kif 4676-4676

南部海洋 comparative 地区大于对于 2.0 跟美国在一起