TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1023-1026
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1021-1021	海事索赔区是地理区域的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1132-1132	专属捕鱼区是海事索赔区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1164-1164	延伸捕鱼区是海事索赔区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1030-1030	海上毗连区是海事索赔区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1099-1099	海上专属经济区是海事索赔区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1057-1057	海运货架区是海事索赔区的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1196-1196	领海是海事索赔区的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36191-36191
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36190-36190
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36189-36189

appearance as argument number 3

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

Geography.kif 977-977

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 998-1003	如果地理区域是有点海事索赔区的 instance 和有点海事索赔区是海事索赔区的 subclass 和地缘政治区域是那个地理区域的 claimed 领土，然后那个有点海事索赔区是那个地缘政治区域的 maritime 要求类型
No TPTP formula. May not be expressible in strict first order.	Geography.kif 983-987	如果地缘政治区域是内陆地区的 instance 和有点海事索赔区是海事索赔区的 subclass，然后有点海事索赔区不是那个地缘政治区域的 maritime 要求类型
No TPTP formula. May not be expressible in strict first order.	Geography.kif 989-996	如果有点海事索赔区是地缘政治区域的 maritime 要求类型和有点海事索赔区是海事索赔区的 subclass，然后有存在地理区域这样那个地理区域是那个有点海事索赔区的 instance 和那个地缘政治区域是那个地理区域的 claimed 领土

consequent

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

Geography.kif 924-932